Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/c-c++-common/builtin-has-attribute.c @ 145:1830386684a0
gcc-9.2.0
| author | anatofuz |
|---|---|
| date | Thu, 13 Feb 2020 11:34:05 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 131:84e7813d76e9 | 145:1830386684a0 |
|---|---|
| 1 /* Verify __builtin_has_attribute error handling. | |
| 2 { dg-do compile } | |
| 3 { dg-options "-Wall -ftrack-macro-expansion=0" } */ | |
| 4 | |
| 5 #define ATTR(list) __attribute__ (list) | |
| 6 | |
| 7 void fnone (void); | |
| 8 | |
| 9 ATTR ((aligned)) void faligned (void); | |
| 10 ATTR ((aligned (8))) void faligned_8 (void); | |
| 11 | |
| 12 #define has_attr(x, attr) __builtin_has_attribute (x, attr) | |
| 13 | |
| 14 #define A(expect, sym, attr) \ | |
| 15 typedef int Assert [1 - 2 * !(has_attr (sym, attr) == expect)] | |
| 16 | |
| 17 | |
| 18 int b; | |
| 19 | |
| 20 /* Exercise syntactically invalid arguments. */ | |
| 21 | |
| 22 void test_bad_arguments (void) | |
| 23 { | |
| 24 b = __builtin_has_attribute (); /* { dg-error "expected \(primary-\)?expression|expected .,." } */ | |
| 25 b = __builtin_has_attribute (1); /* { dg-error "expected .,." } */ | |
| 26 b = __builtin_has_attribute (void); /* { dg-error "expected .,." } */ | |
| 27 b = __builtin_has_attribute (foo); /* { dg-error ".foo. \(undeclared|was not declared\)" } */ | |
| 28 /* { dg-error "expected .,." "missing comma" { target *-*-* } .-1 } */ | |
| 29 | |
| 30 /* Verify the implementationm doesn't ICE. */ | |
| 31 b = __builtin_has_attribute (foobar, aligned); /* { dg-error ".foobar. \(undeclared|was not declared\)" } */ | |
| 32 | |
| 33 b = __builtin_has_attribute (1, 2, 3); /* { dg-error "expected identifier" } */ | |
| 34 b = __builtin_has_attribute (int, 1 + 2); /* { dg-error "expected identifier" } */ | |
| 35 b = __builtin_has_attribute (2, "aligned"); /* { dg-error "expected identifier" } */ | |
| 36 } | |
| 37 | |
| 38 /* Exercise syntactically valid arguments applied in invalid ways. */ | |
| 39 | |
| 40 void test_invalid_arguments (void) | |
| 41 { | |
| 42 b = has_attr (fnone, align); /* { dg-error "unknown attribute .align." } */ | |
| 43 b = has_attr (b, aligned__); /* { dg-error "unknown attribute .aligned__." } */ | |
| 44 b = has_attr (fnone, aligned (3)); /* { dg-error "alignment .3. is not a positive power of 2" } */ | |
| 45 | |
| 46 /* Verify the out-of-bounds arguments are diagnosed and the result | |
| 47 of the built-in is false. */ | |
| 48 A (0, fnone, alloc_size (1)); /* { dg-warning "\\\[-Wattributes]" } */ | |
| 49 A (0, fnone, alloc_size (2)); /* { dg-warning "\\\[-Wattributes]" } */ | |
| 50 | |
| 51 A (0, int, alloc_size (1)); /* { dg-warning ".alloc_size. attribute only applies to function types" } */ | |
| 52 | |
| 53 int i = 1; | |
| 54 A (0, i, alloc_size (1)); /* { dg-warning ".alloc_size. attribute only applies to function types" } */ | |
| 55 | |
| 56 A (0, faligned_8, aligned (i)); /* { dg-error "alignment is not an integer constant" } */ | |
| 57 | |
| 58 typedef ATTR ((aligned (2))) char CA2; | |
| 59 b = has_attr (CA2[2], aligned); /* { dg-error "alignment of array elements is greater than element size" } */ | |
| 60 } |