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

References

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

  760     const SVal *Recorded = state->get<CStringLength>(MR);
  782       SVal evalLength = svalBuilder.evalBinOpNN(state, BO_LE, *strLn,
  784       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);
  784       state = state->assume(evalLength.castAs<DefinedOrUnknownSVal>(), true);
  786     state = state->set<CStringLength>(MR, strLength);
  786     state = state->set<CStringLength>(MR, strLength);