H A D | RegionStore.cpp | 393 RegionAndSymbolInvalidationTraits &ITraits, 933 RegionAndSymbolInvalidationTraits &ITraits; member in class:__anon2084::invalidateRegionsWorker 947 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r), 968 bool doNotInvalidateSuperRegion = ITraits.hasTrait( 1003 ITraits.hasTrait(baseR, 1086 bool doNotInvalidateSuperRegion = ITraits.hasTrait( 1182 return ITraits.hasTrait(MemSpace, 1248 RegionAndSymbolInvalidationTraits &ITraits, 1262 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, 1242 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
|