================
@@ -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));
----------------
steakhal wrote:
If you say that the argument of the size of should be `Derived::b_mem`, why
didn't you change it?
If you intentionally didn't change it, what do you expect later, how can
someone "fix" this "fixme" - The intentions here are not clear to me.
https://github.com/llvm/llvm-project/pull/186802
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
