Searched defs:stateGT (Results 1 - 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
H A DBoolAssignmentChecker.cpp134 ProgramStateRef stateGT, stateLE; local
135 std::tie(stateLE, stateGT) = CM.assumeDual(state, *lessThanEqToOne);
138 if (stateGT) {
144 emitReport(stateGT, C);

Completed in 103 milliseconds