`var_pop` on constant values may produce wrong result.
- Dominant language
- Go
- Stars
- 40.5k
- Forks
- 6.2k
- PR merge metrics
- PR metrics pending
Description
### 1. Minimal reproduce step (Required)
Firstly, execute `init.sql` to create the table. Then executing `error.sql` yields unexpected results. Note that reproducing these results might not be entirely stable. Typically, it can be completed within three attempts. You can try executing `error.sql` multiple times or execute `init.sql` again to rebuild the table.
[init.sql.txt](https://github.com/pingcap/tidb/files/15147041/init.sql.txt)
[error.sql.txt](https://github.com/pingcap/tidb/files/15147039/error.sql.txt)
### 2. What did you expect to see? (Required)
The SQL statement calculates the var_pop value of the constant expression `604102521670485727`, and the result should be 0.
### 3. What did you see instead (Required)
However, the statement results are unstable; in both the multi-node and single-node versions, there are some 0 and non-zero values.
[output_re_main2.log](https://github.com/pingcap/tidb/files/15147043/output_re_main2.log)
[output_re_single2.log](https://github.com/pingcap/tidb/files/15147044/output_re_single2.log)
### 4. What is your TiDB version? (Required)
```
Release Version: v8.0.0
Edition: Community
Git Commit Hash: 8ba1fa452b1ccdbfb85879ea94b9254aabba2916
Git Branch: HEAD
UTC Build Time: 2024-03-28 14:22:15
GoVersion: go1.21.4
Race Enabled: false
Check Table Before Drop: false
Store: tikv
```
topology:
distributed.yaml:
```
global:
user: "tidb"
ssh_port: 22
deploy_dir: "/tidb-deploy"
data_dir: "/tidb-data"
pd_servers:
- host: 10.0.2.31
tidb_servers:
- host: 10.0.2.21
tikv_servers:
- host: 10.0.2.11
- host: 10.0.2.12
- host: 10.0.2.13
monitoring_servers:
- host: 10.0.2.8
grafana_servers:
- host: 10.0.2.8
alertmanager_servers:
- host: 10.0.2.8
tiflash_servers:
- host: 10.0.2.32
```
single.yaml
```
global:
user: "tidb"
ssh_port: 22
deploy_dir: "/tidb-deploy"
data_dir: "/tidb-data"
pd_servers:
- host: 10.0.2.73
tidb_servers:
- host: 10.0.2.72
tikv_servers:
- host: 10.0.2.71
tiflash_servers:
- host: 10.0.2.74
```
### about us
We are the BASS team from the School of Cyber Science and Technology at Beihang University. Our main focus is on system software security, operating systems, and program analysis research, as well as the development of automated program testing frameworks for detecting software defects. Using our self-developed database vulnerability testing tool, we have identified the above-mentioned vulnerabilities in TiDB that may lead to database logic error.
Contributor guide
Assessment
This issue has not been assessed yet.