HomeSort by relevance Sort by last modified time
    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