[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

[Francois Pichet]

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'