H A D | RegionStore.cpp | 397 RegionAndSymbolInvalidationTraits &ITraits, 947 RegionAndSymbolInvalidationTraits &ITraits; member in class:__anon18283::invalidateRegionsWorker 960 Ex(ex), Count(count), LCtx(lctx), IS(is), ITraits(ITraitsIn), Regions(r){} 996 ITraits.hasTrait(baseR, 1155 RegionAndSymbolInvalidationTraits &ITraits, 1169 invalidateRegionsWorker W(*this, StateMgr, B, Ex, Count, LCtx, IS, ITraits, 1149 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
|