flang/test/Fir/invalid-types.fir

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