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

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h 107 const InvalidatedSymbols *invalidated,
124 const InvalidatedSymbols *Invalidated,
Store.h 183 /// symbols to mark the values of invalidated regions.
185 /// symbols to mark the values of invalidated regions.
189 /// globals should get invalidated.
190 /// \param[in,out] Invalidated A vector to fill with any regions being
191 /// invalidated. This should include any regions explicitly invalidated
200 InvalidatedRegions *Invalidated) = 0;
ExprEngine.h 267 const InvalidatedSymbols *invalidated,
472 const InvalidatedSymbols *Invalidated,
  /external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp 232 /// \param Invalidated A set of all symbols potentially touched by the change.
250 const InvalidatedSymbols *Invalidated,
CStringChecker.cpp     [all...]
  /external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp 151 InvalidatedSymbols invalidated; local
154 invalidated, Call);
171 StoreManager::InvalidatedRegions Invalidated;
174 Call, &Invalidated);
180 &IS, Regions, Invalidated, Call);
182 return Eng->processRegionChanges(newState, &IS, Regions, Invalidated, Call);
RegionStore.cpp 366 InvalidatedRegions *Invalidated);
373 InvalidatedRegions *Invalidated);
760 // Find the length (in bits) of the region being invalidated.
    [all...]
ExprEngine.cpp 230 const InvalidatedSymbols *invalidated,
234 return getCheckerManager().runCheckersForRegionChanges(state, invalidated,
    [all...]

Completed in 87 milliseconds