Attachment 46699 Details for Bug 87438 – Test case. Triggers bug on 8.x to at least 10-20190721.

Test case. Triggers bug on 8.x to at least 10-20190721.

test.c (text/x-csrc), 1.36 KB, created by Zach van Rijn on 2019-08-10 22:38:07 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Zach van Rijn

Created: 2019-08-10 22:38:07 UTC

Size: 1.36 KB

patch

obsolete

>/**
> * Re: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87438
> *
> * This file (reduced test case) was derived from GCC 9.1.0
> * generated 'smaxval_r8()' routine, but a similar error may
> * be present in 'bessel_r8()'.
> *
> * It has been formatted for clarity. Edited 2019-08-10.
> *
> * Build: gcc -O2 -fPIC test.c
> *
> * Affected Versions:
> *
> * >  7.4.0
> * >= 8.1.0
> * >= GCC 10-20190721 (Snapshot)
> */
>
>struct gfc_array_r8
>{
>    double *base_addr;
>    struct dtype_dtype
>    {
>        signed char rank;
>    } dtype;
>};
>
>void
>smaxval_r8
>(
>    struct gfc_array_r8 *retarray,
>    struct gfc_array_r8 *array,
>    int                 *pdim,
>    signed int          *mask
>)
>{
>    int   count[15];
>    int  extent[15];
>    int dstride[15] = { 1 }; // must be initialized to 1 for ICE
>    double *dest = retarray->base_addr;
>    int n;
>    (void)pdim;
>
>    if (!mask || *mask) { return; } // must exist for ICE
>
>    for (n = 0; n < 5; n++) // 5 is minimum for ICE
>    {
>        count[n] = 1; // static initialization means no-ICE
>        extent[n] = 1; // static initialization means no-ICE
>    }
>
>    while (1)
>    {
>        *dest = -1.7976931348623157e308; // originally: -GFC_REAL_8_HUGE
>        n = 0; // must be 0 for ICE
>        while (count[n] == extent[n])
>        {
>            dest -= dstride[n] * extent[n];
>            n++;
>            if (n >= array->dtype.rank) { return; }
>        }
>    }
>}

Actions: View

Attachments on bug 87438: 44752 | 46699