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

References

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

  673       ->assumeDual(this, Cond.castAs<DefinedSVal>());

tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp

  100   std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
  136   std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);

tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp

   80   std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);

tools/clang/lib/StaticAnalyzer/Checkers/NonNullParamChecker.cpp

  139     std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);

tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

  227   std::tie(stateNotNull, stateNull) = CM.assumeDual(state, RetVal);
  341   std::tie(stateNotNull, stateNull) = CM.assumeDual(state, *DV);

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  147     std::tie(StateNeg, StatePos) = CM.assumeDual(state, *LessThanZeroDVal);

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

   37   const ProgramStatePair &P = assumeDual(State, V);