35 lines · plain
1// RUN: %clang_cc1 -fsyntax-only -pedantic -verify %s -fexperimental-new-constant-interpreter2 3typedef int int2 __attribute__((ext_vector_type(2)));4typedef int int3 __attribute__((ext_vector_type(3)));5typedef int int4 __attribute__((ext_vector_type(4)));6typedef int int8 __attribute__((ext_vector_type(8)));7typedef int int16 __attribute__((ext_vector_type(16)));8 9void foo(int3 arg1, int8 arg2) {10 int4 auto1;11 int16 *auto2;12 int auto3;13 int2 auto4;14 struct S *incomplete1;15 16 int res1[vec_step(arg1) == 4 ? 1 : -1];17 int res2[vec_step(arg2) == 8 ? 1 : -1];18 int res3[vec_step(auto1) == 4 ? 1 : -1];19 int res4[vec_step(*auto2) == 16 ? 1 : -1];20 int res5[vec_step(auto3) == 1 ? 1 : -1];21 int res6[vec_step(auto4) == 2 ? 1 : -1];22 int res7[vec_step(int2) == 2 ? 1 : -1];23 int res8[vec_step(int3) == 4 ? 1 : -1];24 int res9[vec_step(int4) == 4 ? 1 : -1];25 int res10[vec_step(int8) == 8 ? 1 : -1];26 int res11[vec_step(int16) == 16 ? 1 : -1];27 int res12[vec_step(void) == 1 ? 1 : -1];28 29 int res13 = vec_step(*incomplete1); // expected-error {{'vec_step' requires built-in scalar or vector type, '__private struct S' invalid}}30 int res14 = vec_step(int16*); // expected-error {{'vec_step' requires built-in scalar or vector type, '__private int16 *' invalid}}31 int res15 = vec_step(void(void)); // expected-error {{'vec_step' requires built-in scalar or vector type, 'void (void)' invalid}}32 33 int res_no_effect = vec_step(auto3++); // expected-warning {{expression with side effects has no effect in an unevaluated context}}34}35