[Bug c/105713] New: [gimplefe] need a way to specify TREE_ADDRESSABLE

[rguenth at gcc dot gnu.org]

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

            Bug ID: 105713
           Summary: [gimplefe] need a way to specify TREE_ADDRESSABLE
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: rguenth at gcc dot gnu.org
  Target Milestone: ---

For PR105711 a RTL expansion GIMPLE testcase would have been nice:

typedef char v2qi __attribute__((vector_size(2)));

void __GIMPLE (ssa,startwith("optimized"))
foo (__complex__ char c)
{
  __BB(2):
  __MEM <v2qi, 8> (&c) = _Literal (v2qi) { _Literal (char) 0, _Literal (char) 0
};
  return;
}

but here 'c' ends up TREE_ADDRESSABLE while with the original setup it is not.
That's because the C FE parsing marks 'c' addressable when parsing &c.  The
GIMPLE FE should fix this up on the optimistic side somehow and allow
specifying TREE_ADDRESSABLE at the declaration.