https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119733
Krister Walfridsson <kristerw at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Resolution|INVALID |FIXED
--- Comment #6 from Krister Walfridsson <kristerw at gcc dot gnu.org> ---
That's what I believe I've implemented! But the compiler doesn't see the object
here, so we can't reason from the provenance -- we just have a random pointer.
And a pointer may have any value.
I'd argue we can only assume 16-bit alignment, which is enforced by the load:
unsigned short pc = q->c;
But you're right that SLP already increased this, which smtgcc should have
reported...
Anyway, all my confusion seems to come from get_object_alignment being
inconsistent in what it returns. I need to take a closer look at it. So I now
agree this bug report being invalid. :)
