H A D | RegionStore.cpp | 432 RegionAndSymbolInvalidationTraits &ITraits, 992 RegionAndSymbolInvalidationTraits &ITraits; member in class:__anon2367::InvalidateRegionsWorker 1006 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), 1027 bool doNotInvalidateSuperRegion = ITraits.hasTrait( 1062 ITraits.hasTrait(baseR, 1171 bool doNotInvalidateSuperRegion = ITraits.hasTrait( 1267 return ITraits.hasTrait(MemSpace, 1333 RegionAndSymbolInvalidationTraits &ITraits, 1347 InvalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, 1327 invalidateRegions(Store store, ArrayRef<SVal> Values, const Expr *Ex, unsigned Count, const LocationContext *LCtx, const CallEvent *Call, InvalidatedSymbols &IS, RegionAndSymbolInvalidationTraits &ITraits, InvalidatedRegions *TopLevelRegions, InvalidatedRegions *Invalidated) argument
|