OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:stateZero
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
28
ProgramStateRef
StateZero
,
36
ProgramStateRef
StateZero
,
38
if (ExplodedNode *N = C.generateSink(
StateZero
)) {
74
ProgramStateRef stateNotZero,
stateZero
;
75
llvm::tie(stateNotZero,
stateZero
) = CM.assumeDual(C.getState(), *DV);
78
assert(
stateZero
);
79
reportBug("Division by zero",
stateZero
, C);
84
if ((stateNotZero &&
stateZero
&& TaintedD)) {
85
reportBug("Division by a tainted value, possibly zero",
stateZero
, C);
VLASizeChecker.cpp
115
ProgramStateRef stateNotZero,
stateZero
;
116
llvm::tie(stateNotZero,
stateZero
) = state->assume(sizeD);
118
if (
stateZero
&& !stateNotZero) {
119
reportBug(VLA_Zero, SE,
stateZero
, C);
Completed in 26 milliseconds