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

References

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

   74     C.addTransition(state->BindExpr(CE, LCtx, Arg));
   83       RM.getAllocaRegion(CE, C.blockCount(), C.getLocationContext());
   99     C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
  111     if (CE->EvaluateAsInt(EVResult, C.getASTContext(), Expr::SE_NoSideEffects)) {
  115       BVF.getAPSIntType(CE->getType()).apply(Result);
  124         V = SVB.makeIntVal(0, CE->getType());
  127     C.addTransition(state->BindExpr(CE, LCtx, V));