[PATCH] D81315: [analyzer] Warning for default constructed unique pointer dereferences

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 2 06:57:48 PDT 2020


Szelethus added a comment.

I only looked at the checker naming issue, and that seems to have been resolved perfectly, thanks! :)



================
Comment at: clang/include/clang/StaticAnalyzer/Checkers/Checkers.td:582
+                  "false",
+                  InAlpha>,
+  ]>,
----------------
Let's `Hide` this in addition.


================
Comment at: clang/test/Analysis/smart-ptr.cpp:6
+// RUN: %clang_analyze_cc1 -analyzer-checker=core\
+// RUN:   -analyzer-checker cplusplus.SmartPtrModeling,alpha.cplusplus.SmartPtr\
+// RUN:   -analyzer-config cplusplus.SmartPtrModeling:ModelSmartPtrDereference=false\
----------------
`alpha.cplusplus.SmartPtr` on its own should be sufficient, dependencies ensure that `cplusplus.SmartPtrModeling` will be enabled and registered beforehand.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D81315/new/

https://reviews.llvm.org/D81315





More information about the cfe-commits mailing list