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

References

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

   62     return assumeSymUnsupported(State, Sym, Assumption);
   73     return assumeSym(State, Sym, Assumption);
   79     return isFeasible ? State : nullptr;
   85     return IsFeasible ? State : nullptr;
   89     return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),