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

/freebsd-10.0-release/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1335 ProgramStateRef stateSourceTooLong, stateSourceNotTooLong; local
1340 llvm::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume(
1344 if (stateSourceTooLong && !stateSourceNotTooLong) {
1350 } else if (!stateSourceTooLong && stateSourceNotTooLong) {
1352 state = stateSourceNotTooLong;

Completed in 103 milliseconds