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

Declarations

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h

   28 ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState,

References

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

 1945         getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term);