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

References

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

   90         State = State->assume(*L, /*assumption=*/true);
   90         State = State->assume(*L, /*assumption=*/true);
   92     C.addTransition(State);