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

References

tools/clang/lib/StaticAnalyzer/Checkers/NonnullGlobalConstantsChecker.cpp

   77     SVal V = State->getSVal(location.castAs<Loc>());
   83       ProgramStateRef OutputState = State->assume(*Constr, true);