Fix false-negative function comparisons
[scpubgit/Q-Branch.git] / t / 10test.t
1 #!/usr/bin/perl
2
3 use strict;
4 use warnings;
5 use List::Util qw(sum);
6
7 use Test::More;
8
9 use Data::Dumper;
10 $Data::Dumper::Terse = 1;
11 $Data::Dumper::Sortkeys = 1;
12
13 my @sql_tests = (
14       # WHERE condition - equal
15       {
16         equal => 1,
17         statements => [
18           q/SELECT foo FROM bar WHERE a = 1/,
19           q/SELECT foo FROM bar WHERE a=1/,
20           q/SELECT foo FROM bar WHERE (a = 1)/,
21           q/SELECT foo FROM bar WHERE (a=1)/,
22           q/SELECT foo FROM bar WHERE ( a = 1 )/,
23           q/
24             SELECT
25               foo
26             FROM
27               bar
28             WHERE
29               a = 1
30           /,
31           q/
32             SELECT
33               foo
34             FROM
35               bar
36             WHERE
37               (a = 1)
38           /,
39           q/
40             SELECT
41               foo
42             FROM
43               bar
44             WHERE
45               ( a = 1 )
46           /,
47           q/SELECT foo FROM bar WHERE ((a = 1))/,
48           q/SELECT foo FROM bar WHERE ( (a = 1) )/,
49           q/SELECT foo FROM bar WHERE ( ( a = 1 ) )/,
50         ]
51       },
52       {
53         equal => 1,
54         statements => [
55           q/SELECT foo FROM bar WHERE a = 1 AND b = 1/,
56           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1)/,
57           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 1))/,
58           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1)/,
59           q/SELECT foo FROM bar WHERE ((a = 1 AND b = 1))/,
60           q/SELECT foo FROM bar WHERE (((a = 1) AND (b = 1)))/,
61           q/
62             SELECT
63               foo
64             FROM
65               bar
66             WHERE
67               a = 1
68               AND
69               b = 1
70           /,
71           q/
72             SELECT
73               foo
74             FROM
75               bar
76             WHERE
77               (a = 1
78               AND
79               b = 1)
80           /,
81           q/
82             SELECT
83               foo
84             FROM
85               bar
86             WHERE
87               (a = 1)
88               AND
89               (b = 1)
90           /,
91           q/
92             SELECT
93               foo
94             FROM
95               bar
96             WHERE
97               ((a = 1)
98               AND
99               (b = 1))
100           /,
101         ]
102       },
103       {
104         equal => 1,
105         statements => [
106           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND c = 1/,
107           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1 AND c = 1)/,
108           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) AND c = 1/,
109           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 AND c = 1)/,
110           q/SELECT foo FROM bar WHERE ((((a = 1))) AND (b = 1 AND c = 1))/,
111         ]
112       },
113       {
114         equal => 1,
115         statements => [
116           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 OR c = 1/,
117           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) OR c = 1/,
118           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 OR c = 1)/,
119           q/SELECT foo FROM bar WHERE a = 1 OR ((b = 1 OR (c = 1)))/,
120         ]
121       },
122       {
123         equal => 1,
124         statements => [
125           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1 OR c = 1 OR d = 1) AND (e = 1 AND f = 1)/,
126           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1 OR d = 1) AND e = 1 AND (f = 1)/,
127           q/SELECT foo FROM bar WHERE ( ((a = 1) AND ( b = 1 OR (c = 1 OR d = 1) )) AND ((e = 1)) AND f = 1) /,
128         ]
129       },
130       {
131         equal => 1,
132         statements => [
133           q/SELECT foo FROM bar WHERE (a) AND (b = 2)/,
134           q/SELECT foo FROM bar WHERE (a AND b = 2)/,
135           q/SELECT foo FROM bar WHERE (a AND (b = 2))/,
136           q/SELECT foo FROM bar WHERE a AND (b = 2)/,
137         ]
138       },
139       {
140         equal => 1,
141         statements => [
142           q/SELECT foo FROM bar WHERE ((NOT a) AND b = 2)/,
143           q/SELECT foo FROM bar WHERE (NOT a) AND (b = 2)/,
144           q/SELECT foo FROM bar WHERE (NOT (a)) AND b = 2/,
145         ],
146       },
147       {
148         equal => 0,
149         statements => [
150           q/SELECT foo FROM bar WHERE NOT a AND (b = 2)/,
151           q/SELECT foo FROM bar WHERE (NOT a) AND (b = 2)/,
152         ]
153       },
154       {
155         equal => 0,
156         parenthesis_significant => 1,
157         statements => [
158           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND c = 1/,
159           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1 AND c = 1)/,
160           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) AND c = 1/,
161           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 AND c = 1)/,
162           q/SELECT foo FROM bar WHERE ((((a = 1))) AND (b = 1 AND c = 1))/,
163         ]
164       },
165       {
166         equal => 0,
167         parenthesis_significant => 1,
168         statements => [
169           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 OR c = 1/,
170           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) OR c = 1/,
171           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 OR c = 1)/,
172           q/SELECT foo FROM bar WHERE a = 1 OR ((b = 1 OR (c = 1)))/,
173         ]
174       },
175       {
176         equal => 0,
177         parenthesis_significant => 1,
178         statements => [
179           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 1 OR c = 1 OR d = 1) AND (e = 1 AND f = 1)/,
180           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1 OR d = 1) AND e = 1 AND (f = 1)/,
181           q/SELECT foo FROM bar WHERE ( ((a = 1) AND ( b = 1 OR (c = 1 OR d = 1) )) AND ((e = 1)) AND f = 1) /,
182         ]
183       },
184
185       # WHERE condition - different
186       {
187         equal => 0,
188         statements => [
189           q/SELECT foo FROM bar WHERE a = 1/,
190           q/SELECT quux FROM bar WHERE a = 1/,
191           q/SELECT foo FROM quux WHERE a = 1/,
192           q/FOOBAR foo FROM bar WHERE a = 1/,
193
194           q/SELECT foo FROM bar WHERE a = 2/,
195           q/SELECT foo FROM bar WHERE a < 1/,
196           q/SELECT foo FROM bar WHERE b = 1/,
197           q/SELECT foo FROM bar WHERE (c = 1)/,
198           q/SELECT foo FROM bar WHERE (d = 1)/,
199
200           q/SELECT foo FROM bar WHERE a = 1 AND quux/,
201           q/SELECT foo FROM bar WHERE a = 1 GROUP BY foo/,
202           q/SELECT foo FROM bar WHERE a = 1 ORDER BY foo/,
203           q/SELECT foo FROM bar WHERE a = 1 LIMIT 1/,
204           q/SELECT foo FROM bar WHERE a = 1 OFFSET 1/,
205           q/SELECT foo FROM bar JOIN quux WHERE a = 1/,
206           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE a = 1/,
207         ]
208       },
209       {
210         equal => 0,
211         statements => [
212           q/SELECT foo FROM bar WHERE a = 1 AND b = 1/,
213           q/SELECT quux FROM bar WHERE a = 1 AND b = 1/,
214           q/SELECT foo FROM quux WHERE a = 1 AND b = 1/,
215           q/FOOBAR foo FROM bar WHERE a = 1 AND b = 1/,
216
217           q/SELECT foo FROM bar WHERE a = 2 AND b = 1/,
218           q/SELECT foo FROM bar WHERE a = 3 AND (b = 1)/,
219           q/SELECT foo FROM bar WHERE (a = 4) AND b = 1/,
220           q/SELECT foo FROM bar WHERE (a = 5) AND (b = 1)/,
221           q/SELECT foo FROM bar WHERE ((a = 6) AND (b = 1))/,
222           q/SELECT foo FROM bar WHERE ((a = 7) AND (b = 1))/,
223
224           q/SELECT foo FROM bar WHERE a = 1 AND b = 2/,
225           q/SELECT foo FROM bar WHERE a = 1 AND (b = 3)/,
226           q/SELECT foo FROM bar WHERE (a = 1) AND b = 4/,
227           q/SELECT foo FROM bar WHERE (a = 1) AND (b = 5)/,
228           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 6))/,
229           q/SELECT foo FROM bar WHERE ((a = 1) AND (b = 7))/,
230
231           q/SELECT foo FROM bar WHERE a < 1 AND b = 1/,
232           q/SELECT foo FROM bar WHERE b = 1 AND b = 1/,
233           q/SELECT foo FROM bar WHERE (c = 1) AND b = 1/,
234           q/SELECT foo FROM bar WHERE (d = 1) AND b = 1/,
235
236           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 AND quux/,
237           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 GROUP BY foo/,
238           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 ORDER BY foo/,
239           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 LIMIT 1/,
240           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 OFFSET 1/,
241           q/SELECT foo FROM bar JOIN quux WHERE a = 1 AND b = 1/,
242           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE a = 1 AND b = 1/,
243         ]
244       },
245       {
246         equal => 0,
247         statements => [
248           q/SELECT foo FROM bar WHERE a = 1 AND b = 1 OR c = 1/,
249           q/SELECT foo FROM bar WHERE (a = 1 AND b = 1) OR c = 1/,
250           q/SELECT foo FROM bar WHERE a = 1 AND (b = 1 OR c = 1)/,
251         ]
252       },
253       {
254         equal => 0,
255         statements => [
256           q/SELECT foo FROM bar WHERE a = 1 OR b = 1 AND c = 1/,
257           q/SELECT foo FROM bar WHERE (a = 1 OR b = 1) AND c = 1/,
258           q/SELECT foo FROM bar WHERE a = 1 OR (b = 1 AND c = 1)/,
259         ]
260       },
261       {
262         equal => 0,
263         parenthesis_significant => 1,
264         statements => [
265           q/SELECT foo FROM bar WHERE a IN (1,2,3)/,
266           q/SELECT foo FROM bar WHERE a IN (1,3,2)/,
267           q/SELECT foo FROM bar WHERE a IN ((1,2,3))/,
268         ]
269       },
270       {
271         equal => 0,
272         statements => [
273           # BETWEEN with/without parenthesis around itself/RHS is a sticky business
274           # if I made a mistake here, simply rewrite the special BETWEEN handling in
275           # _recurse_parse()
276           #
277           # by RIBASUSHI
278           q/SELECT foo FROM bar WHERE ( completion_date BETWEEN ? AND ? AND status = ? )/,
279           q/SELECT foo FROM bar WHERE completion_date BETWEEN (? AND ?) AND status = ?/,
280           q/SELECT foo FROM bar WHERE ( (completion_date BETWEEN (? AND ?) ) AND status = ? )/,
281           q/SELECT foo FROM bar WHERE ( (completion_date BETWEEN (? AND ? AND status = ?) ) )/,
282         ]
283       },
284
285       # IS NULL (special LHS-only op)
286       {
287         equal => 1,
288         statements => [
289           q/WHERE a IS NOT NULL AND b IS NULL/,
290           q/WHERE (a IS NOT NULL) AND b IS NULL/,
291           q/WHERE a IS NOT NULL AND (b IS NULL)/,
292           q/WHERE (a IS NOT NULL) AND ((b IS NULL))/,
293         ],
294       },
295
296       # JOIN condition - equal
297       {
298         equal => 1,
299         statements => [
300           q/SELECT foo FROM bar JOIN baz ON a = 1 WHERE x = 1/,
301           q/SELECT foo FROM bar JOIN baz ON a=1 WHERE x = 1/,
302           q/SELECT foo FROM bar JOIN baz ON (a = 1) WHERE x = 1/,
303           q/SELECT foo FROM bar JOIN baz ON (a=1) WHERE x = 1/,
304           q/SELECT foo FROM bar JOIN baz ON ( a = 1 ) WHERE x = 1/,
305           q/
306             SELECT
307               foo
308             FROM
309               bar
310             JOIN
311               baz
312             ON
313               a = 1
314             WHERE
315               x = 1
316           /,
317           q/
318             SELECT
319               foo
320             FROM
321               bar
322             JOIN
323               baz
324             ON
325               (a = 1)
326             WHERE
327               x = 1
328           /,
329           q/
330             SELECT
331               foo
332             FROM
333               bar
334             JOIN
335               baz
336             ON
337               ( a = 1 )
338             WHERE
339               x = 1
340           /,
341           q/SELECT foo FROM bar JOIN baz ON ((a = 1)) WHERE x = 1/,
342           q/SELECT foo FROM bar JOIN baz ON ( (a = 1) ) WHERE x = 1/,
343           q/SELECT foo FROM bar JOIN baz ON ( ( a = 1 ) ) WHERE x = 1/,
344         ]
345       },
346       {
347         equal => 1,
348         statements => [
349           q/SELECT foo FROM bar JOIN baz ON a = 1 AND b = 1 WHERE x = 1/,
350           q/SELECT foo FROM bar JOIN baz ON (a = 1) AND (b = 1) WHERE x = 1/,
351           q/SELECT foo FROM bar JOIN baz ON ((a = 1) AND (b = 1)) WHERE x = 1/,
352           q/SELECT foo FROM bar JOIN baz ON (a = 1 AND b = 1) WHERE x = 1/,
353           q/SELECT foo FROM bar JOIN baz ON ((a = 1 AND b = 1)) WHERE x = 1/,
354           q/SELECT foo FROM bar JOIN baz ON (((a = 1) AND (b = 1))) WHERE x = 1/,
355           q/
356             SELECT
357               foo
358             FROM
359               bar
360             JOIN
361               baz
362             ON
363               a = 1
364               AND
365               b = 1
366             WHERE
367               x = 1
368           /,
369           q/
370             SELECT
371               foo
372             FROM
373               bar
374             JOIN
375               baz
376             ON
377               (a = 1
378               AND
379               b = 1)
380             WHERE
381               x = 1
382           /,
383           q/
384             SELECT
385               foo
386             FROM
387               bar
388             JOIN
389               baz
390             ON
391               (a = 1)
392               AND
393               (b = 1)
394             WHERE
395               x = 1
396           /,
397           q/
398             SELECT
399               foo
400             FROM
401               bar
402             JOIN
403               baz
404             ON
405               ((a = 1)
406               AND
407               (b = 1))
408             WHERE
409               x = 1
410           /,
411         ]
412       },
413
414       # JOIN condition - different
415       {
416         equal => 0,
417         statements => [
418           q/SELECT foo FROM bar JOIN quux ON a = 1 WHERE quuux/,
419           q/SELECT quux FROM bar JOIN quux ON a = 1 WHERE quuux/,
420           q/SELECT foo FROM quux JOIN quux ON a = 1 WHERE quuux/,
421           q/FOOBAR foo FROM bar JOIN quux ON a = 1 WHERE quuux/,
422
423           q/SELECT foo FROM bar JOIN quux ON a = 2 WHERE quuux/,
424           q/SELECT foo FROM bar JOIN quux ON a < 1 WHERE quuux/,
425           q/SELECT foo FROM bar JOIN quux ON b = 1 WHERE quuux/,
426           q/SELECT foo FROM bar JOIN quux ON (c = 1) WHERE quuux/,
427           q/SELECT foo FROM bar JOIN quux ON (d = 1) WHERE quuux/,
428
429           q/SELECT foo FROM bar JOIN quux ON a = 1 AND quuux/,
430           q/SELECT foo FROM bar JOIN quux ON a = 1 GROUP BY foo/,
431           q/SELECT foo FROM bar JOIN quux ON a = 1 ORDER BY foo/,
432           q/SELECT foo FROM bar JOIN quux ON a = 1 LIMIT 1/,
433           q/SELECT foo FROM bar JOIN quux ON a = 1 OFFSET 1/,
434           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux/,
435           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux ON a = 1/,
436         ]
437       },
438       {
439         equal => 0,
440         statements => [
441           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
442           q/SELECT quux FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
443           q/SELECT foo FROM quux JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
444           q/FOOBAR foo FROM bar JOIN quux ON a = 1 AND b = 1 WHERE quuux/,
445
446           q/SELECT foo FROM bar JOIN quux ON a = 2 AND b = 1 WHERE quuux/,
447           q/SELECT foo FROM bar JOIN quux ON a = 3 AND (b = 1) WHERE quuux/,
448           q/SELECT foo FROM bar JOIN quux ON (a = 4) AND b = 1 WHERE quuux/,
449           q/SELECT foo FROM bar JOIN quux ON (a = 5) AND (b = 1) WHERE quuux/,
450           q/SELECT foo FROM bar JOIN quux ON ((a = 6) AND (b = 1)) WHERE quuux/,
451           q/SELECT foo FROM bar JOIN quux ON ((a = 7) AND (b = 1)) WHERE quuux/,
452
453           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 2 WHERE quuux/,
454           q/SELECT foo FROM bar JOIN quux ON a = 1 AND (b = 3) WHERE quuux/,
455           q/SELECT foo FROM bar JOIN quux ON (a = 1) AND b = 4 WHERE quuux/,
456           q/SELECT foo FROM bar JOIN quux ON (a = 1) AND (b = 5) WHERE quuux/,
457           q/SELECT foo FROM bar JOIN quux ON ((a = 1) AND (b = 6)) WHERE quuux/,
458           q/SELECT foo FROM bar JOIN quux ON ((a = 1) AND (b = 7)) WHERE quuux/,
459
460           q/SELECT foo FROM bar JOIN quux ON a < 1 AND b = 1 WHERE quuux/,
461           q/SELECT foo FROM bar JOIN quux ON b = 1 AND b = 1 WHERE quuux/,
462           q/SELECT foo FROM bar JOIN quux ON (c = 1) AND b = 1 WHERE quuux/,
463           q/SELECT foo FROM bar JOIN quux ON (d = 1) AND b = 1 WHERE quuux/,
464
465           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 AND quuux/,
466           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 GROUP BY foo/,
467           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 ORDER BY foo/,
468           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 LIMIT 1/,
469           q/SELECT foo FROM bar JOIN quux ON a = 1 AND b = 1 OFFSET 1/,
470           q/SELECT foo FROM bar JOIN quux JOIN quuux ON a = 1 AND b = 1/,
471           q/SELECT foo FROM bar JOIN quux ON a = 1 JOIN quuux ON a = 1 AND b = 1/,
472         ]
473       },
474
475       # DISTINCT ON (...) not confused with JOIN ON (...)
476       {
477         equal => 1,
478         statements => [
479           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE a = 1/,
480           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE a=1/,
481           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE (a = 1)/,
482           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE (a=1)/,
483           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( a = 1 )/,
484           q/
485             SELECT DISTINCT ON (foo, quux)
486               foo,
487               quux
488             FROM
489               bar
490             WHERE
491               a = 1
492           /,
493           q/
494             SELECT DISTINCT ON (foo, quux)
495               foo,
496               quux
497             FROM
498               bar
499             WHERE
500               (a = 1)
501           /,
502           q/
503             SELECT DISTINCT ON (foo, quux)
504               foo,
505               quux
506             FROM
507               bar
508             WHERE
509               ( a = 1 )
510           /,
511           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ((a = 1))/,
512           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( (a = 1) )/,
513           q/SELECT DISTINCT ON (foo, quux) foo, quux FROM bar WHERE ( ( a = 1 ) )/,
514         ]
515       },
516
517       # subselects - equal
518       {
519         equal => 1,
520         statements => [
521           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 1/,
522           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE (a = 1)/,
523           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE a = 1/,
524           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE (a = 1)/,
525         ]
526       },
527       {
528         equal => 1,
529         statements => [
530           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 1/,
531           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 1)) AS foo WHERE a = 1/,
532           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 1) AS foo WHERE a = 1/,
533           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 1)) AS foo WHERE a = 1/,
534           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 1))) AS foo WHERE a = 1/,
535
536           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE (a = 1)/,
537           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 1)) AS foo WHERE (a = 1)/,
538           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 1) AS foo WHERE (a = 1)/,
539           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 1)) AS foo WHERE (a = 1)/,
540           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 1))) AS foo WHERE (a = 1)/,
541         ]
542       },
543
544       # subselects - different
545       {
546         equal => 0,
547         statements => [
548           q/DELETE FROM cd WHERE ( cdid IN ( SELECT me.cdid FROM (SELECT * FROM cd me WHERE ( year != ? ) GROUP BY me.cdid) me WHERE ( year != ? ) ) )/,
549           q/DELETE FROM cd WHERE ( cdid IN ( SELECT me.cdid FROM cd me WHERE ( year != ? ) GROUP BY me.cdid ) )/,
550         ],
551       },
552       {
553         equal => 0,
554         statements => [
555           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 1/,
556           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE a = 2/,
557           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1) AS foo WHERE (a = 3)/,
558           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE a = 4/,
559           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1)) AS foo WHERE (a = 5)/,
560           q/SELECT * FROM (SELECT * FROM bar WHERE b = 2) AS foo WHERE a = 1/,
561           q/SELECT * FROM (SELECT * FROM bar WHERE b = 3) AS foo WHERE (a = 1)/,
562           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 4)) AS foo WHERE a = 1/,
563           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 5)) AS foo WHERE (a = 1)/,
564         ]
565       },
566       {
567         equal => 0,
568         statements => [
569           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 1/,
570           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 2) AS foo WHERE a = 1/,
571           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 3)) AS foo WHERE a = 1/,
572           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 4)) AS foo WHERE a = 1/,
573           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 5))) AS foo WHERE a = 1/,
574
575           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 6) AS foo WHERE (a = 1)/,
576           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 7) AS foo WHERE (a = 1)/,
577           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 8)) AS foo WHERE (a = 1)/,
578           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 9)) AS foo WHERE (a = 1)/,
579           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 10))) AS foo WHERE (a = 1)/,
580
581           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 1) AS foo WHERE a = 2/,
582           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 2) AS foo WHERE a = 2/,
583           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 3)) AS foo WHERE a = 2/,
584           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 4)) AS foo WHERE a = 2/,
585           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 5))) AS foo WHERE a = 2/,
586
587           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND c = 6) AS foo WHERE (a = 2)/,
588           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND c = 7) AS foo WHERE (a = 2)/,
589           q/SELECT * FROM (SELECT * FROM bar WHERE b = 1 AND (c = 8)) AS foo WHERE (a = 2)/,
590           q/SELECT * FROM (SELECT * FROM bar WHERE (b = 1) AND (c = 9)) AS foo WHERE (a = 2)/,
591           q/SELECT * FROM (SELECT * FROM bar WHERE ((b = 1) AND (c = 10))) AS foo WHERE (a = 2)/,
592         ]
593       },
594
595       # list permutations
596       {
597         equal => 0,
598         statements => [
599           'SELECT a,b,c FROM foo',
600           'SELECT a,c,b FROM foo',
601           'SELECT b,a,c FROM foo',
602           'SELECT b,c,a FROM foo',
603           'SELECT c,a,b FROM foo',
604           'SELECT c,b,a FROM foo',
605         ],
606       },
607       {
608         equal => 0,
609         statements => [
610           'SELECT * FROM foo WHERE a IN (1,2,3)',
611           'SELECT * FROM foo WHERE a IN (1,3,2)',
612           'SELECT * FROM foo WHERE a IN (2,1,3)',
613           'SELECT * FROM foo WHERE a IN (2,3,1)',
614           'SELECT * FROM foo WHERE a IN (3,1,2)',
615           'SELECT * FROM foo WHERE a IN (3,2,1)',
616         ]
617       },
618
619       # list consistency
620       {
621         equal => 0,
622         statements => [
623           'SELECT a,b FROM foo',
624           'SELECT a,,b FROM foo',
625           'SELECT a,b, FROM foo',
626           'SELECT ,a,b, FROM foo',
627           'SELECT ,a,,b, FROM foo',
628         ],
629       },
630
631       # misc func
632       {
633         equal => 0,
634         statements => [
635           'SELECT count(*) FROM foo',
636           'SELECT count(*) AS bar FROM foo',
637           'SELECT count(*) AS "bar" FROM foo',
638           'SELECT count(a) FROM foo',
639           'SELECT count(1) FROM foo',
640         ]
641       },
642       {
643         equal => 1,
644         statements => [
645           'SELECT foo() bar FROM baz',
646           'SELECT foo (  )bar FROM baz',
647           'SELECT foo (())bar FROM baz',
648           'SELECT foo(( ) ) bar FROM baz',
649         ]
650       },
651       {
652         equal => 0,
653         statements => [
654           'SELECT foo() FROM bar',
655           'SELECT foo FROM bar',
656           'SELECT foo FROM bar ()',
657         ]
658       },
659       {
660         equal => 0,
661         statements => [
662           'SELECT COUNT * FROM foo',
663           'SELECT COUNT( * ) FROM foo',
664         ]
665       },
666       # single ? of unknown funcs do not unroll unless
667       # explicitly allowed (e.g. Like)
668       {
669         equal => 0,
670         statements => [
671           'SELECT foo FROM bar WHERE bar > foo ?',
672           'SELECT foo FROM bar WHERE bar > foo( ? )',
673         ]
674       },
675       {
676         equal => 1,
677         statements => [
678           'SELECT foo FROM bar WHERE bar LIKE ?',
679           'SELECT foo FROM bar WHERE bar LiKe (?)',
680           'SELECT foo FROM bar WHERE bar lIkE( (?))',
681         ]
682       },
683       # test multival
684       {
685         equal => 0,
686         statements => [
687           'SELECT foo FROM bar WHERE foo IN (?, ?)',
688           'SELECT foo FROM bar WHERE foo IN ?, ?',
689         ]
690       },
691       # math
692       {
693         equal => 0,
694         statements => [
695           'SELECT * FROM foo WHERE 1 = ( a > b)',
696           'SELECT * FROM foo WHERE 1 = a > b',
697           'SELECT * FROM foo WHERE (1 = a) > b',
698         ]
699       },
700       {
701         equal => 1,
702         statements => [
703           'SELECT * FROM foo WHERE bar = baz(buzz)',
704           'SELECT * FROM foo WHERE bar = (baz( buzz ))',
705         ]
706       },
707       # oddballs
708       {
709         equal => 1,
710         statements => [
711           'WHERE ( foo GLOB ? )',
712           'WHERE foo GLOB ?',
713         ],
714       },
715       {
716         equal => 1,
717         statements => [
718           'SELECT FIRST ? SKIP ? [me].[id], [me].[owner]
719             FROM [books] [me]
720           WHERE ( ( (EXISTS (
721             SELECT FIRST ? SKIP ? [owner].[id]
722               FROM [owners] [owner]
723             WHERE ( [books].[owner] = [owner].[id] )
724           )) AND [source] = ? ) )',
725           'SELECT FIRST ? SKIP ? [me].[id], [me].[owner]
726             FROM [books] [me]
727           WHERE ( ( EXISTS (
728             SELECT FIRST ? SKIP ? [owner].[id]
729               FROM [owners] [owner]
730             WHERE ( [books].[owner] = [owner].[id] )
731           ) AND [source] = ? ) )',
732         ],
733       },
734 );
735
736 my @bind_tests = (
737   # scalar - equal
738   {
739     equal => 1,
740     bindvals => [
741       undef,
742       undef,
743     ]
744   },
745   {
746     equal => 1,
747     bindvals => [
748       'foo',
749       'foo',
750     ]
751   },
752   {
753     equal => 1,
754     bindvals => [
755       42,
756       42,
757       '42',
758     ]
759   },
760
761   # scalarref - equal
762   {
763     equal => 1,
764     bindvals => [
765       \'foo',
766       \'foo',
767     ]
768   },
769   {
770     equal => 1,
771     bindvals => [
772       \42,
773       \42,
774       \'42',
775     ]
776   },
777
778   # arrayref - equal
779   {
780     equal => 1,
781     bindvals => [
782       [],
783       []
784     ]
785   },
786   {
787     equal => 1,
788     bindvals => [
789       [42],
790       [42],
791       ['42'],
792     ]
793   },
794   {
795     equal => 1,
796     bindvals => [
797       [1, 42],
798       [1, 42],
799       ['1', 42],
800       [1, '42'],
801       ['1', '42'],
802     ]
803   },
804
805   # hashref - equal
806   {
807     equal => 1,
808     bindvals => [
809       { foo => 42 },
810       { foo => 42 },
811       { foo => '42' },
812     ]
813   },
814   {
815     equal => 1,
816     bindvals => [
817       { foo => 42, bar => 1 },
818       { foo => 42, bar => 1 },
819       { foo => '42', bar => 1 },
820     ]
821   },
822
823   # blessed object - equal
824   {
825     equal => 1,
826     bindvals => [
827       bless(\(local $_ = 42), 'Life::Universe::Everything'),
828       bless(\(local $_ = 42), 'Life::Universe::Everything'),
829     ]
830   },
831   {
832     equal => 1,
833     bindvals => [
834       bless([42], 'Life::Universe::Everything'),
835       bless([42], 'Life::Universe::Everything'),
836     ]
837   },
838   {
839     equal => 1,
840     bindvals => [
841       bless({ answer => 42 }, 'Life::Universe::Everything'),
842       bless({ answer => 42 }, 'Life::Universe::Everything'),
843     ]
844   },
845
846   # complex data structure - equal
847   {
848     equal => 1,
849     bindvals => [
850       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
851       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
852     ]
853   },
854
855
856   # scalar - different
857   {
858     equal => 0,
859     bindvals => [
860       undef,
861       'foo',
862       42,
863     ]
864   },
865
866   # scalarref - different
867   {
868     equal => 0,
869     bindvals => [
870       \undef,
871       \'foo',
872       \42,
873     ]
874   },
875
876   # arrayref - different
877   {
878     equal => 0,
879     bindvals => [
880       [undef],
881       ['foo'],
882       [42],
883     ]
884   },
885
886   # hashref - different
887   {
888     equal => 0,
889     bindvals => [
890       { foo => undef },
891       { foo => 'bar' },
892       { foo => 42 },
893     ]
894   },
895
896   # different types
897   {
898     equal => 0,
899     bindvals => [
900       'foo',
901       \'foo',
902       ['foo'],
903       { foo => 'bar' },
904     ]
905   },
906
907   # complex data structure - different
908   {
909     equal => 0,
910     bindvals => [
911       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
912       [43, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
913       [42, { foo => 'baz', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
914       [42, { bar => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
915       [42, { foo => 'bar', quuux => [1, 2, \3, { quux => [4, 5] } ] }, 8 ],
916       [42, { foo => 'bar', quux => [0, 1, 2, \3, { quux => [4, 5] } ] }, 8 ],
917       [42, { foo => 'bar', quux => [1, 2, 3, { quux => [4, 5] } ] }, 8 ],
918       [42, { foo => 'bar', quux => [1, 2, \4, { quux => [4, 5] } ] }, 8 ],
919       [42, { foo => 'bar', quux => [1, 2, \3, { quuux => [4, 5] } ] }, 8 ],
920       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5, 6] } ] }, 8 ],
921       [42, { foo => 'bar', quux => [1, 2, \3, { quux => 4 } ] }, 8 ],
922       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5], quuux => 1 } ] }, 8 ],
923       [42, { foo => 'bar', quux => [1, 2, \3, { quux => [4, 5] } ] }, 8, 9 ],
924     ]
925   },
926 );
927
928 plan tests => 1 +
929   sum(
930     map { $_ * ($_ - 1) / 2 }
931       map { scalar @{$_->{statements}} }
932         @sql_tests
933   ) +
934   sum(
935     map { $_ * ($_ - 1) / 2 }
936       map { scalar @{$_->{bindvals}} }
937         @bind_tests
938   ) +
939   9;
940
941 use_ok('SQL::Abstract::Test', import => [qw(
942   eq_sql_bind eq_sql eq_bind is_same_sql_bind
943 )]);
944
945 for my $test (@sql_tests) {
946   my $statements = $test->{statements};
947   while (@$statements) {
948     my $sql1 = shift @$statements;
949     foreach my $sql2 (@$statements) {
950
951       no warnings qw/once/; # perl 5.10 is dumb
952       local $SQL::Abstract::Test::parenthesis_significant = $test->{parenthesis_significant}
953         if $test->{parenthesis_significant};
954       my $equal = eq_sql($sql1, $sql2);
955
956       TODO: {
957         local $TODO = $test->{todo} if $test->{todo};
958
959         if ($test->{equal}) {
960           ok($equal, "equal SQL expressions should have been considered equal");
961         } else {
962           ok(!$equal, "different SQL expressions should have been considered not equal");
963         }
964
965         if ($equal ^ $test->{equal}) {
966           my ($ast1, $ast2) = map { SQL::Abstract::Test::parse ($_) } ($sql1, $sql2);
967           $_ = Dumper $_ for ($ast1, $ast2);
968
969           diag "sql1: $sql1";
970           diag "sql2: $sql2";
971           note $SQL::Abstract::Test::sql_differ;
972           note "ast1: $ast1";
973           note "ast2: $ast2";
974         }
975       }
976     }
977   }
978 }
979
980 for my $test (@bind_tests) {
981   my $bindvals = $test->{bindvals};
982   while (@$bindvals) {
983     my $bind1 = shift @$bindvals;
984     foreach my $bind2 (@$bindvals) {
985       my $equal = eq_bind($bind1, $bind2);
986       if ($test->{equal}) {
987         ok($equal, "equal bind values considered equal");
988       } else {
989         ok(!$equal, "different bind values considered not equal");
990       }
991
992       if ($equal ^ $test->{equal}) {
993         diag("bind1: " . Dumper($bind1));
994         diag("bind2: " . Dumper($bind2));
995       }
996     }
997   }
998 }
999
1000 ok(eq_sql_bind(
1001     "SELECT * FROM foo WHERE id = ?", [42],
1002     "SELECT * FROM foo WHERE (id = ?)", [42],
1003   ),
1004   "eq_sql_bind considers equal SQL expressions and bind values equal"
1005 );
1006
1007
1008 ok(!eq_sql_bind(
1009     "SELECT * FROM foo WHERE id = ?", [42],
1010     "SELECT * FROM foo WHERE (id = ?)", [0],
1011   ),
1012   "eq_sql_bind considers equal SQL expressions and different bind values different"
1013 );
1014
1015 ok(!eq_sql_bind(
1016     "SELECT * FROM foo WHERE id = ?", [42],
1017     "SELECT * FROM bar WHERE (id = ?)", [42],
1018   ),
1019   "eq_sql_bind considers different SQL expressions and equal bind values different"
1020 );
1021
1022 # test diag string
1023 ok (! eq_sql (
1024   'SELECT owner_name FROM books me WHERE ( source = ? )',
1025   'SELECT owner_name FROM books me WHERE ( sUOrce = ? )',
1026 ));
1027 like(
1028   $SQL::Abstract::Test::sql_differ,
1029   qr/\Q[ source ] != [ sUOrce ]/,
1030   'expected debug of literal diff',
1031 );
1032
1033 ok (! eq_sql (
1034   'SELECT owner_name FROM books me ORDER BY owner_name',
1035   'SELECT owner_name FROM books me GROUP BY owner_name',
1036 ));
1037 like(
1038   $SQL::Abstract::Test::sql_differ,
1039   qr/\QOP [ORDER BY] != [GROUP BY]/,
1040   'expected debug of op diff',
1041 );
1042
1043 ok (! eq_sql (
1044   'SELECT owner_name FROM books WHERE ( source = ? )',
1045   'SELECT owner_name FROM books'
1046 ));
1047
1048 like(
1049   $SQL::Abstract::Test::sql_differ,
1050   qr|\Q[WHERE source = ?] != [N/A]|,
1051   'expected debug of missing branch',
1052 );
1053