[clang] [llvm] [analyzer] New checker: optin.core.UnconditionalVAArg (PR #175602)

[Arseniy Zaostrovnykh via cfe-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/175602 at github.com>


================
@@ -18,9 +18,9 @@
 // function is irrelevant; and the unconditional path within the function is
 // trivial and wouldn't have any note tags anyway.)
 //
-// I also attempted to implement this checker in Clang Tidy, but the AST
-// matching is simply not powerful enough to express this "no branching on the
-// path" relationship -- I would have needed to reinvent the wheel.
+// However, the AST matching framework of Clang Tidy is not powerful enough to
----------------
necto wrote:

```suggestion
// The AST matching framework of Clang Tidy is not powerful enough to
```

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