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(at)gmail(dot)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