/* { dg-additional-options "-std=gnu17" } */

void abort(void);
void exit(int);

double f(double a) {}
double (*const a[])(double) = {&f};

int main(void) {
    double (*p)();
    p = &f;
    if (p != a[0])
        abort();
    exit(0);
}
