https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115700
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Summary|[10/11/12/13/14 regression] |[11/12/13/14 regression]
|Bogus warning for associate |Bogus warning for associate
|with assumed-length |with assumed-length
|character array |character array
Status|UNCONFIRMED |NEW
Last reconfirmed| |2024-06-30
Keywords| |diagnostic, wrong-code
Target Milestone|--- |11.5
Ever confirmed|0 |1
Priority|P3 |P4
Blocks| |24639
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
There is
_31 = ubound.0_22;
tmp.span = _x_25(D);
.tmp.9_13 = (unsigned long) .tmp_33(D);
^^^ diagnosed
tmp.dtype = {};
tmp.dtype.elem_len = .tmp.9_13;
tmp.dtype.rank = 1;
so it looks like wrong-code to me. Later we have another
tmp.offset = _14;
.tmp_44 = _x_25(D);
^^^ ???
tmp ={v} {CLOBBER(eos)};
in .original this corresponds to
tmp.span = NON_LVALUE_EXPR <_x>;
tmp.dtype = {.elem_len=(unsigned long) .tmp, .version=0, .rank=1, .type=6};
D.4311 = stride.1;
tmp.dim[0].lbound = 1;
tmp.dim[0].ubound = D.4310;
tmp.dim[0].stride = NON_LVALUE_EXPR <D.4311>;
tmp.data = (void * restrict) x.0;
tmp.offset = -NON_LVALUE_EXPR <D.4311>;
.tmp = _x;
Referenced Bugs:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24639
[Bug 24639] [meta-bug] bug to track all Wuninitialized issues
