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

/freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp99 ProgramStateRef stateLT, stateGE; local
100 std::tie(stateGE, stateLT) = CM.assumeDual(state, *greaterThanEqualToZero);
103 if (stateLT) {
109 emitReport(stateLT, C);

Completed in 53 milliseconds