Home	Sort by relevance Sort by last modified time

Full Search Definition Symbol File Path History   | | Help

    Searched refs:Invalidated (Results 1 - 8 of 8) sorted by null

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SubEngine.h	116 const InvalidatedSymbols *invalidated, 133 const InvalidatedSymbols *Invalidated,
Store.h	168 /// symbols to mark the values of invalidated regions. 170 /// symbols to mark the values of invalidated regions. 172 /// globals should get invalidated. 178 //// explicitly being invalidated. Pass \c NULL if this 180 /// \param[in,out] Invalidated A vector to fill with any regions being 181 /// invalidated. This should include any regions explicitly invalidated 192 InvalidatedRegions *Invalidated) = 0;
ExprEngine.h	280 const InvalidatedSymbols *invalidated, 490 const InvalidatedSymbols *Invalidated,
/external/clang/lib/StaticAnalyzer/Checkers/
CheckerDocumentation.cpp	233 /// \param Invalidated A set of all symbols potentially touched by the change. 251 const InvalidatedSymbols *Invalidated,
CStringChecker.cpp	[all...]
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp	179 InvalidatedSymbols Invalidated; 181 IS = &Invalidated; 189 StoreManager::InvalidatedRegions Invalidated; 193 &Invalidated); 200 Invalidated, Call, 205 Invalidated, Call);
RegionStore.cpp	389 InvalidatedRegions *Invalidated); 398 InvalidatedRegions *Invalidated, 824 // Find the length (in bits) of the region being invalidated.     [all...]
ExprEngine.cpp	261 const InvalidatedSymbols *invalidated, 265 return getCheckerManager().runCheckersForRegionChanges(state, invalidated,     [all...]

Completed in 195 milliseconds