HomeSort by relevance Sort by last modified time
    Searched refs:Invalidated (Results 1 - 4 of 4) sorted by null

  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 140 StoreManager::InvalidatedSymbols invalidated; local
142 invalidated, invalidateGlobals);
156 StoreManager::InvalidatedRegions Invalidated;
159 invalidateGlobals, &Invalidated);
161 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated);
RegionStore.cpp 243 InvalidatedRegions *Invalidated);
621 // Is it a LazyCompoundVal? All references get invalidated as well.
726 InvalidatedRegions *Invalidated) {
729 Ex, Count, IS, Invalidated, invalidateGlobals);
756 if (Invalidated)
757 Invalidated->push_back(GS);
    [all...]
  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h 178 /// symbols to mark the values of invalidated regions.
180 /// symbols to mark the values of invalidated regions.
184 /// are invalidated as well.
186 /// invalidated. This should include any regions explicitly invalidated
194 InvalidatedRegions *Invalidated) = 0;
  /external/clang/lib/StaticAnalyzer/Checkers/
CStringChecker.cpp     [all...]

Completed in 7730 milliseconds