The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 NUMERIC UNIQUE ) ;

 INSERT INTO v0 VALUES ( 127 ) ;

 UPDATE v0 SET v1 = CASE WHEN 16 THEN 2147483647 ELSE 89599554.000000 * ( SELECT v1 FROM v0 WHERE v1 > 19 + 95868930.000000 ) END + CASE WHEN ( 'x' , v1 + v1 ) > 27 + v1 THEN -128 ELSE v1 + 0 END ;

 SELECT DISTINCT NULL FROM v0 UNION SELECT * FROM v0 WHERE v1 < 0 + 88 AND -128 >= v1 AND NULL ;
```

backtrace:
```c
#0 0x6128f3 (itc_sample_row_check+0x283)
#1 0x61e32e (itc_matches_on_page+0x51e)
#2 0x61ed1f (itc_sample_1+0x3ef)
#3 0x6209da (itc_local_sample+0xb4a)
#4 0x6cdaa7 (sqlo_inx_sample_1+0x987)
#5 0x6d273f (sqlo_inx_sample+0x12f)
#6 0x6d0f7b (dfe_table_cost_ic_1+0x134b)
#7 0x6d3801 (dfe_table_cost_ic+0x71)
#8 0x6f40e2 (sqlo_choose_index+0x722)
#9 0x6f7434 (sqlo_tb_col_preds+0x1384)
#10 0x70193e (sqlo_place_table+0x104e)
#11 0x70967b (sqlo_try+0xdb)
#12 0x70ac5c (sqlo_layout_1+0x94c)
#13 0x6eadab (sqlo_layout+0x5fb)
#14 0x6edb6f (sqlo_place_dt_leaf+0xfdf)
#15 0x6ee00b (sqlo_place_dt_set+0x12b)
#16 0x6ef3bc (sqlo_place_dt+0xec)
#17 0x701485 (sqlo_place_table+0xb95)
#18 0x70967b (sqlo_try+0xdb)
#19 0x70ac5c (sqlo_layout_1+0x94c)
#20 0x6eadab (sqlo_layout+0x5fb)
#21 0x70eb45 (sqlo_top_2+0x335)
#22 0x70e4a5 (sqlo_top_1+0x135)
#23 0x70ffa6 (sqlo_top_select+0x156)
#24 0x6b9b6f (sql_stmt_comp+0x8bf)
#25 0x6b97c1 (sql_stmt_comp+0x511)
#26 0x6bc9d2 (sql_compile_1+0x1a62)
#27 0x7cba60 (stmt_set_query+0x340)
#28 0x7cd952 (sf_sql_execute+0x922)
#29 0x7cecde (sf_sql_execute_w+0x17e)
#30 0x7d799d (sf_sql_execute_wrapper+0x3d)
#31 0xe214bc (future_wrapper+0x3fc)
#32 0xe28dbe (_thread_boot+0x11e)
#33 0x7f69758fb609 (start_thread+0xd9)
#34 0x7f69756cb133 (clone+0x43)
```

ways to reproduce (write poc to the file /tmp/test.sql first):
```bash
# remove the old one
docker container rm virtdb_test -f
# start virtuoso through docker
docker run --name virtdb_test -itd --env DBA_PASSWORD=dba  pkleef/virtuoso-opensource-7
# wait the server starting
sleep 10
# check whether the simple query works
echo "SELECT 1;" | docker exec -i virtdb_test isql 1111 dba
# run the poc
cat /tmp/test.sql | docker exec -i virtdb_test isql 1111 dba
```
Fuzzer: Virtuoso 7.2.11 crashed at `itc_sample_row_check`
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Fuzzer: Virtuoso 7.2.11 crashed at `itc_sample_row_check`
Issue date:

--- start body ---
The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 NUMERIC UNIQUE ) ;

 INSERT INTO v0 VALUES ( 127 ) ;

 UPDATE v0 SET v1 = CASE WHEN 16 THEN 2147483647 ELSE 89599554.000000 * ( SELECT v1 FROM v0 WHERE v1 > 19 + 95868930.000000 ) END + CASE WHEN ( 'x' , v1 + v1 ) > 27 + v1 THEN -128 ELSE v1 + 0 END ;

 SELECT DISTINCT NULL FROM v0 UNION SELECT * FROM v0 WHERE v1 < 0 + 88 AND -128 >= v1 AND NULL ;
```

backtrace:
```c
#0 0x6128f3 (itc_sample_row_check+0x283)
#1 0x61e32e (itc_matches_on_page+0x51e)
#2 0x61ed1f (itc_sample_1+0x3ef)
#3 0x6209da (itc_local_sample+0xb4a)
#4 0x6cdaa7 (sqlo_inx_sample_1+0x987)
#5 0x6d273f (sqlo_inx_sample+0x12f)
#6 0x6d0f7b (dfe_table_cost_ic_1+0x134b)
#7 0x6d3801 (dfe_table_cost_ic+0x71)
#8 0x6f40e2 (sqlo_choose_index+0x722)
#9 0x6f7434 (sqlo_tb_col_preds+0x1384)
#10 0x70193e (sqlo_place_table+0x104e)
#11 0x70967b (sqlo_try+0xdb)
#12 0x70ac5c (sqlo_layout_1+0x94c)
#13 0x6eadab (sqlo_layout+0x5fb)
#14 0x6edb6f (sqlo_place_dt_leaf+0xfdf)
#15 0x6ee00b (sqlo_place_dt_set+0x12b)
#16 0x6ef3bc (sqlo_place_dt+0xec)
#17 0x701485 (sqlo_place_table+0xb95)
#18 0x70967b (sqlo_try+0xdb)
#19 0x70ac5c (sqlo_layout_1+0x94c)
#20 0x6eadab (sqlo_layout+0x5fb)
#21 0x70eb45 (sqlo_top_2+0x335)
#22 0x70e4a5 (sqlo_top_1+0x135)
#23 0x70ffa6 (sqlo_top_select+0x156)
#24 0x6b9b6f (sql_stmt_comp+0x8bf)
#25 0x6b97c1 (sql_stmt_comp+0x511)
#26 0x6bc9d2 (sql_compile_1+0x1a62)
#27 0x7cba60 (stmt_set_query+0x340)
#28 0x7cd952 (sf_sql_execute+0x922)
#29 0x7cecde (sf_sql_execute_w+0x17e)
#30 0x7d799d (sf_sql_execute_wrapper+0x3d)
#31 0xe214bc (future_wrapper+0x3fc)
#32 0xe28dbe (_thread_boot+0x11e)
#33 0x7f69758fb609 (start_thread+0xd9)
#34 0x7f69756cb133 (clone+0x43)
```

ways to reproduce (write poc to the file /tmp/test.sql first):
```bash
# remove the old one
docker container rm virtdb_test -f
# start virtuoso through docker
docker run --name virtdb_test -itd --env DBA_PASSWORD=dba  pkleef/virtuoso-opensource-7
# wait the server starting
sleep 10
# check whether the simple query works
echo "SELECT 1;" | docker exec -i virtdb_test isql 1111 dba
# run the poc
cat /tmp/test.sql | docker exec -i virtdb_test isql 1111 dba
```
--- end body ---
