1// RUN: %clang_cc1 -fsyntax-only -verify %s -fno-lax-vector-conversions 2 3typedef float float4 __attribute__((vector_size(16))); 4typedef int int4 __attribute__((vector_size(16))); 5typedef int4* int4p; 6 7void test1(float4 a, int4 *result, int i) { 8 result[i] = a; // expected-error {{assigning to 'int4' (vector of 4 'int' values) from incompatible type 'float4' (vector of 4 'float' values)}} 9} 10 11void test2(float4 a, int4p result, int i) { 12 result[i] = a; // expected-error {{assigning to 'int4' (vector of 4 'int' values) from incompatible type 'float4' (vector of 4 'float' values)}} 13} 14 15// PR2039 16typedef int a[5]; 17void test3() { 18 typedef const a b; 19 b r; 20 r[0]=10; // expected-error {{read-only variable is not assignable}} 21} 22 23int test4(const a y) { 24 y[0] = 10; // expected-error {{read-only variable is not assignable}} 25} 26 27