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

References

tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp
  128       SVal LValue = State->getLValue(Var, LCtx);
  131           makeZeroElementRegion(State, LValue, Ty, CallOpts.IsArrayCtorOrDtor);
  132       State =
  133           addObjectUnderConstruction(State, DSCC->getDeclStmt(), LCtx, LValue);
  134       return std::make_pair(State, LValue);
  144       SVal ThisVal = State->getSVal(ThisPtr);
  150         FieldVal = State->getLValue(Init->getIndirectMember(), ThisVal);
  153         FieldVal = State->getLValue(Init->getMember(), ThisVal);
  157       FieldVal = makeZeroElementRegion(State, FieldVal, Ty,
  159       State = addObjectUnderConstruction(State, Init, LCtx, FieldVal);
  159       State = addObjectUnderConstruction(State, Init, LCtx, FieldVal);
  160       return std::make_pair(State, FieldVal);
  166         SVal V = *getObjectUnderConstruction(State, NE, LCtx);
  174                 State, loc::MemRegionVal(getStoreManager().GetElementZeroRegion(
  177           return std::make_pair(State, V);
  206             cast<Expr>(SFC->getCallSite()), State, CallerLCtx,
  228         return std::make_pair(State, V);
  247       ProgramStateRef PreElideState = State;
  250       std::tie(State, V) = prepareForObjectConstruction(
  251           CE, State, LCtx, TCC->getConstructionContextAfterElision(), CallOpts);
  258         State = addObjectUnderConstruction(State, CE, LCtx, V);
  258         State = addObjectUnderConstruction(State, CE, LCtx, V);
  262           State = elideDestructor(State, BTE, LCtx);
  262           State = elideDestructor(State, BTE, LCtx);
  267           State = addObjectUnderConstruction(State, MTE, LCtx, V);
  267           State = addObjectUnderConstruction(State, MTE, LCtx, V);
  269         return std::make_pair(State, V);
  273         State = PreElideState;
  306         State = addObjectUnderConstruction(State, BTE, LCtx, V);
  306         State = addObjectUnderConstruction(State, BTE, LCtx, V);
  309         State = addObjectUnderConstruction(State, MTE, LCtx, V);
  309         State = addObjectUnderConstruction(State, MTE, LCtx, V);
  312       return std::make_pair(State, V);
  354         CallEventRef<> Caller = CEMgr.getSimpleCall(CE, State, LCtx);
  359         State = addObjectUnderConstruction(State, {CE, Idx}, LCtx, V);
  359         State = addObjectUnderConstruction(State, {CE, Idx}, LCtx, V);
  364             CEMgr.getCXXConstructorCall(CCE, /*Target=*/nullptr, State, LCtx);
  369         State = addObjectUnderConstruction(State, {CCE, Idx}, LCtx, V);
  369         State = addObjectUnderConstruction(State, {CCE, Idx}, LCtx, V);
  371         CallEventRef<> Caller = CEMgr.getObjCMethodCall(ME, State, LCtx);
  376         State = addObjectUnderConstruction(State, {ME, Idx}, LCtx, V);
  376         State = addObjectUnderConstruction(State, {ME, Idx}, LCtx, V);
  382         State = addObjectUnderConstruction(State, BTE, LCtx, V);
  382         State = addObjectUnderConstruction(State, BTE, LCtx, V);
  384       return std::make_pair(State, V);
  392       State, loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx)));