blob: 16d71da60080c6f248291858c4855405e3c82924 [file] [log] [blame]
David Majnemer51169932016-10-31 05:37:48 +00001// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3void test1(int a) {
4 __builtin_alloca_with_align(a, 32);
5}
6
7void test2(int a) {
8 __builtin_alloca_with_align(a, -32); // expected-error {{requested alignment is not a power of 2}}
9}
10
11void test3(unsigned *b) {
12 __builtin_alloca_with_align(b, 32); // expected-warning {{incompatible pointer to integer conversion passing 'unsigned int *' to parameter of type}}
13}
14
15void test4(int a) {
16 __builtin_alloca_with_align(a, 32, 0); // expected-error {{too many arguments to function call, expected 2, have 3}}
17}
18
19void test5(int a) {
20 __builtin_alloca_with_align(a, 31); // expected-error {{requested alignment is not a power of 2}}
21}
22
23void test6(int a, int j) {
24 __builtin_alloca_with_align(a, j); // expected-error {{must be a constant integer}}
25}
26
27void test7(int a) {
28 __builtin_alloca_with_align(a, 2); // expected-error {{requested alignment must be 8 or greater}}
29}
David Majnemer86b1bfa2016-10-31 18:07:57 +000030
31void test8() {
32 __builtin_alloca_with_align(sizeof(__INT64_TYPE__), __alignof__(__INT64_TYPE__)); // expected-warning {{second argument to __builtin_alloca_with_align is supposed to be in bits}}
33}