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