Searched defs:invalidated (Results 1 – 6 of 6) sorted by relevance
269 struct list_head invalidated; member
337 const InvalidatedSymbols *invalidated, in _checkRegionChanges()
1184 ProgramStateRef state, const InvalidatedSymbols *invalidated, in checkRegionChanges()
600 const InvalidatedSymbols *invalidated, in runCheckersForRegionChanges()
544 const InvalidatedSymbols *invalidated, in processRegionChanges()
972 struct list_head invalidated; member