| /* PR middle-end/69780 - [4.9/5/6 Regression] ICE on |
| __builtin_alloca_with_align with small alignment */ |
| /* { dg-do compile } */ |
| /* { dg-require-effective-target alloca } */ |
| /* { dg-options "-Wno-long-long" } */ |
| |
| #define CHAR_BIT __CHAR_BIT__ |
| #define SIZE_MAX __SIZE_MAX__ |
| #define UINT_MAX (__INT_MAX__ + 1U) |
| |
| /* The largest valid alignment is undocumented and subject to change |
| but for the purposes of white box testing we rely on knowing that |
| it happens to be defined to (UINT_MAX >> 1) + 1. */ |
| #define ALIGN_MAX ((UINT_MAX >> 1) + 1) |
| |
| #if UINT_MAX < SIZE_MAX |
| /* Define a constant to exercise an alignment that is valid a power |
| of 2 in excess of the maximum. */ |
| # define MAX_X_2 (ALIGN_MAX << 1) |
| #else |
| /* For targets where UINT_MAX is the same as SIZE_MAX, use an invalid |
| alignment that's less than the maximum to elicit the same errors. */ |
| # define MAX_X_2 (ALIGN_MAX + 1) |
| #endif |
| |
| static void* p; |
| |
| /* Verify that valid __builtin_alloca_with_align expressions are accepted. */ |
| void test_valid (int n) |
| { |
| enum { |
| A1 = CHAR_BIT * 1, |
| A2 = CHAR_BIT * 2, |
| A4 = CHAR_BIT * 4, |
| A8 = CHAR_BIT * 8, |
| A16 = CHAR_BIT * 16, |
| A32 = CHAR_BIT * 32 |
| }; |
| |
| /* Valid alignments are power of 2 positive multiples of CHAR_BIT. */ |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 1); |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 2); |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 4); |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 8); |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 16); |
| p = __builtin_alloca_with_align (n, CHAR_BIT * 32); |
| |
| p = __builtin_alloca_with_align (n, A1); |
| p = __builtin_alloca_with_align (n, A2); |
| p = __builtin_alloca_with_align (n, A4); |
| p = __builtin_alloca_with_align (n, A8); |
| p = __builtin_alloca_with_align (n, A16); |
| p = __builtin_alloca_with_align (n, A32); |
| } |
| |
| /* Non-integer alignments must be rejected. */ |
| void test_arg2_non_int (int n) |
| { |
| /* Verify the full text of the diagnostic just once. */ |
| p = __builtin_alloca_with_align (n, 0.0); /* { dg-error "second argument to function .__builtin_alloca_with_align. must be a constant integer power of 2 between .8. and " } */ |
| |
| /* Disable diagnostic complaining about converting void* to int that |
| preempts the "constant integer expression" error. */ |
| #pragma GCC diagnostic push |
| #pragma GCC diagnostic ignored "-Wint-conversion" |
| |
| p = __builtin_alloca_with_align (n, (void*)0); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, ""); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, L""); /* { dg-error "must be a constant integer" } */ |
| |
| #pragma GCC diagnostic pop |
| |
| } |
| |
| /* Integer alignment that's not a constant expression must be rejected. */ |
| void test_arg2_non_const (int n, int a1) |
| { |
| extern const int a2; |
| static const int a3 = CHAR_BIT; |
| static volatile const int a4 = CHAR_BIT; |
| |
| p = __builtin_alloca_with_align (n, a1); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, a2); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, a3); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, a4); /* { dg-error "must be a constant integer" } */ |
| } |
| |
| /* Constant integer alignment that's not a power of 2 positive multiple |
| of CHAR_BIT less than (1LLU << 32) must be rejected. */ |
| void test_arg2_non_pow2 (int n) |
| { |
| p = __builtin_alloca_with_align (n, 0); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 1); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 2); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 3); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 4); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 5); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 6); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 7); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 9); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 10); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 11); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 12); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 13); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 14); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 15); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 17); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 31); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 33); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 63); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, 65); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, SIZE_MAX); /* { dg-error "must be a constant integer" } */ |
| p = __builtin_alloca_with_align (n, MAX_X_2); /* { dg-error "must be a constant integer" } */ |
| } |