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.
