[clang] [clang][analyzer] Add OpaqueSTLFunctionsModeling (PR #178910)

Balázs Benics via cfe-commits cfe-commits at lists.llvm.org
Mon Feb 2 07:14:50 PST 2026


================
@@ -0,0 +1,16 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,cplusplus.OpaqueSTLFunctionsModeling \
+// RUN:   -analyzer-dump-egraph=%t.dot -std=c++11 %s
+// RUN: cat %t.dot | FileCheck %s
----------------
steakhal wrote:

```suggestion
// RUN: %clang_analyze_cc1 -analyzer-checker=core \
// RUN:   -analyzer-dump-egraph=%t.dot -std=c++11 %s
// RUN: cat %t.dot | FileCheck %s
```
The checker should be enabled by default for C++. This should be reflected in the test as well.

https://github.com/llvm/llvm-project/pull/178910


More information about the cfe-commits mailing list