summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/call-diag-2.c
blob: 0d87e52e973ee9b9266d3b16efd1f0fdff5163fa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
/* Test diagnostics for calling function returning qualified void or
   other incomplete type other than void.  PR 35210.  */
/* { dg-do compile } */
/* { dg-options "-pedantic-errors" } */

const void f_cv (void);
struct s f_s (void);
void f_v (void);

void g1 (void) { f_cv (); } /* { dg-error "qualified void" } */
void g2 (void) { f_s (); } /* { dg-error "invalid use of undefined type" } */
void g3 (void) { ((const void (*) (void)) f_v) (); } /* { dg-error "qualified void" } */
/* { dg-warning "function called through a non-compatible type" "cast" { target *-*-* } 12 } */
/* { dg-message "will abort" "abort" { target *-*-* } 12 } */
void g4 (void) { ((struct s (*) (void)) f_v) (), (void) 0; } /* { dg-error "invalid use of undefined type" } */
/* { dg-warning "function called through a non-compatible type" "cast" { target *-*-* } 15 } */
/* { dg-message "will abort" "abort" { target *-*-* } 15 } */