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

References

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

   58   if (!canReasonAbout(Cond)) {
   60     SymbolRef Sym = Cond.getAsSymExpr();
   65   switch (Cond.getSubKind()) {
   70     nonloc::SymbolVal SV = Cond.castAs<nonloc::SymbolVal>();
   77     bool b = Cond.castAs<nonloc::ConcreteInt>().getValue() != 0;
   83     bool IsNull = !Cond.castAs<nonloc::PointerToMember>().isNullMemberPointer();
   89     return assume(State, Cond.castAs<nonloc::LocAsInteger>().getLoc(),