[clang] [analyzer] Untangle subcheckers of CStringChecker (PR #186802)

Endre Fülöp via cfe-commits cfe-commits at lists.llvm.org
Wed Mar 18 04:02:52 PDT 2026


================
@@ -176,6 +215,8 @@ class DerivedVirtual : public BaseVirtual {
 #ifdef SUPPRESS_OUT_OF_BOUND
 void memset8_virtual_inheritance_field() {
   DerivedVirtual d;
+  // FIXME: The analyzer should stop analysis after memset. The argument to
+  // sizeof should be Derived::b_mem.
   memset(&d.b_mem, 0, sizeof(Derived));
----------------
gamesh411 wrote:

I have provided more info with the updated comments for these kinds of erroneous uses as well.

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


More information about the cfe-commits mailing list