Re: BUG #19066: postgresql-18.0/src/backend/optimizer/geqo/geqo_ox2.c:86: Array index check in wrong place ?

Tom Lane <tgl@sss.pgh.pa.us>

From: Tom Lane <tgl@sss.pgh.pa.us>
To: dcb314@hotmail.com
Cc: pgsql-bugs@lists.postgresql.org
Date: 2025-09-26T14:53:26Z
Lists: pgsql-bugs
PG Bug reporting form <noreply@postgresql.org> writes:
> Static analyser cppcheck says:

> postgresql-18.0/src/backend/optimizer/geqo/geqo_ox2.c:86:22: style: Array
> index 'j' is used before limits check. [arrayIndexThenCheck]

Did your static analyzer not notice that this dead code is
not even compiled?  I don't have a lot of faith in analyzers
that ignore #ifdefs.

(It's fair to ask why we haven't removed this code altogether
... laziness I guess, or waiting for something better than
GEQO to come along.  But expending effort on fixing it
is definitely not in the cards.)

			regards, tom lane