Searched refs:StIn (Results 1 - 1 of 1) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp93 ProgramStateRef StIn, StOut; local
94 std::tie(StIn, StOut) = CM.assumeInclusiveRangeDual(state, *NV, Zero, One);
96 if (!StIn)
98 if (StIn && StOut && taint::isTainted(state, *NV))

Completed in 121 milliseconds