void checkPreCall(const CallEvent &MC, CheckerContext &C) const;
void checkPostCall(const CallEvent &MC, CheckerContext &C) const;
void checkDeadSymbols(SymbolReaper &SR, CheckerContext &C) const;
- bool wantsRegionChangeUpdate(ProgramStateRef State) const;
ProgramStateRef
checkRegionChanges(ProgramStateRef State,
const InvalidatedSymbols *Invalidated,
C.addTransition(State);
}
-bool MisusedMovedObjectChecker::wantsRegionChangeUpdate(
- ProgramStateRef State) const {
- TrackedRegionMapTy Regions = State->get<TrackedRegionMap>();
- return !Regions.isEmpty();
-}
-
ProgramStateRef MisusedMovedObjectChecker::checkRegionChanges(
ProgramStateRef State, const InvalidatedSymbols *Invalidated,
ArrayRef<const MemRegion *> ExplicitRegions,