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);
   78     bool isFeasible = b ? Assumption : !Assumption;
   78     bool isFeasible = b ? Assumption : !Assumption;
   84     bool IsFeasible = IsNull ? Assumption : !Assumption;
   84     bool IsFeasible = IsNull ? Assumption : !Assumption;
   90                   Assumption);