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

Overrides

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h
   51   virtual ProgramStateRef getInitialState(const LocationContext *InitLoc) = 0;

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h
  235   ProgramStateRef getInitialState(const LocationContext *InitLoc) override;

References

tools/clang/unittests/StaticAnalyzer/CallDescriptionTest.cpp
   62     ProgramStateRef State = Eng.getInitialState(SFC);