OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:stateZero
(Results
1 - 3
of
3
) sorted by null
/external/clang/lib/StaticAnalyzer/Checkers/
DivZeroChecker.cpp
28
ProgramStateRef
StateZero
,
36
ProgramStateRef
StateZero
,
38
if (ExplodedNode *N = C.generateSink(
StateZero
)) {
70
ProgramStateRef stateNotZero,
stateZero
;
71
llvm::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
115
ProgramStateRef stateNotZero,
stateZero
;
116
llvm::tie(stateNotZero,
stateZero
) = state->assume(sizeD);
118
if (
stateZero
&& !stateNotZero) {
119
reportBug(VLA_Zero, SE,
stateZero
, C);
/hardware/invensense/libsensors_iio/software/core/mllite/
ml_math_func.c
680
float
stateZero
;
684
stateZero
= pFilter->input - pFilter->c[2]*pFilter->state[0]
687
pFilter->output =
stateZero
+ pFilter->c[0]*pFilter->state[0]
693
pFilter->state[0] =
stateZero
;
Completed in 133 milliseconds