[sqlsmith] Failed assertion in brin_minmax_multi_distance_float4 on REL_14_STABLE - Mailing list pgsql-hackers

Hi,

sqlsmith triggers the following assertion when testing REL_14_STABLE:

    TRAP: FailedAssertion("a1 <= a2", File: "brin_minmax_multi.c", Line: 1879, PID: 631814)

I can reproduce it with the following query on a fresh regression
database:

    insert into public.brintest_multi (float4col) values (real 'nan');

The branch was at f6162c020c while testing, backtrace below.

regards,
Andreas

(gdb) bt
#0  0x00007f703cc46ce1 in raise () from /lib/x86_64-linux-gnu/libc.so.6
#1  0x00007f703cc30537 in abort () from /lib/x86_64-linux-gnu/libc.so.6
#2  0x000055b17517c521 in ExceptionalCondition at assert.c:69
#3  0x000055b174d25871 in brin_minmax_multi_distance_float4 (fcinfo=<optimized out>) at brin_minmax_multi.c:1879
#4  0x000055b1751853ba in FunctionCall2Coll (flinfo=flinfo@entry=0x55b176913d10, collation=collation@entry=0,
arg1=<optimizedout>, 
 
    arg2=<optimized out>) at fmgr.c:1160
#5  0x000055b174d23a41 in build_distances (distanceFn=distanceFn@entry=0x55b176913d10, colloid=0, 
    eranges=eranges@entry=0x55b17693fad0, neranges=neranges@entry=5) at brin_minmax_multi.c:1352
#6  0x000055b174d256be in compactify_ranges (max_values=32, ranges=0x55b176945708, bdesc=<optimized out>) at
brin_minmax_multi.c:1822
#7  brin_minmax_multi_serialize (bdesc=<optimized out>, src=94220687005448, dst=0x55b17693ae10) at
brin_minmax_multi.c:2386
#8  0x000055b174d2ae0d in brin_form_tuple (brdesc=brdesc@entry=0x55b176914988, blkno=blkno@entry=15, 
    tuple=tuple@entry=0x55b17693aaa0, size=size@entry=0x7ffffcc6d4f8) at brin_tuple.c:165
#9  0x000055b174d20a5f in brininsert (idxRel=0x7f703b2ae170, values=0x7ffffcc6d610, nulls=0x7ffffcc6d5f0,
heaptid=0x55b17690da78,