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

References

tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp
  226     reportBug("Missing region for obtaining extent", C);
  230   auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());
  232     reportBug("Obtaining extent of a non-region", C);
  236   ProgramStateRef State = C.getState();
  237   State = State->BindExpr(CE, C.getLocationContext(),
  238                           MR->getExtent(C.getSValBuilder()));
  239   C.addTransition(State);