[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