HomeSort by relevance Sort by last modified time
    Searched full:statezero (Results 1 - 4 of 4) sorted by null

  /external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp 28 ProgramStateRef StateZero,
36 ProgramStateRef StateZero,
38 if (ExplodedNode *N = C.generateErrorNode(StateZero)) {
70 ProgramStateRef stateNotZero, stateZero;
71 std::tie(stateNotZero, stateZero) = CM.assumeDual(C.getState(), *DV);
74 assert(stateZero);
75 reportBug("Division by zero", stateZero, C);
80 if ((stateNotZero && stateZero && TaintedD)) {
81 reportBug("Division by a tainted value, possibly zero", stateZero, C);
VLASizeChecker.cpp 119 ProgramStateRef stateNotZero, stateZero;
120 std::tie(stateNotZero, stateZero) = state->assume(sizeD);
122 if (stateZero && !stateNotZero) {
123 reportBug(VLA_Zero, SE, stateZero, C);
  /hardware/invensense/6515/libsensors_iio/software/core/mllite/
ml_math_func.c 681 float stateZero;
685 stateZero = pFilter->input - pFilter->c[2]*pFilter->state[0]
688 pFilter->output = stateZero + pFilter->c[0]*pFilter->state[0]
694 pFilter->state[0] = stateZero;
  /hardware/invensense/65xx/libsensors_iio/software/core/mllite/
ml_math_func.c 681 float stateZero;
685 stateZero = pFilter->input - pFilter->c[2]*pFilter->state[0]
688 pFilter->output = stateZero + pFilter->c[0]*pFilter->state[0]
694 pFilter->state[0] = stateZero;

Completed in 184 milliseconds