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

/external/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1380 ProgramStateRef stateSourceTooLong, stateSourceNotTooLong; local
1385 std::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume(
1389 if (stateSourceTooLong && !stateSourceNotTooLong) {
1392 state = stateSourceTooLong;
1395 } else if (!stateSourceTooLong && stateSourceNotTooLong) {

Completed in 137 milliseconds