OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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