[clang] [analyzer] Add optin.taint.TaintedDiv checker (PR #106389)

DonĂ¡t Nagy via cfe-commits cfe-commits at lists.llvm.org
Mon Sep 30 04:57:52 PDT 2024


================
@@ -20,6 +22,7 @@
 // RUN: not %clang_analyze_cc1 -Wno-pointer-to-int-cast \
 // RUN:   -Wno-incompatible-library-redeclaration -verify %s \
 // RUN:   -analyzer-checker=optin.taint.GenericTaint  \
+// RUN:   -analyzer-checker=optin.taint.TaintedDiv \
----------------
NagyDonat wrote:

```suggestion
```
I strongly suspect that there is no reason to add TaintedDiv here -- this not a normal test run, but an intentionally wrong invocation that passes an invalid config file name and verifies the error output with FileCheck.

In fact, I also suspect that you could remove the ExprInspection line below this without changing the meaning of this test. (You should perhaps do it for the sake of clarity.)

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


More information about the cfe-commits mailing list