OpenGrok
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
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