================
@@ -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
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
