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

References

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

   29   if (Optional<Loc> LV = Cond.getAs<Loc>()) {
   38     Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
   41   return assume(State, Cond.castAs<NonLoc>(), Assumption);