[PATCH] D55873: [analyzer] CStringChecker: Fix a crash when an argument of a weird type is encountered.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Dec 19 13:20:17 PST 2018
NoQ added inline comments.
================
Comment at: lib/StaticAnalyzer/Checkers/CStringChecker.cpp:2317-2320
else if (isCPPStdLibraryFunction(FDecl, "copy"))
evalFunction = &CStringChecker::evalStdCopy;
else if (isCPPStdLibraryFunction(FDecl, "copy_backward"))
evalFunction = &CStringChecker::evalStdCopyBackward;
----------------
Yes, indeed, this patch does [[ https://reviews.llvm.org/D55875#1336686 | break ]] modeling of `std::copy`, because, well, we *did* have explicit modeling of `std::copy`.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D55873/new/
https://reviews.llvm.org/D55873
More information about the cfe-commits
mailing list