[Bug tree-optimization/125796] New: forwprop increases alignment requirements

[kristerw at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 125796
           Summary: forwprop increases alignment requirements
           Product: gcc
           Version: 17.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: kristerw at gcc dot gnu.org
            Blocks: 118443
  Target Milestone: ---

Here is yet another case where forwprop increases the alignment requirements in
the same way as for PR125296 and PR125668 when compiled on x86_64 with -O2
-fno-strict-aliasing:

struct S {
  short a[8];
} s[16];

short foo(int i)
{
  struct S *p = &s[(i >> 4) & 0x7];
  return p->a[i & 0xf];
}


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118443
[Bug 118443] [Meta bug] Bugs triggered by and blocking more smtgcc testing