[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