Home
last modified time | relevance | path

Searched refs:stateSourceTooLong (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DCStringChecker.cpp1683 ProgramStateRef stateSourceTooLong, stateSourceNotTooLong; in evalStrcpyCommon() local
1687 std::tie(stateSourceTooLong, stateSourceNotTooLong) = state->assume( in evalStrcpyCommon()
1692 if (stateSourceTooLong && !stateSourceNotTooLong) { in evalStrcpyCommon()
1695 state = stateSourceTooLong; in evalStrcpyCommon()
1698 } else if (!stateSourceTooLong && stateSourceNotTooLong) { in evalStrcpyCommon()