Searched defs:ITraits (Results 1 – 6 of 6) sorted by relevance
64 RegionAndSymbolInvalidationTraits ITraits; in getWidenedLoopState() local
185 RegionAndSymbolInvalidationTraits *ITraits, in invalidateRegionsImpl() argument
783 RegionAndSymbolInvalidationTraits ITraits; in bindReturnValue() local
982 RegionAndSymbolInvalidationTraits &ITraits; member in __anonbdb300b20611::InvalidateRegionsWorker 1308 RegionAndSymbolInvalidationTraits &ITraits, in invalidateRegions() argument
3529 notifyCheckersOfPointerEscape(ProgramStateRef State,const InvalidatedSymbols * Invalidated,ArrayRef<const MemRegion * > ExplicitRegions,const CallEvent * Call,RegionAndSymbolInvalidationTraits & ITraits) notifyCheckersOfPointerEscape() argument
1066 __anon6d5a4d8f0202(RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) invalidateDestinationBufferBySize() argument 1095 __anon6d5a4d8f0402(RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) invalidateDestinationBufferNeverOverflows() argument 1111 __anon6d5a4d8f0502(RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) invalidateSourceBuffer() argument 1147 RegionAndSymbolInvalidationTraits ITraits; invalidateBufferAux() local [all...]