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 ...