https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115390
anlauf at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |anlauf at gcc dot gnu.org
--- Comment #3 from anlauf at gcc dot gnu.org ---
Created attachment 58455
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=58455&action=edit
Patch
The attached patch fixes the ordering such that the bogus warning does no
longer appear and gives for the reduced test:
__attribute__((fn spec (". r ")))
void bar (struct CFI_cdesc_t00 & restrict _s)
{
integer(kind=8) s.0;
character(kind=1)[1:s.0] * s;
bitsizetype D.4279;
sizetype D.4280;
s.0 = (integer(kind=8)) _s->elem_len;
D.4279 = (bitsizetype) (sizetype) NON_LVALUE_EXPR <s.0> * 8;
D.4280 = (sizetype) NON_LVALUE_EXPR <s.0>;
s = (character(kind=1)[1:s.0] *) _s->base_addr;
foo ((character(kind=1)[1:s.0] *) s, s.0);
}
Currently regtesting ...