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

Anna Zaks ganna at apple.com
Tue Sep 24 10:09:58 PDT 2013


Anton, 

Does the new patch address all my comments? I've looked at it briefly and it does not seem to be the case..

Anna.

On Sep 16, 2013, at 6:55 PM, Антон Ярцев <anton.yartsev at gmail.com> wrote:

>  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
> <D1486.2.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits





More information about the cfe-commits mailing list