[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