| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SubEngine.h | 106 const StoreManager::InvalidatedSymbols *invalidated,
|
| ExprEngine.h | 199 const StoreManager::InvalidatedSymbols *invalidated,
466 /// cause global variables to be invalidated.
|
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| Checker.h | 267 const StoreManager::InvalidatedSymbols *invalidated,
270 return ((const CHECKER *)checker)->checkRegionChanges(state, invalidated,
|
| CheckerManager.h | 263 /// \param invalidated A set of all symbols potentially touched by the change.
270 const StoreManager::InvalidatedSymbols *invalidated,
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerManager.cpp | 365 const StoreManager::InvalidatedSymbols *invalidated,
373 state = RegionChangesCheckers[i].CheckFn(state, invalidated,
|
| 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);
|
| ExprEngine.cpp | 182 const StoreManager::InvalidatedSymbols *invalidated,
185 return getCheckerManager().runCheckersForRegionChanges(state, invalidated,
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| RetainCountChecker.cpp | [all...] |
| /external/llvm/bindings/ocaml/llvm/ |
| llvm.mli | 333 contained. All references to subordinate objects are invalidated;
[all...] |
| /external/iproute2/doc/ |
| ip-cref.tex | 771 is finally invalidated.
[all...] |
