Cross Reference: /external/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

Lines Matching defs:evalAssume

124   ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
1145 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state,

OpenGrok