diff --git a/corpus/IR_config b/corpus/IR_config new file mode 100755 index 0000000000000000000000000000000000000000..b234045ca4c5c2d090e00ca90de589e0d3a70c5e --- /dev/null +++ b/corpus/IR_config @@ -0,0 +1,921 @@ +1 1 +3 2 3 0 3 +2 2 +3 3 0 2 3 +3 3 0 0 3 +3 11 +3 71 3 0 3 +3 65 3 0 3 +3 61 3 0 3 +3 123 3 0 3 +3 22 3 0 3 +3 23 3 0 3 +3 26 3 0 3 +3 4 3 0 3 +3 27 3 0 3 +3 37 3 0 3 +3 16 3 0 3 +4 2 +3 35 2 9 3 +3 35 2 12 3 +5 1 +3 196 3 34 3 +6 1 +3 158 3 5 3 +7 1 +3 173 3 6 3 +8 1 +3 269 3 7 3 +9 1 +3 13 1 8 3 +10 1 +3 162 3 158 3 +11 1 +3 25 1 10 3 +12 1 +3 13 3 11 3 +13 2 +3 0 3 0 3 +3 14 3 0 3 +14 2 +3 15 3 0 3 +3 15 3 14 3 +15 3 +4 0 3 0 3 +5 0 3 0 3 +6 0 3 0 3 +16 1 +7 269 3 17 3 +17 2 +3 18 3 0 3 +3 18 8 17 3 +18 18 +9 267 3 19 3 +11 82 10 0 3 +12 107 3 0 3 +13 267 3 20 3 +14 267 3 19 3 +15 267 3 0 3 +16 270 3 0 3 +17 0 3 0 3 +18 271 3 0 3 +19 270 3 0 3 +20 270 3 0 3 +22 267 21 206 10 +22 267 23 0 3 +22 267 24 104 3 +25 271 3 104 3 +26 269 3 0 3 +28 271 27 271 3 +29 267 27 267 3 +19 1 +3 85 3 21 3 +20 1 +3 267 3 19 3 +21 3 +3 0 3 0 3 +30 267 3 0 3 +31 0 3 0 3 +22 1 +18 271 32 269 3 +23 1 +33 24 3 25 3 +24 2 +3 0 3 0 3 +34 0 3 0 3 +25 2 +3 269 3 0 3 +3 269 8 25 3 +26 1 +35 24 3 25 3 +27 1 +3 35 36 33 3 +28 1 +3 196 3 34 3 +29 1 +3 158 3 28 3 +30 1 +3 57 3 29 3 +31 1 +3 162 24 30 3 +32 1 +3 60 3 31 3 +33 1 +3 36 3 32 3 +34 2 +3 0 3 0 3 +37 262 3 0 3 +35 2 +3 0 3 0 3 +3 201 3 0 3 +36 2 +3 0 3 0 3 +5 0 3 0 3 +37 3 +39 59 3 41 3 +39 59 3 44 3 +39 59 3 47 3 +38 1 +3 55 3 56 3 +39 1 +3 49 3 38 3 +40 1 +3 269 3 39 3 +41 1 +3 60 38 40 3 +42 1 +3 57 3 38 3 +43 1 +3 269 24 42 3 +44 1 +3 60 38 43 3 +45 1 +3 48 3 56 3 +46 1 +3 269 3 45 3 +47 1 +3 60 38 46 3 +48 2 +3 124 3 0 3 +40 170 10 124 3 +49 2 +41 50 3 0 3 +40 170 42 50 3 +50 2 +3 51 3 0 3 +3 51 8 50 3 +51 1 +40 52 10 0 3 +52 2 +3 0 3 0 3 +3 53 3 0 3 +53 2 +3 54 3 0 3 +3 54 8 53 3 +54 2 +3 206 3 0 3 +43 0 3 0 3 +55 2 +3 0 3 0 3 +44 269 3 169 3 +56 2 +3 0 3 0 3 +45 57 3 0 3 +57 2 +3 58 3 0 3 +3 58 8 57 3 +58 1 +3 257 46 54 3 +59 4 +3 0 3 0 3 +5 0 3 0 3 +47 0 3 0 3 +48 0 3 0 3 +60 2 +3 0 3 0 3 +6 0 3 0 3 +61 1 +50 64 49 63 3 +62 1 +3 269 40 117 10 +63 1 +3 271 32 62 3 +64 2 +3 0 3 0 3 +51 0 3 0 3 +65 1 +50 69 3 68 3 +66 1 +3 169 44 124 3 +67 1 +3 272 3 66 3 +68 1 +3 70 52 67 3 +69 2 +3 0 3 0 3 +53 0 3 0 3 +70 4 +3 0 3 0 3 +54 0 3 0 3 +55 0 3 0 3 +56 0 3 0 3 +71 2 +50 77 57 74 3 +50 77 57 76 3 +72 1 +3 82 10 79 3 +73 1 +3 269 40 72 3 +74 1 +3 78 3 73 3 +75 1 +3 269 3 80 3 +76 1 +3 78 3 75 3 +77 2 +3 0 3 0 3 +58 0 3 0 3 +78 2 +3 0 3 0 3 +59 0 3 0 3 +79 2 +3 0 3 0 3 +3 80 3 0 3 +80 2 +3 81 44 124 3 +44 124 3 0 3 +81 2 +60 0 3 0 3 +6 0 3 0 3 +82 2 +3 83 3 0 3 +3 83 8 82 3 +83 2 +3 84 3 0 3 +3 107 3 0 3 +84 1 +3 267 3 85 3 +85 1 +3 86 3 99 3 +86 3 +3 89 3 0 3 +3 88 3 0 3 +3 87 3 0 3 +87 13 +61 254 3 0 3 +62 254 3 0 3 +63 255 3 0 3 +64 255 3 0 3 +65 0 3 0 3 +66 0 3 0 3 +67 0 3 0 3 +68 0 3 0 3 +69 254 3 0 3 +70 0 3 0 3 +71 0 3 0 3 +72 0 3 0 3 +73 0 3 0 3 +88 2 +74 0 3 0 3 +75 0 3 0 3 +89 3 +3 95 3 96 3 +3 93 3 90 3 +3 92 3 91 3 +90 1 +3 94 3 96 3 +91 1 +3 252 3 96 3 +92 4 +76 0 3 0 3 +77 0 3 0 3 +78 0 3 0 3 +79 0 3 0 3 +93 2 +80 0 3 0 3 +81 0 3 0 3 +94 2 +3 0 3 0 3 +3 253 3 0 3 +95 5 +82 0 3 0 3 +83 0 3 0 3 +84 0 3 0 3 +85 0 3 0 3 +86 0 3 0 3 +96 2 +3 0 3 0 3 +3 97 3 0 3 +97 2 +3 98 3 0 3 +3 98 3 97 3 +98 3 +87 0 3 0 3 +88 0 3 0 3 +89 0 3 0 3 +99 2 +3 0 3 0 3 +3 100 3 0 3 +100 2 +3 101 3 0 3 +3 101 3 100 3 +101 3 +3 103 3 0 3 +3 102 3 0 3 +3 104 3 0 3 +102 1 +90 206 10 0 3 +103 1 +91 0 3 0 3 +104 2 +92 0 3 0 3 +93 0 3 0 3 +105 2 +3 0 3 0 3 +94 270 3 0 3 +106 1 +95 206 10 0 3 +107 4 +49 122 40 117 10 +3 105 3 109 3 +3 105 3 106 3 +3 105 96 111 3 +108 1 +3 122 40 117 10 +109 1 +3 121 3 108 3 +110 1 +3 116 10 112 3 +111 1 +3 122 40 110 3 +112 1 +97 269 40 113 3 +113 1 +3 170 10 114 3 +114 5 +3 0 3 0 3 +98 115 3 0 3 +99 115 3 0 3 +98 115 99 115 3 +99 115 98 115 3 +115 4 +100 0 3 0 3 +101 0 3 0 3 +102 0 3 0 3 +103 0 3 0 3 +116 2 +3 119 3 0 3 +3 119 8 116 3 +117 2 +3 118 3 0 3 +3 118 8 117 3 +118 2 +3 119 3 0 3 +40 206 10 148 3 +119 2 +3 267 3 148 3 +3 267 40 120 3 +120 1 +3 262 10 148 3 +121 2 +104 0 3 0 3 +51 0 3 0 3 +122 2 +3 0 3 0 3 +3 271 3 0 3 +123 1 +3 124 3 0 3 +124 2 +3 127 3 125 3 +3 201 3 126 3 +125 1 +3 196 3 198 3 +126 1 +3 127 3 125 3 +127 5 +3 129 3 0 3 +3 194 3 0 3 +3 127 105 128 3 +3 127 106 128 3 +3 127 107 128 3 +128 1 +3 195 3 127 3 +129 1 +3 130 3 0 3 +130 1 +108 191 3 135 3 +131 1 +3 155 3 136 3 +132 1 +3 156 3 131 3 +133 1 +3 158 3 132 3 +134 1 +3 160 3 133 3 +135 1 +3 188 3 134 3 +136 2 +3 0 3 0 3 +109 137 3 0 3 +137 2 +3 138 3 0 3 +3 138 8 137 3 +138 1 +3 268 44 139 3 +139 1 +40 140 10 0 3 +140 1 +3 143 3 142 3 +141 1 +3 145 3 149 3 +142 1 +3 144 3 141 3 +143 2 +3 0 3 0 3 +3 268 3 0 3 +144 2 +3 0 3 0 3 +110 205 3 0 3 +145 2 +3 0 3 0 3 +111 146 3 0 3 +146 2 +3 147 3 0 3 +3 147 8 146 3 +147 1 +3 206 3 148 3 +148 3 +3 0 3 0 3 +112 0 3 0 3 +113 0 3 0 3 +149 2 +3 0 3 0 3 +3 150 3 151 3 +150 2 +114 0 3 0 3 +115 0 3 0 3 +151 2 +3 152 3 0 3 +3 153 3 0 3 +152 3 +116 0 3 0 3 +3 262 117 0 3 +118 0 3 0 3 +153 1 +120 152 119 154 3 +154 3 +3 152 3 0 3 +121 0 3 0 3 +3 262 122 0 3 +155 2 +3 0 3 0 3 +123 206 3 0 3 +156 2 +3 0 3 0 3 +124 205 3 157 3 +157 2 +3 0 3 0 3 +125 0 3 0 3 +158 2 +3 0 3 0 3 +3 159 3 0 3 +159 1 +126 206 3 0 3 +160 2 +3 0 3 0 3 +3 161 3 0 3 +161 1 +1 162 3 0 3 +162 2 +3 163 3 0 3 +3 163 8 162 3 +163 2 +3 164 3 0 3 +3 174 3 0 3 +164 4 +3 172 3 0 3 +3 167 3 0 3 +3 166 3 0 3 +3 165 3 0 3 +165 1 +40 163 8 162 10 +166 1 +40 174 10 0 3 +167 2 +3 171 44 168 3 +127 171 44 168 3 +168 1 +3 266 3 169 3 +169 2 +3 0 3 0 3 +40 170 10 0 3 +170 2 +3 267 3 0 3 +3 267 8 170 3 +171 1 +3 194 3 0 3 +172 1 +3 269 3 173 3 +173 2 +3 0 3 0 3 +44 266 3 0 3 +174 6 +3 163 3 176 3 +3 163 3 178 3 +3 163 3 179 3 +3 163 3 180 3 +3 163 3 181 3 +3 163 3 182 3 +175 1 +3 163 32 206 3 +176 1 +3 183 3 175 3 +177 1 +3 163 128 170 10 +178 1 +3 183 3 177 3 +179 1 +3 187 3 175 3 +180 1 +3 187 3 177 3 +181 1 +3 183 3 163 3 +182 1 +3 184 3 164 3 +183 4 +129 0 3 0 3 +130 0 3 0 3 +131 0 3 0 3 +132 0 3 0 3 +184 3 +133 185 129 0 3 +134 186 129 0 3 +135 186 129 0 3 +185 2 +3 0 3 0 3 +136 0 3 0 3 +186 2 +3 0 3 0 3 +137 0 3 0 3 +187 2 +138 186 129 0 3 +139 186 129 0 3 +188 2 +3 189 3 0 3 +3 189 8 188 3 +189 2 +3 190 3 0 3 +3 206 3 173 3 +190 2 +140 0 3 0 3 +3 269 141 0 3 +191 2 +3 0 3 0 3 +3 192 3 0 3 +192 2 +3 193 3 0 3 +3 193 3 192 3 +193 9 +142 0 3 0 3 +132 0 3 0 3 +48 0 3 0 3 +143 0 3 0 3 +144 0 3 0 3 +145 0 3 0 3 +146 0 3 0 3 +147 0 3 0 3 +148 0 3 0 3 +194 2 +40 194 10 0 3 +40 124 10 0 3 +195 3 +3 0 3 0 3 +143 0 3 0 3 +148 0 3 0 3 +196 2 +3 0 3 0 3 +3 197 3 0 3 +197 1 +111 146 3 0 3 +198 2 +3 0 3 0 3 +3 199 3 0 3 +199 1 +37 200 3 0 3 +200 2 +3 262 3 0 3 +3 262 8 262 3 +201 2 +149 202 3 0 3 +150 202 3 0 3 +202 2 +3 203 3 0 3 +3 203 8 202 3 +203 1 +3 269 3 204 3 +204 1 +3 169 44 171 3 +205 2 +3 206 3 0 3 +3 206 8 205 3 +206 1 +3 207 3 0 3 +207 11 +3 207 151 207 3 +3 207 152 207 3 +3 207 119 207 3 +153 207 3 0 3 +3 208 154 0 3 +3 208 155 0 3 +3 208 156 0 3 +3 208 157 0 3 +3 208 158 0 3 +3 208 159 0 3 +3 208 3 0 3 +208 5 +3 208 160 0 3 +3 208 161 0 3 +3 208 3 209 3 +3 208 3 210 3 +3 211 3 0 3 +209 1 +3 258 3 211 3 +210 1 +3 258 3 259 3 +211 13 +3 214 3 260 3 +3 214 162 207 10 +3 214 162 212 3 +3 214 163 207 10 +3 214 163 212 3 +3 214 120 213 3 +3 214 164 213 3 +3 214 165 214 3 +3 214 166 215 3 +3 214 167 215 3 +3 214 168 214 3 +3 214 169 214 3 +3 214 3 0 3 +212 1 +3 207 8 261 10 +213 1 +3 214 119 211 3 +214 11 +3 214 170 214 3 +3 214 171 214 3 +3 214 172 214 3 +3 214 173 214 3 +3 214 174 214 3 +3 214 175 214 3 +3 214 140 214 3 +3 214 176 214 3 +3 214 177 214 3 +3 214 178 214 3 +3 215 3 0 3 +215 15 +3 257 3 0 3 +3 256 3 0 3 +3 262 3 0 3 +3 263 3 0 3 +3 264 3 0 3 +174 215 3 0 3 +175 215 3 0 3 +179 215 3 0 3 +3 171 3 0 3 +180 171 3 0 3 +3 250 3 0 3 +3 244 3 0 3 +90 257 10 0 3 +3 216 3 0 3 +40 207 10 0 3 +216 5 +3 242 3 0 3 +3 221 3 0 3 +3 217 3 0 3 +3 232 3 0 3 +3 223 3 0 3 +217 44 +181 207 10 0 3 +182 207 10 0 3 +183 207 10 0 3 +184 207 10 0 3 +185 207 10 0 3 +186 207 10 0 3 +187 207 10 0 3 +188 207 10 0 3 +189 207 10 0 3 +190 207 10 0 3 +191 207 10 0 3 +192 207 10 0 3 +193 207 10 0 3 +194 207 10 0 3 +195 207 10 0 3 +196 207 10 0 3 +197 207 10 0 3 +198 207 10 0 3 +199 207 8 207 10 +200 207 8 207 10 +201 207 8 207 10 +202 207 8 207 10 +203 207 8 207 10 +204 207 8 207 10 +205 207 8 207 10 +206 207 1 207 10 +207 207 1 207 10 +194 207 1 207 10 +208 207 8 218 3 +202 207 8 218 3 +209 207 8 218 3 +210 207 8 218 3 +211 207 8 218 3 +205 207 8 218 3 +212 207 8 218 3 +208 207 8 219 3 +213 207 8 219 3 +208 207 8 220 3 +214 261 10 0 3 +215 261 10 0 3 +216 207 8 261 10 +217 207 8 261 10 +218 207 8 261 10 +219 207 8 261 10 +218 1 +3 207 8 207 10 +219 1 +3 207 8 218 3 +220 1 +3 207 8 219 3 +221 29 +220 0 3 0 3 +221 0 3 0 3 +222 207 10 0 3 +223 207 10 0 3 +224 207 10 0 3 +225 207 10 0 3 +226 207 10 0 3 +227 207 10 0 3 +228 207 10 0 3 +229 207 10 0 3 +230 207 10 0 3 +231 207 10 0 3 +232 207 10 0 3 +233 207 10 0 3 +234 207 10 0 3 +235 207 10 0 3 +236 207 10 0 3 +237 207 10 0 3 +238 207 10 0 3 +239 207 10 0 3 +240 207 10 0 3 +225 207 8 207 10 +241 207 8 207 10 +242 207 8 207 10 +243 207 8 207 10 +244 207 8 207 10 +236 207 8 207 10 +245 207 8 207 10 +246 207 8 222 3 +222 1 +3 207 8 207 10 +223 11 +247 240 3 0 3 +248 240 3 0 3 +249 240 3 0 3 +250 240 3 0 3 +251 240 3 0 3 +252 262 10 240 3 +253 207 3 225 3 +254 207 3 225 3 +255 207 10 224 3 +256 207 10 224 3 +257 207 8 227 3 +224 1 +3 228 3 240 3 +225 1 +3 230 10 224 3 +226 1 +3 229 3 224 3 +227 1 +3 262 10 226 3 +228 3 +3 0 3 0 3 +258 0 3 0 3 +259 0 3 0 3 +229 3 +3 0 3 0 3 +260 0 3 0 3 +261 0 3 0 3 +230 2 +3 0 3 0 3 +3 231 3 0 3 +231 2 +8 262 3 0 3 +8 262 8 207 3 +232 15 +262 238 3 233 3 +263 207 10 239 3 +264 207 10 239 3 +265 207 10 239 3 +266 239 3 0 3 +267 207 10 239 3 +268 261 10 239 3 +269 238 3 233 3 +270 238 3 233 3 +271 238 3 233 3 +272 207 10 239 3 +273 207 10 239 3 +274 207 10 239 3 +275 207 10 239 3 +276 238 3 236 3 +233 1 +3 207 10 239 3 +234 1 +3 237 10 239 3 +235 1 +3 196 3 234 3 +236 1 +3 261 3 235 3 +237 2 +3 0 3 0 3 +277 264 3 0 3 +238 2 +3 0 3 0 3 +143 0 3 0 3 +239 2 +3 0 3 0 3 +3 240 3 0 3 +240 1 +278 241 3 0 3 +241 2 +3 268 3 0 3 +3 139 3 0 3 +242 3 +279 207 8 243 3 +280 207 8 207 10 +281 207 8 207 10 +243 1 +3 207 8 207 10 +244 1 +283 248 3 245 3 +245 1 +3 246 3 249 282 +246 2 +3 247 3 0 3 +3 247 3 246 3 +247 1 +285 207 284 207 3 +248 2 +3 0 3 0 3 +3 207 3 0 3 +249 2 +3 0 3 0 3 +286 207 3 0 3 +250 2 +287 207 44 251 10 +288 207 8 251 10 +251 8 +62 254 3 0 3 +61 254 3 0 3 +289 254 3 0 3 +87 0 3 0 3 +88 0 3 0 3 +77 252 3 0 3 +80 0 3 0 3 +76 254 3 0 3 +252 3 +3 0 3 0 3 +3 255 3 0 3 +3 253 3 0 3 +253 1 +40 262 8 262 10 +254 2 +3 0 3 0 3 +3 255 3 0 3 +255 1 +40 262 10 0 3 +256 3 +290 0 3 0 3 +291 0 3 0 3 +292 0 3 0 3 +257 2 +3 267 3 0 3 +3 269 293 267 3 +258 6 +46 0 3 0 3 +294 0 3 0 3 +295 0 3 0 3 +296 0 3 0 3 +297 0 3 0 3 +298 0 3 0 3 +259 3 +148 171 3 0 3 +299 171 3 0 3 +300 171 3 0 3 +260 2 +301 171 3 0 3 +302 171 3 0 3 +261 2 +3 207 3 0 3 +3 207 8 261 3 +262 1 +3 0 3 0 3 +263 1 +3 0 3 0 3 +264 1 +3 0 3 0 3 +265 1 +3 0 3 0 3 +266 1 +3 265 3 0 3 +267 1 +3 265 3 0 3 +268 1 +3 265 3 0 3 +269 1 +3 265 3 0 3 +270 1 +3 265 3 0 3 +271 1 +3 265 3 0 3 +272 1 +3 265 3 0 3 diff --git a/corpus/initlib/init_lib b/corpus/initlib/init_lib new file mode 100755 index 0000000000000000000000000000000000000000..0f64f085c538c2efbc3d520b49e13f032cbc93d1 --- /dev/null +++ b/corpus/initlib/init_lib @@ -0,0 +1,174 @@ +CREATE TABLE t0 ( c0 INT UNSIGNED NOT NULL) ; +CREATE TABLE t0 ( c0 DOUBLE ( 1 , 1) VISIBLE ) ; +CREATE TABLE t0 ( c0 DECIMAL ( 1 ) DEFAULT ( 1 ) ) ; +CREATE TABLE t0 ( c0 BOOL ) ; +CREATE TABLE t0 ( c0 CHAR ) ; +CREATE TABLE t0 ( c0 INT , INDEX i0 ( c0 ASC ) ) ; +CREATE TABLE t0 ( c0 TEXT , INDEX i0 ( c0 ( 1 ) ) ) ; +CREATE TABLE t0 ( c0 INT , INDEX i0 ( ( c0 + 1 ) ) ) ; +CREATE TABLE t0 ( c0 INT , CONSTRAINT cc0 UNIQUE i0 ( c0 ) ) ; +CREATE TABLE t0 ( c0 INT , CONSTRAINT cc0 CHECK ( c0 = 1 ) ) ; +CREATE TABLE t0 ( c0 INT , c1 INT , UNIQUE ( c1 ) , CONSTRAINT cc0 FOREIGN KEY i0 ( c0 ) REFERENCES t0 ( c1 ) ON UPDATE CASCADE ON DELETE CASCADE ) ; +CREATE TABLE t0 REPLACE AS SELECT 1 ; +CREATE OR REPLACE ALGORITHM = TEMPTABLE VIEW v0 ( c0 , c1 ) AS SELECT 1 , 2 ; +CREATE UNIQUE INDEX i0 ON t0 ( c0 ) ; +DROP INDEX i0 ON t0 ; +DROP TABLE IF EXISTS t0 , t1 ; +DROP VIEW IF EXISTS v0 , v1 ; +DELETE QUICK FROM t0 LIMIT 1 ; +DELETE t0 FROM t0 ; +UPDATE t0 SET c0 = 1 ; +INSERT INTO t0 ( c0 ) VALUES ( 1 ) AS t1 ( c1 ) ON DUPLICATE KEY UPDATE c0 = 1 ; +INSERT INTO t0 SET c0 = 1 ; +INSERT INTO t0 ( c1 ) SELECT 1 ; +ALTER TABLE t0 ADD COLUMN c1 INT AFTER c0 ; +ALTER TABLE t0 ADD COLUMN ( c1 INT , UNIQUE ( c1 ) ) ; +ALTER TABLE t0 ADD UNIQUE ( c0 ) ; +ALTER TABLE t0 CHANGE COLUMN c0 c1 INT ; +ALTER TABLE t0 MODIFY COLUMN c0 INT FIRST; +ALTER TABLE t0 DROP COLUMN c0 ; +ALTER TABLE t0 DROP FOREIGN KEY cc0 ; +ALTER TABLE t0 DROP PRIMARY KEY ; +ALTER TABLE t0 DROP INDEX i0 ; +ALTER TABLE t0 DROP CHECK cc0 ; +ALTER TABLE t0 DROP CONSTRAINT cc0 ; +ALTER TABLE t0 ALTER COLUMN c0 SET DEFAULT ( 1 ) ; +ALTER TABLE t0 ALTER COLUMN c0 DROP DEFAULT ; +ALTER TABLE t0 ALTER COLUMN c0 SET INVISIBLE ; +ALTER TABLE t0 ALTER INDEX i0 INVISIBLE ; +ALTER TABLE t0 RENAME TO t1 ; +ALTER TABLE t0 RENAME INDEX i0 TO i1 ; +ALTER TABLE t0 RENAME COLUMN c0 TO c1 ; +SELECT c0 FROM t0 ORDER BY c0 LIMIT 1 ; +( SELECT c0 FROM t0 ) ORDER BY c0 LIMIT 1 ; +SELECT c0 FROM t0 UNION SELECT c0 FROM t0 ; +SELECT SQL_NO_CACHE c0 AS c1 FROM ( SELECT c0 FROM t0 ) AS t1 ( c2 ) WHERE c1 = 0 GROUP BY c1 HAVING c1 = 0 ; +SELECT c0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 RANGE BETWEEN UNBOUNDED PRECEDING AND UNBOUNDED FOLLOWING ) ; +SELECT t0 . c0 FROM ( t0 CROSS JOIN t0 AS t1 ) ; +SELECT t0 . c0 FROM ( t0 , t0 AS t1 ) ; +SELECT t0 . c0 FROM t0 INNER JOIN t0 AS t1 ON t0 . c0 = t1 . c0 ; +SELECT t0 . c0 FROM t0 INNER JOIN t0 AS t1 USING ( c0 ) ; +SELECT t0 . c0 FROM t0 INNER JOIN t0 AS t1 ; +SELECT t0 . c0 FROM t0 LEFT OUTER JOIN t0 AS t1 ON t0 . c0 = t0 . c1 ; +SELECT t0 . c0 FROM t0 NATURAL INNER JOIN t0 AS t1 ; +WITH t1 ( c1 ) AS ( SELECT 1 ) SELECT c1 FROM t1 ; +WITH RECURSIVE t1 ( c1 ) AS ( SELECT 1 UNION SELECT c1 + 1 FROM t1 WHERE c1 < 10 ) SELECT c1 FROM t1 ; +SELECT * FROM t0 ; +SELECT c0 = ( SELECT c0 FROM t0 LIMIT 1 ) FROM t0 ; +SELECT c0 = ALL ( SELECT c0 FROM t0 ) FROM t0 ; +SELECT c0 IN ( SELECT c0 FROM t0 ) FROM t0 ; +SELECT TRUE ; +SELECT 1 ; +SELECT 1.1 ; +SELECT 'string' ; +SELECT CAST ( c0 AS UNSIGNED ) FROM t0 ; +SELECT CONVERT ( c0 , UNSIGNED ) FROM t0 ; +SELECT CASE c0 WHEN 1 THEN 1 ELSE 2 END FROM t0 ; +SELECT DEFAULT ( c0 ) FROM t0 ; +SELECT IF ( c0 , c0 , 1 ) FROM t0 ; +SELECT IFNULL ( c0 , 1 ) FROM t0 ; +SELECT NULLIF ( c0 , 1 ) FROM t0 ; +SELECT PI ( ) ; +SELECT RAND ( ) ; +SELECT ABS ( c0 ) FROM t0 ; +SELECT ACOS ( c0 ) FROM t0 ; +SELECT ASIN ( c0 ) FROM t0 ; +SELECT ATAN ( c0 ) FROM t0 ; +SELECT CEILING ( c0 ) FROM t0 ; +SELECT COS ( c0 ) FROM t0 ; +SELECT COT ( c0 ) FROM t0 ; +SELECT DEGREES ( c0 ) FROM t0 ; +SELECT EXP ( c0 ) FROM t0 ; +SELECT FLOOR ( c0 ) FROM t0 ; +SELECT HEX ( c0 ) FROM t0 ; +SELECT LN ( c0 ) FROM t0 ; +SELECT RADIANS ( c0 ) FROM t0 ; +SELECT RAND ( c0 ) FROM t0 ; +SELECT ROUND ( c0 ) FROM t0 ; +SELECT SIGN ( c0 ) FROM t0 ; +SELECT SIN ( c0 ) FROM t0 ; +SELECT SQRT ( c0 ) FROM t0 ; +SELECT TAN ( c0 ) FROM t0 ; +SELECT ATAN ( 1 , 1 ); +SELECT FORMAT ( 1 , 1 ); +SELECT LOG ( 1 , 1 ); +SELECT MOD ( 1 , 1 ); +SELECT POW ( 1 , 1 ); +SELECT ROUND ( 1 , 1 ); +SELECT TRUNCATE ( 1 , 1 ); +SELECT CONV ( 1 , 1 , 1 ) ; +SELECT ASCII ( c0 ) FROM t0 ; +SELECT BIN ( c0 ) FROM t0 ; +SELECT BIT_LENGTH ( c0 ) FROM t0 ; +SELECT CHAR_LENGTH ( c0 ) FROM t0 ; +SELECT LENGTH ( c0 ) FROM t0 ; +SELECT LOWER ( c0 ) FROM t0 ; +SELECT LTRIM ( c0 ) FROM t0 ; +SELECT OCT ( c0 ) FROM t0 ; +SELECT ORD ( c0 ) FROM t0 ; +SELECT QUOTE ( c0 ) FROM t0 ; +SELECT REVERSE ( c0 ) FROM t0 ; +SELECT RTRIM ( c0 ) FROM t0 ; +SELECT SPACE ( c0 ) FROM t0 ; +SELECT TRIM( c0 ) FROM t0 ; +SELECT TRIM( LEADING FROM c0 ) FROM t0 ; +SELECT TRIM( TRAILING FROM c0 ) FROM t0 ; +SELECT UNHEX ( c0 ) FROM t0 ; +SELECT UPPER ( c0 ) FROM t0 ; +SELECT FIND_IN_SET ( c0 , 'str' ) FROM t0 ; +SELECT INSTR ( c0 , 'str' ) FROM t0 ; +SELECT LEFT ( c0 , 'str' ) FROM t0 ; +SELECT LOCATE ( c0 , 'str' ) FROM t0 ; +SELECT REPEAT ( c0 , 'str' ) FROM t0 ; +SELECT RIGHT ( c0 , 'str' ) FROM t0 ; +SELECT SUBSTRING( c0 , 'str' ) FROM t0 ; +SELECT TRIM( LEADING c0 FROM 'str' ) FROM t0 ; +SELECT TRIM( TRAILING c0 FROM 'str' ) FROM t0 ; +SELECT TRIM( c0 FROM 'str' ) FROM t0 ; +SELECT EXPORT_SET ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT LOCATE ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT LPAD ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT REPLACE ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT RPAD ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT SUBSTRING( c0 , 'str' , 'str' ) FROM t0 ; +SELECT SUBSTRING_INDEX ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT EXPORT_SET ( c0 , 'str' , 'str' , 'str' ) FROM t0 ; +SELECT INSERT ( c0 , 'str' , 'str' , 'str' ) FROM t0 ; +SELECT EXPORT_SET ( c0 , 'str' , 'str' , 'str' , 'str' ) FROM t0 ; +SELECT CHAR ( c0 , 'str' ) FROM t0 ; +SELECT CONCAT ( c0 , 'str' ) FROM t0 ; +SELECT CONCAT_WS ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT ELT ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT FIELD ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT MAKE_SET ( c0 , 'str' , 'str' ) FROM t0 ; +SELECT AVG ( c0 ) FROM t0 ; +SELECT BIT_AND( c0 ) FROM t0 ; +SELECT BIT_OR( c0 ) FROM t0 ; +SELECT BIT_XOR( c0 ) FROM t0 ; +SELECT COUNT( * ) FROM t0 ; +SELECT COUNT( c0 ) FROM t0 ; +SELECT COUNT( DISTINCT c0 , 1 ) FROM t0 ; +SELECT MIN( c0 ) FROM t0 ; +SELECT MAX( c0 ) FROM t0 ; +SELECT SUM( c0 ) FROM t0 ; +SELECT STD( c0 ) FROM t0 ; +SELECT STDDEV_SAMP( c0 ) FROM t0 ; +SELECT VARIANCE( c0 ) FROM t0 ; +SELECT VAR_SAMP( c0 ) FROM t0 ; +SELECT GROUP_CONCAT( c0 , 1 ORDER BY c0 SEPARATOR ',' ) FROM t0 ; +SELECT ROW_NUMBER ( ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT RANK ( ) OVER ( PARTITION BY c0 ) FROM t0 ; +SELECT DENSE_RANK ( ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT CUME_DIST ( ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT PERCENT_RANK ( ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT NTILE ( 1 ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT LEAD ( c0 , 1 ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT LAG ( c0 , 1 ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT FIRST_VALUE ( c0 ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT LAST_VALUE ( c0 ) OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT NTH_VALUE ( c0 , 1 ) FROM FIRST RESPECT NULLS OVER w0 FROM t0 WINDOW w0 AS ( PARTITION BY c0 ) ; +SELECT 1 IN ( 1 , 2 , 3) ; +SELECT 1 NOT IN ( 1 , 2 , 3) ; +SELECT 1 BETWEEN 1 AND 2 ; +SELECT 1 NOT BETWEEN 1 AND 2 ; +SELECT 1 FROM t0 LEFT OUTER JOIN t1 USING ( c0 ) ; \ No newline at end of file diff --git a/corpus/input/alter_stmt b/corpus/input/alter_stmt new file mode 100755 index 0000000000000000000000000000000000000000..a5ca0a56f17c4bf843766cbfb7de26893a17fe15 --- /dev/null +++ b/corpus/input/alter_stmt @@ -0,0 +1,5 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +ALTER TABLE t0 ADD COLUMN c2 INT AFTER c0 ; +INSERT INTO t0 VALUES ( 1 , 2 , 3 ) , ( 3 , 4 , 5 ) ; +SELECT t0 . c0 FROM ( SELECT c1 FROM t0 ) AS t1 JOIN t0 ON t1 . c1 = t0 . c1 ; \ No newline at end of file diff --git a/corpus/input/create_index b/corpus/input/create_index new file mode 100755 index 0000000000000000000000000000000000000000..0e9e16c7c1f578eea01f75cbf67c1de900fded88 --- /dev/null +++ b/corpus/input/create_index @@ -0,0 +1,5 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +CREATE INDEX i0 ON t0 ( c0 ) ; +INSERT INTO t0 VALUES ( 5 , 6 ) , ( 7 , 8 ) ; +SELECT t0 . c0 FROM ( SELECT c1 FROM t0 ) AS t1 JOIN t0 ON t1 . c1 = t0 . c1 ; \ No newline at end of file diff --git a/corpus/input/create_table b/corpus/input/create_table new file mode 100755 index 0000000000000000000000000000000000000000..b308ab503eada3e45f062b182d61fe8080051d93 --- /dev/null +++ b/corpus/input/create_table @@ -0,0 +1,5 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +CREATE TABLE t1 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +INSERT INTO t0 VALUES ( 5 , 6 ) , ( 7 , 8 ) ; +SELECT t0 . c0 FROM t0 CROSS JOIN t1 ; \ No newline at end of file diff --git a/corpus/input/create_view b/corpus/input/create_view new file mode 100755 index 0000000000000000000000000000000000000000..90504ac4901d2150444362e4603d251099901c57 --- /dev/null +++ b/corpus/input/create_view @@ -0,0 +1,4 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +CREATE VIEW v0 AS SELECT c0 , c1 , 1 AS c2 FROM t0 ; +WITH t1 AS ( SELECT 1 AS c0 , 2 AS c2 ) SELECT t0 . c0 FROM t0 JOIN t1 ON t0 . c1 = t1 . c2 WHERE t0 . c0 = 0 ; diff --git a/corpus/input/delete_stmt b/corpus/input/delete_stmt new file mode 100755 index 0000000000000000000000000000000000000000..ae2f664e6ba34c8ae4d2e4b1c5a38b411fe3de58 --- /dev/null +++ b/corpus/input/delete_stmt @@ -0,0 +1,4 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +DELETE FROM t0 WHERE c0 = 1 ; +SELECT t0 . c0 FROM t0 AS t1 JOIN t0 ON t1 . c1 = t0 . c1 ; \ No newline at end of file diff --git a/corpus/input/update b/corpus/input/update new file mode 100755 index 0000000000000000000000000000000000000000..b3d7d3567c2c62dd08662b8dcc41ede1140f3833 --- /dev/null +++ b/corpus/input/update @@ -0,0 +1,4 @@ +CREATE TABLE t0 ( c0 INT , c1 INT ) ; +INSERT INTO t0 VALUES ( 1 , 2 ) , ( 3 , 4 ) ; +UPDATE t0 SET c0 = 5 WHERE c0 = 1 ; +WITH t1 AS ( SELECT c0 AS c2 FROM t0 ) SELECT c0 FROM t0 CROSS JOIN t1 WHERE c2 = 2 ; \ No newline at end of file