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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp134 ProgramStateRef stateGT, stateLE; local
135 llvm::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
143 if (!stateLE)
152 assert(stateLE == state);

Completed in 62 milliseconds