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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h

  392   ProgramStateRef runCheckersForEvalAssume(ProgramStateRef state,

References

tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp

  539   return getCheckerManager().runCheckersForEvalAssume(state, cond, assumption);