HomeSort by relevance Sort by last modified time
    Searched full:evalassume (Results 1 - 7 of 7) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/
Checker.h 439 return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);
  /external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 217 ProgramStateRef evalAssume(ProgramStateRef State,
RetainCountChecker.cpp     [all...]
MallocChecker.cpp 207 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
    [all...]
  /external/clang/test/Analysis/
NSString.m 162 // This exercises the 'EvalAssume' logic in GRTransferFuncs (CFRefCount.cpp).
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h 276 /// evalAssume - Callback function invoked by the ConstraintManager when
  /external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp 258 /// evalAssume - Called by ConstraintManager. Used to call checker-specific
    [all...]

Completed in 240 milliseconds