https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127790
--- Comment #3 from Drea Pinski <pinskia at gcc dot gnu.org> --- (In reply to Evgenii Indenbom from comment #2) > (In reply to Drea Pinski from comment #1) > > Dup. > > > > *** This bug has been marked as a duplicate of bug 122197 *** > > In my opinion ignoring end of the object clobbers is not a fix, but rather a > workaround. The code in devirtualized branch works with concrete object type > and size and should be checked against it. I agree with that. I have not looked into the devirtualized to see if there is a way to get the sizes check but it definitely would be useful because there would be one less conditional branch in some cases.
