reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
268 ProgramStateRef State = N->getState(); 269 ProgramStateManager &Mgr = N->getState()->getStateManager(); 271 if (!N->getLocationAs<PostStore>() && !N->getLocationAs<PostInitializer>() && 271 if (!N->getLocationAs<PostStore>() && !N->getLocationAs<PostInitializer>() && 272 !N->getLocationAs<PostStmt>()) 276 if (auto PS = N->getLocationAs<PostStmt>()) 279 N->getSVal(BO->getLHS()).getAsRegion())) 283 SVal ValueAtN = N->getState()->getSVal(RegionOfInterest);