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

References

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);