OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:stateNotZero
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
74
ProgramStateRef
stateNotZero
, stateZero;
75
llvm::tie(
stateNotZero
, stateZero) = CM.assumeDual(C.getState(), *DV);
77
if (!
stateNotZero
) {
84
if ((
stateNotZero
&& stateZero && TaintedD)) {
91
C.addTransition(
stateNotZero
);
VLASizeChecker.cpp
115
ProgramStateRef
stateNotZero
, stateZero;
116
llvm::tie(
stateNotZero
, stateZero) = state->assume(sizeD);
118
if (stateZero && !
stateNotZero
) {
124
state =
stateNotZero
;
Completed in 176 milliseconds