Mercurial > hg > CbC > CbC_gcc
comparison gcc/testsuite/gcc.dg/attr-assume_aligned-4.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 /* PR middle-end/87533 - bogus assume_aligned attribute silently accepted | |
2 { dg-do compile } | |
3 { dg-options "-Wall" } */ | |
4 | |
5 #define A(...) __attribute__ ((assume_aligned (__VA_ARGS__))) | |
6 | |
7 A (1) void fv_1 (void); /* { dg-warning ".assume_aligned. attribute ignored on a function returning .void." } */ | |
8 | |
9 A (1) int fi_1 (void); /* { dg-warning ".assume_aligned. attribute ignored on a function returning .int." } */ | |
10 | |
11 A (-1) void* fpv_m1 (void); /* { dg-warning ".assume_aligned. attribute argument -1 is not a power of 2" } */ | |
12 | |
13 A (0) void* fpv_0 (void); /* { dg-warning ".assume_aligned. attribute argument 0 is not a power of 2" } */ | |
14 | |
15 /* Alignment of 1 is fine, it just doesn't offer any benefits. */ | |
16 A (1) void* fpv_1 (void); | |
17 | |
18 A (3) void* fpv_3 (void); /* { dg-warning ".assume_aligned. attribute argument 3 is not a power of 2" } */ | |
19 | |
20 A (16383) void* fpv_16km1 (void); /* { dg-warning ".assume_aligned. attribute argument 16383 is not a power of 2" } */ | |
21 A (16384) void* fpv_16k (void); | |
22 A (16385) void* fpv_16kp1 (void); /* { dg-warning ".assume_aligned. attribute argument 16385 is not a power of 2" } */ | |
23 | |
24 A (32767) void* fpv_32km1 (void); /* { dg-warning ".assume_aligned. attribute argument 32767 is not a power of 2" } */ | |
25 | |
26 A (4, -1) void* fpv_4_m1 (void); /* { dg-warning ".assume_aligned. attribute argument -1 is not in the range \\\[0, 3]" } */ | |
27 | |
28 A (4, 0) void* fpv_4_0 (void); | |
29 A (4, 1) void* fpv_4_1 (void); | |
30 A (4, 2) void* fpv_4_2 (void); | |
31 A (4, 3) void* fpv_4_3 (void); | |
32 | |
33 A (4, 4) void* fpv_4_3 (void); /* { dg-warning ".assume_aligned. attribute argument 4 is not in the range \\\[0, 3]" } */ | |
34 | |
35 A (4) void* gpv_4_3 (void); | |
36 A (2) void* gpv_4_3 (void); |