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);
  108     if (!stateGE)
  117   assert(stateGE == state);