diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gcc.dg/attr-warn-unused-result.c')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gcc.dg/attr-warn-unused-result.c | 188 |
1 files changed, 188 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gcc.dg/attr-warn-unused-result.c b/gcc-4.9/gcc/testsuite/gcc.dg/attr-warn-unused-result.c new file mode 100644 index 000000000..0404ceceb --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gcc.dg/attr-warn-unused-result.c @@ -0,0 +1,188 @@ +/* warn_unused_result attribute tests. */ +/* { dg-do compile } */ +/* { dg-options "-O" } */ + +#define WUR __attribute__((warn_unused_result)) +#define WURAI __attribute__((warn_unused_result, always_inline)) inline +typedef WUR int (*fnt) (void); + +typedef struct { long i; } A; +typedef struct { long i; long j; } B; +typedef struct { char big[1024]; fnt fn; } C; + +WUR int check1 (void); +WUR void check2 (void); /* { dg-warning "attribute ignored" } */ +int foo WUR; /* { dg-warning "only applies" } */ +int bar (void); +extern WURAI int check3 (void) { return bar (); } +WUR A check4 (void); +WUR B check5 (void); +WUR C check6 (void); +A bar7 (void); +B bar8 (void); +C bar9 (void); +extern WURAI A check7 (void) { return bar7 (); } +extern WURAI B check8 (void) { return bar8 (); } +extern WURAI C check9 (void) { return bar9 (); } +/* This is useful for checking whether return value of statement + expressions (returning int in this case) is used. */ +extern WURAI int check_int_result (int res) { return res; } +#define GU(v) ({ int e = 0; (v) = bar (); if ((v) < 23) e = 14; e; }) +fnt fnptr; +WUR int check10 (void); +int baz (void); +extern WURAI int check11 (void) { return baz (); } +int k; + +void +test (void) +{ + int i = 0, j; + const fnt pcheck1 = check1; + const fnt pcheck3 = check3; + A a; + B b; + C c; + if (check1 ()) + return; + i += check1 (); + i += ({ check1 (); }); + check1 (); /* { dg-warning "ignoring return value of" } */ + (void) check1 (); /* { dg-warning "ignoring return value of" } */ + check1 (), bar (); /* { dg-warning "ignoring return value of" } */ + check2 (); + (void) check2 (); + check2 (), bar (); + if (check3 ()) + return; + i += check3 (); + i += ({ check3 (); }); + check3 (); /* { dg-warning "ignoring return value of" } */ + (void) check3 (); /* { dg-warning "ignoring return value of" } */ + check3 (), bar (); /* { dg-warning "ignoring return value of" } */ + a = check4 (); + if (a.i) + return; + if (check4 ().i) + return; + if (({ check4 (); }).i) + return; + check4 (); /* { dg-warning "ignoring return value of" } */ + (void) check4 (); /* { dg-warning "ignoring return value of" } */ + check4 (), bar (); /* { dg-warning "ignoring return value of" } */ + b = check5 (); + if (b.i + b.j) + return; + if (check5 ().j) + return; + if (({ check5 (); }).j) + return; + check5 (); /* { dg-warning "ignoring return value of" } */ + (void) check5 (); /* { dg-warning "ignoring return value of" } */ + check5 (), bar (); /* { dg-warning "ignoring return value of" } */ + c = check6 (); + if (c.big[12] + c.big[29]) + return; + if (check6 ().big[27]) + return; + if (({ check6 (); }).big[0]) + return; + check6 (); /* { dg-warning "ignoring return value of" } */ + (void) check6 (); /* { dg-warning "ignoring return value of" } */ + check6 (), bar (); /* { dg-warning "ignoring return value of" } */ + a = check7 (); + if (a.i) + return; + if (check7 ().i) + return; + if (({ check7 (); }).i) + return; + check7 (); /* { dg-warning "ignoring return value of" } */ + (void) check7 (); /* { dg-warning "ignoring return value of" } */ + check7 (), bar (); /* { dg-warning "ignoring return value of" } */ + b = check8 (); + if (b.i + b.j) + return; + if (check8 ().j) + return; + if (({ check8 (); }).j) + return; + check8 (); /* { dg-warning "ignoring return value of" } */ + (void) check8 (); /* { dg-warning "ignoring return value of" } */ + check8 (), bar (); /* { dg-warning "ignoring return value of" } */ + c = check9 (); + if (c.big[12] + c.big[29]) + return; + if (check9 ().big[27]) + return; + if (({ check9 (); }).big[0]) + return; + check9 (); /* { dg-warning "ignoring return value of" } */ + (void) check9 (); /* { dg-warning "ignoring return value of" } */ + check9 (), bar (); /* { dg-warning "ignoring return value of" } */ + if (check_int_result (GU (j))) + return; + i += check_int_result (GU (j)); + i += ({ check_int_result (GU (j)); }); + check_int_result (GU (j)); /* { dg-warning "ignoring return value of" } */ + (void) check_int_result (GU (j)); /* { dg-warning "ignoring return value of" } */ + check_int_result (GU (j)), bar (); /* { dg-warning "ignoring return value of" } */ + if (fnptr ()) + return; + i += fnptr (); + i += ({ fnptr (); }); + fnptr (); /* { dg-warning "ignoring return value of" } */ + (void) fnptr (); /* { dg-warning "ignoring return value of" } */ + fnptr (), bar (); /* { dg-warning "ignoring return value of" } */ + fnptr = check1; + if (fnptr ()) + return; + i += fnptr (); + i += ({ fnptr (); }); + fnptr (); /* { dg-warning "ignoring return value of" } */ + (void) fnptr (); /* { dg-warning "ignoring return value of" } */ + fnptr (), bar (); /* { dg-warning "ignoring return value of" } */ + fnptr = check3; + if (fnptr ()) + return; + i += fnptr (); + i += ({ fnptr (); }); + fnptr (); /* { dg-warning "ignoring return value of" } */ + (void) fnptr (); /* { dg-warning "ignoring return value of" } */ + fnptr (), bar (); /* { dg-warning "ignoring return value of" } */ + if (bar9 ().fn ()) + return; + i += bar9 ().fn (); + i += ({ bar9 ().fn (); }); + bar9 ().fn (); /* { dg-warning "ignoring return value of" } */ + (void) bar9 ().fn (); /* { dg-warning "ignoring return value of" } */ + bar9 ().fn (), bar (); /* { dg-warning "ignoring return value of" } */ + if ((k ? check1 : check10) ()) + return; + i += (k ? check1 : check10) (); + i += ({ (k ? check1 : check10) (); }); + (k ? check1 : check10) (); /* { dg-warning "ignoring return value of" } */ + (void) (k ? check1 : check10) (); /* { dg-warning "ignoring return value of" } */ + (k ? check1 : check10) (), bar (); /* { dg-warning "ignoring return value of" } */ + if ((k ? check3 : check11) ()) + return; + i += (k ? check3 : check11) (); + i += ({ (k ? check3 : check11) (); }); + (k ? check3 : check11) (); /* { dg-warning "ignoring return value of" } */ + (void) (k ? check3 : check11) (); /* { dg-warning "ignoring return value of" } */ + (k ? check3 : check11) (), bar (); /* { dg-warning "ignoring return value of" } */ + if (pcheck1 ()) + return; + i += pcheck1 (); + i += ({ pcheck1 (); }); + pcheck1 (); /* { dg-warning "ignoring return value of" } */ + (void) pcheck1 (); /* { dg-warning "ignoring return value of" } */ + pcheck1 (), bar (); /* { dg-warning "ignoring return value of" } */ + if (pcheck3 ()) + return; + i += pcheck3 (); + i += ({ pcheck3 (); }); + pcheck3 (); /* { dg-warning "ignoring return value of" } */ + (void) pcheck3 (); /* { dg-warning "ignoring return value of" } */ + pcheck3 (), bar (); /* { dg-warning "ignoring return value of" } */ +} |