Searched refs:stateSourceNotTooLong (Results 1 – 1 of 1) sorted by relevance
1470 ProgramStateRef stateSourceTooLong, stateSourceNotTooLong; in evalStrcpyCommon() local1475 std::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume( in evalStrcpyCommon()1479 if (stateSourceTooLong && !stateSourceNotTooLong) { in evalStrcpyCommon()1485 } else if (!stateSourceTooLong && stateSourceNotTooLong) { in evalStrcpyCommon()1487 state = stateSourceNotTooLong; in evalStrcpyCommon()