[PATCH] [Review request][analyzer]Information about special handling for a particular region/symbol.

Антон Ярцев anton.yartsev at gmail.com
Mon Sep 16 18:55:43 PDT 2013


  Attached is an updated patch.

Hi jordan_rose, zaks.anna,

http://llvm-reviews.chandlerc.com/D1486

CHANGE SINCE LAST DIFF
  http://llvm-reviews.chandlerc.com/D1486?vs=3700&id=4331#toc

Files:
  include/clang/StaticAnalyzer/Core/CheckerManager.h
  include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
  include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
  include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
  include/clang/StaticAnalyzer/Core/Checker.h
  lib/StaticAnalyzer/Core/ProgramState.cpp
  lib/StaticAnalyzer/Core/CallEvent.cpp
  lib/StaticAnalyzer/Core/CheckerManager.cpp
  lib/StaticAnalyzer/Core/ExprEngine.cpp
  lib/StaticAnalyzer/Core/RegionStore.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D1486.2.patch
Type: text/x-patch
Size: 34991 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130916/8a7f72d0/attachment.bin>


More information about the cfe-commits mailing list