Re: BUG #17800: ON CONFLICT DO UPDATE fails to detect incompatible fields that leads to a server crash

On Sat, Feb 18, 2023 at 08:00:00AM +0000, PG Bug reporting form wrote:
> INSERT INTO t VALUES (1), (2) ON CONFLICT(a)
> DO UPDATE SET (a, b) = (SELECT t.a, t.b || '+');
>
> But when executing:
> UPDATE t SET (a, b) = (SELECT t.a, t.b || '+');
> I get:
> ERROR: attribute 1 of type tp1 has wrong type
> DETAIL: Table has type text, but query expects integer.

Reproduced here.

> By comparing two callstacks I can see that in the second case
> ExecInterpExprStillValid() is executed after the latest
> ExecEvalExprSwitchContext().
> The ExecInterpExprStillValid() function contains:
> /* skip the check during further executions */
> state->evalfunc = (ExprStateEvalFunc) state->evalfunc_private;
>
> If just call evalfunc_private() here, the first case ends with the error as
> expected.

Yeah, it would sound logic to me to have consistency with the
ExecEvalExprSwitchContext() checks here, so it seems like the executor
has missed the call for a long time. Would you like to write a patch,
perhaps? Did you bisect the origin of that?
--
Michael