The PoC is generated by my DBMS fuzzer. It can also be reproduced in the beta docker image.
```SQL
CREATE TABLE v0 ( v1 CHAR(1) NULL , v3 REAL NULL , v2 INT CHECK( ( v2 - v2 ) ) ) ;
 UPDATE v0 SET v1 = count ( DISTINCT * ) + 1237962480 ;
```

backtrace:
```c
#0 0x80e31c (sqlg_vec_upd+0x5dc)
#1 0x8042f5 (qn_vec_slots+0x5d5)
#2 0x8022f2 (sqlg_vec_qns+0x4c2)
#3 0x81750c (sqlg_vector_subq+0xdc)
#4 0x817c51 (sqlg_vector+0x61)
#5 0x6bd2c5 (sql_compile_1+0x2355)
#6 0x7cba60 (stmt_set_query+0x340)
#7 0x7cd952 (sf_sql_execute+0x922)
#8 0x7cecde (sf_sql_execute_w+0x17e)
#9 0x7d799d (sf_sql_execute_wrapper+0x3d)
#10 0xe214bc (future_wrapper+0x3fc)
#11 0xe28dbe (_thread_boot+0x11e)
#12 0x7f132a3ee609 (start_thread+0xd9)
#13 0x7f132a1be133 (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 `sqlg_vec_upd`
This is a GitHub Issue
repo:virtuoso-opensource
owner:openlink
Title : Fuzzer: Virtuoso 7.2.11 crashed at `sqlg_vec_upd`
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 CHAR(1) NULL , v3 REAL NULL , v2 INT CHECK( ( v2 - v2 ) ) ) ;
 UPDATE v0 SET v1 = count ( DISTINCT * ) + 1237962480 ;
```

backtrace:
```c
#0 0x80e31c (sqlg_vec_upd+0x5dc)
#1 0x8042f5 (qn_vec_slots+0x5d5)
#2 0x8022f2 (sqlg_vec_qns+0x4c2)
#3 0x81750c (sqlg_vector_subq+0xdc)
#4 0x817c51 (sqlg_vector+0x61)
#5 0x6bd2c5 (sql_compile_1+0x2355)
#6 0x7cba60 (stmt_set_query+0x340)
#7 0x7cd952 (sf_sql_execute+0x922)
#8 0x7cecde (sf_sql_execute_w+0x17e)
#9 0x7d799d (sf_sql_execute_wrapper+0x3d)
#10 0xe214bc (future_wrapper+0x3fc)
#11 0xe28dbe (_thread_boot+0x11e)
#12 0x7f132a3ee609 (start_thread+0xd9)
#13 0x7f132a1be133 (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 ---
