BUG #18481: BIGINT Out of Range Error When Selecting Data

The following bug has been logged on the website:

Bug reference:      18481
Logged by:          Wenking Deng
Email address:      dengwenking@gmail.com
PostgreSQL version: 16.0
Operating system:   Ubuntu
Description:

Create the table and insert the values:

CREATE TABLE t0 (c_0 BIGINT, c_1 BIGINT, c_2 BIGINT);
INSERT INTO t0 VALUES (-9223372036854775808, 145477110, 0);

Then I executed the following query:

SELECT t0.c_1 
FROM t0 
WHERE (t0.c_2 <> t0.c_0 * t0.c_1 AND t0.c_0 = -9223372036854775808) 
AND t0.c_1 = 145477110;

Expected Behavior:
The query should return: 145477110

Actual Behavior:
The query results in an error: ERROR: bigint out of range