reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
50 State->getSVal(SVB.getCXXThis(MD, LCtx->getStackFrame())); 51 auto Param = SVB.makeLoc(State->getRegion(MD->getParamDecl(0), LCtx)); 52 auto ParamVal = State->getSVal(Param); 54 ProgramStateRef SelfAssignState = State->bindLoc(Param, ThisVal, LCtx); 64 ProgramStateRef NonSelfAssignState = State->bindLoc(Param, ParamVal, LCtx);