reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

Declarations

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
  370   ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,

References

tools/clang/include/clang/StaticAnalyzer/Core/Checker.h
  464     return ((const CHECKER *)checker)->evalAssume(state, cond, assumption);