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

References

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

   52     state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true);
   52     state = state->assume(Arg.castAs<DefinedOrUnknownSVal>(), true);
   55     if (!state) {
   60     C.addTransition(state);
   74     C.addTransition(state->BindExpr(CE, LCtx, Arg));
   95       svalBuilder.evalEQ(state, Extent, Size.castAs<DefinedOrUnknownSVal>());
   96     state = state->assume(extentMatchesSizeArg, true);
   96     state = state->assume(extentMatchesSizeArg, true);
   97     assert(state && "The region should not have any previous constraints");
   99     C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
  127     C.addTransition(state->BindExpr(CE, LCtx, V));