[Bug tree-optimization/113551] [13 Regression] Miscompilation with -O1 -fno-strict-overflow

[yshuiv7 at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113551

--- Comment #12 from Yuxuan Shui <yshuiv7 at gmail dot com> ---
I think this is the MRE:


void bug(struct obj *dso) {
        if (&dso->i) {
                if (dso == (void *)0)
                        return;

                assert_not_null(dso);
        }
}