[PATCH] D103750: [analyzer] Handle std::make_unique for SmartPtrModeling
Deep Majumder via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Jun 16 21:57:10 PDT 2021
RedDocMD marked an inline comment as done.
RedDocMD added inline comments.
================
Comment at: clang/test/Analysis/smart-ptr-text-output.cpp:3
+// RUN: -analyzer-checker=core,cplusplus.Move,alpha.cplusplus.SmartPtr\
+// RUN: -analyzer-config cplusplus.SmartPtrModeling:ModelSmartPtrDereference=true\
+// RUN: -analyzer-output=text -std=c++20 %s -verify=expected
----------------
NoQ wrote:
> Could you double-check that this flag correctly disables all the newly introduced modeling so that it wasn't accidentally enabled for all users before it's ready?
Yup. There are 133 notes and warnings (just search for "// expected-" and see the count). And on setting the flag to `false`, there are 133 errors.
So it works.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D103750/new/
https://reviews.llvm.org/D103750
More information about the cfe-commits
mailing list