190 lines · plain
1// Test the FIR types parser diagnostics2// RUN: fir-opt -split-input-file -verify-diagnostics %s3 4// expected-error@+1 {{expected non-function type}}5func.func private @box3() -> !fir.boxproc<>6 7// -----8 9// expected-error@+1 {{expected non-function type}}10func.func private @box1() -> !fir.box<>11 12// -----13 14// expected-error@+1 {{expected integer value}}15func.func private @box2() -> !fir.boxchar<>16 17// -----18 19// expected-error@+1 {{expected integer value}}20func.func private @it6() -> !fir.char<>21 22// -----23 24// expected-error@+1 {{expected integer value}}25func.func private @it6() -> !fir.char<2, >26 27// -----28 29// expected-error@+1 {{expected non-function type}}30func.func private @mem3() -> !fir.heap<>31 32// -----33 34// expected-error@+1 {{expected integer value}}35func.func private @it1() -> !fir.int<A>36 37// -----38 39// expected-error@+1 {{expected integer value}}40func.func private @it1() -> !fir.logical<b>41 42// -----43 44// expected-error@+1 {{expected non-function type}}45func.func private @mem3() -> !fir.ptr<>46 47// -----48 49// expected-error@+1 {{expected valid keyword}}50func.func private @mem3() -> !fir.type<>51 52// -----53 54// expected-error@+2 {{expected valid keyword}}55// expected-error@+1 {{expected LEN parameter list}}56func.func private @dvd4() -> !fir.type<derived4()>57 58// -----59 60// expected-error@+2 {{expected ':'}}61// expected-error@+1 {{expected LEN parameter list}}62func.func private @dvd4() -> !fir.type<derived4(p)>63 64// -----65 66// expected-error@+2 {{expected non-function type}}67// expected-error@+1 {{expected LEN parameter list}}68func.func private @dvd4() -> !fir.type<derived4(p:)>69 70// -----71 72// expected-error@+2 {{expected valid keyword}}73// expected-error@+1 {{expected field type list}}74func.func private @dvd4() -> !fir.type<derived4(p:i8){}>75 76// -----77 78// expected-error@+2 {{expected ':'}}79// expected-error@+1 {{expected field type list}}80func.func private @dvd4() -> !fir.type<derived4(p:i8){f1}>81 82// -----83 84// expected-error@+2 {{expected non-function type}}85// expected-error@+1 {{expected field type list}}86func.func private @dvd4() -> !fir.type<derived4(p:i8){f1:f2}>87 88// -----89 90// expected-error@+2 {{expected valid keyword}}91// expected-error@+1 {{expected field type list}}92func.func private @dvd4() -> !fir.type<derived4(p:i8){f1:i32,}>93 94// -----95 96// expected-error@+2 {{expected valid keyword}}97// expected-error@+1 {{expected field type list}}98func.func private @dvd4() -> !fir.type<derived4(p:i8){,}>99 100// -----101 102// expected-error@+1 {{expected non-function type}}103func.func private @mem3() -> !fir.ref<>104 105// -----106 107// expected-error@+1 {{expected non-function type}}108func.func private @mem3() -> !fir.ref<, volatile>109 110// -----111 112// expected-error@+1 {{expected ':'}}113func.func private @arr1() -> !fir.array<*>114 115// -----116 117// expected-error@+1 {{expected non-function type}}118func.func private @arr1() -> !fir.array<*:>119 120// -----121 122// expected-error@+1 {{expected integer value}}123func.func private @oth1() -> !fir.shape<>124 125// -----126 127// expected-error@+1 {{expected integer value}}128func.func private @oth1() -> !fir.shapeshift<>129 130// -----131 132// expected-error@+1 {{expected integer value}}133func.func private @oth1() -> !fir.shift<>134 135// -----136 137// expected-error@+1 {{expected integer value}}138func.func private @oth1() -> !fir.slice<>139 140// -----141 142// expected-error@+1 {{expected non-function type}}143func.func private @oth3() -> !fir.tdesc<xx>144 145// -----146 147// expected-error@+1 {{expected integer value}}148func.func private @oth3() -> !fir.vector<>149 150// -----151 152// expected-error@+1 {{expected ':'}}153func.func private @oth3() -> !fir.vector<10>154 155// -----156 157// expected-error@+1 {{expected non-function type}}158func.func private @oth3() -> !fir.vector<10:>159 160// -----161 162// expected-error@+1 {{invalid element type}}163func.func private @upe() -> !fir.class<!fir.box<i32>>164 165// -----166 167// expected-error@+1 {{invalid element type}}168func.func private @upe() -> !fir.box<!fir.class<none>>169 170// -----171 172// expected-error@+1 {{invalid element type}}173func.func private @upe() -> !fir.box<!fir.class<none>, volatile>174 175// -----176 177// expected-error@+1 {{invalid element type}}178func.func private @upe() -> !fir.class<!fir.box<i32>>179 180// -----181 182// expected-error@+1 {{invalid element type}}183func.func private @upe() -> !fir.class<!fir.box<i32>, volatile>184 185// -----186 187// expected-error@+1 {{expected non-function type}}188func.func private @upe() -> !fir.class<, volatile>189 190