annotate tests/sql_indent.ur @ 2297:6d56080f495c

Fix a read-after-free bug using a timestamp check
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Nov 2015 13:18:58 -0500
parents d3de57ce4bca
children
rev   line source
adamc@372 1 table t1 : {A : int, B : string, C : float}
adamc@372 2
adamc@372 3 val q1 = (SELECT *
adamc@375 4 FROM t1
adamc@372 5 WHERE A = 0)
adamc@373 6
adamc@373 7 val a1 = (INSERT INTO t1
adamc@373 8 VALUES (0, "1", 2.0))
adamc@373 9
adamc@373 10 val a2 = (UPDATE t1
adamc@373 11 SET A = 3, B = "4", C = 5.0)
adamc@375 12
adamc@373 13 val a3 = (DELETE FROM t1
adamc@373 14 WHERE B <> "good")
adamc@374 15
adamc@374 16
adamc@374 17 val q2 = (SELECT *
adamc@374 18 FROM t1
adamc@374 19 WHERE A = 0
adamc@374 20 OR B = "hi"
adamc@374 21 AND (C <> 10.01
adamc@374 22 OR A = 8)
adamc@374 23 AND (B = B
adamc@374 24 OR B = B
adamc@374 25 AND C = C OR (D =
adamc@374 26 6 AND 8 = 8)))