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

[Anton Yartsev]

On 24.09.2013 21:09, Anna Zaks wrote:
> 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.
Yes, it does. Did you see my replays on your comments?
http://llvm-reviews.chandlerc.com/differential/diff/3700/
>
> 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


-- 
Anton