1void a1() { float[-2]; } 2void b1() { float[-1]; } 3void c1() { float[0]; } 4void d1() { float[1.5]; } 5void e1() { float[4000000000]; } 6void f1() { float[true]; } 7void g1() { float[false]; } 8void h1() { float[int2(2, 2)]; } 9void i1() { float[]; } 10void j1() { float[int3(4000000000)]; } 11void k1() { float[int(1e20)]; } 12 13void a2() { float x[-2]; } 14void b2() { float x[-1]; } 15void c2() { float x[0]; } 16void d2() { float x[1.5]; } 17void e2() { float x[4000000000]; } 18void f2() { float x[true]; } 19void g2() { float x[false]; } 20void h2() { float x[int2(2, 2)]; } 21void i2() { float x[]; } 22void j2() { float x[int3(4000000000)]; } 23void k2() { float x[int(1e20)]; } 24 25/*%%* 26array size must be positive 27array size must be positive 28array size must be positive 29expected 'int', but found 'float' 30value is out of range for type 'int': 4000000000 31array size must be positive 32expected 'int', but found 'bool' 33expected 'int', but found 'bool' 34expected 'int', but found 'int2' 35missing index in '[]' 36value is out of range for type 'int': 4000000000 37value is out of range for type 'int': 100000002004087734272 38array size must be positive 39array size must be positive 40array size must be positive 41array size must be an integer 42array size out of bounds 43array size must be an integer 44array size must be an integer 45array size must be an integer 46unsized arrays are not permitted here 47value is out of range for type 'int': 4000000000 48value is out of range for type 'int': 100000002004087734272 49*%%*/ 50