[cfe-commits] r126229 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/CheckerManager.h include/clang/StaticAnalyzer/Core/CheckerV2.h include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h lib/StaticAnalyzer/Checkers/ExprEngine.cpp lib/St

[Argyrios Kyrtzidis]

On Feb 22, 2011, at 3:07 PM, Francois Pichet wrote:

> On Tue, Feb 22, 2011 at 12:30 PM, Argyrios Kyrtzidis <akyrtzi at gmail.com> wrote:
>> Author: akirtzidis
>> Date: Tue Feb 22 11:30:38 2011
>> New Revision: 126229
>> 
>> URL: http://llvm.org/viewvc/llvm-project?rev=126229&view=rev
>> Log:
>> [analyzer] Start moving the path-sensitive checkers to CheckerV2.
>> 
>> -Migrate ObjCSelfInitChecker to CheckerV2. In the process remove the 'preCallSelfFlags' field
>>  from the checker class and use GRState for storing that info.
>> -Get ExprEngine to start delegating checker running to CheckerManager.
> 
>> +  struct CachedStmtCheckersKey {
>> +    unsigned StmtKind;
>> +    bool IsPreVisit;
>> +
>> +    CachedStmtCheckersKey() : StmtKind(0), IsPreVisit(0) { }
>> +    CachedStmtCheckersKey(unsigned stmtKind, bool isPreVisit)
>> +      : StmtKind(stmtKind), IsPreVisit(isPreVisit) { }
>> +
>> +    static CachedStmtCheckersKey getSentinel() {
>> +      return CachedStmtCheckersKey(~0U, ~0U);
> 
> hi,
> 
> I suppose the second ~0U is a mistake? it is a bool param.
> 
> This generate a warning under MSVC.
> warning C4305: 'argument' : truncation from 'unsigned int' to 'bool'

Fixed at r126273, thanks!