Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1xGxzv-00000002k50-0UWd for pgsql-bugs@arkaria.postgresql.org; Wed, 14 Oct 2026 12:22:19 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.98.2) (envelope-from ) id 1xGxzu-00000002s1E-085W for pgsql-bugs@arkaria.postgresql.org; Wed, 14 Oct 2026 12:22:18 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.98.2) (envelope-from ) id 1xGxzt-00000002s14-3FzR for pgsql-bugs@lists.postgresql.org; Wed, 14 Oct 2026 12:22:17 +0000 Received: from mail-yw1-x112d.google.com ([2607:f8b0:4864:20::112d]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.98.2) (envelope-from ) id 1xGxzs-00000001ygN-0VUr for pgsql-bugs@lists.postgresql.org; Wed, 14 Oct 2026 12:22:16 +0000 Received: by mail-yw1-x112d.google.com with SMTP id 00721157ae682-885cf67963eso32485807b3.0 for ; Wed, 14 Oct 2026 05:22:16 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1791980535; cv=none; d=google.com; s=arc-20260327; b=BENA7ym4qaGXs36Ze1B43yEPW1h47cPsPMmLmth1fwpOz6RMYRdfUGNT3PAz+kh8pi IvlzWqkikj+XKE/kiBMq0S/+8eCOxAbr3FhoRCoijfJIWDS0PwiPbSRrie5HqJ/Qk0lJ bXPZ2wyAq+e1QkqAUkfqjdzjtX67GdQH5/TIRRsWbjjeEbXVeyh4HOWGi17nvmMkZVHI z/b+BiC5/6wazC8WWHmyNYh3CIMKiM6B/58Hn+kKcsxLkS8O5MR98kgXIHAPhmyaP+VL //Aw5ZWWm1FlUlyGDthsueAgFwICsRi3RhoNMWFBFNLe1IXUbpT/6LAzzDS22e/R0wOB 9jXQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20260327; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=hWc086yp9yV4VmHaWkQgv7V5CS92OeKHrOEvn3GjPGw=; fh=0gU05YLLGJPkCEQhYJogLk5Z6KBwM/+MojvEZ8eoNTs=; b=Mw5XzwYOHb/VwkSM1SbKskC216uyu8twaA4mDnk7RNk2J2ZkbXMsLjl4v066zQhjF8 K8FiWXOCLRT1wBShO6S45cDaOYWnVhuwrSXVq6X2sbxHjnV4HIwczS7RuDDDKwg7FWej oymOfmFLLRcBmnejdyi66a4SGYMI8py9F/8cNx2gTPg8Q4ug2oOl5iCVNaMguEoqUi1z qwgotBScZLMrvK2KLv48UKlJixdEbtaaU8e7+BCj04T8Wr6N9GMXykfkw6KRE+8QguL5 EkgHuBQHoRpunoVfsOrXtwQM232brmyBnj+Al6n9XSiHJTXDkP7YW89fSqVU0w58RI3s D5Tg==; darn=lists.postgresql.org ARC-Authentication-Results: i=1; mx.google.com; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1791980535; x=1792585335; darn=lists.postgresql.org; h=content-transfer-encoding:content-type:cc:to:subject:message-id :date:from:in-reply-to:references:mime-version:from:to:cc:subject :date:message-id:reply-to:content-type; bh=hWc086yp9yV4VmHaWkQgv7V5CS92OeKHrOEvn3GjPGw=; b=k8PdevrRQw6Taezd7PRf6XExWaY+iyszReZ90PDUb41/K14fdEGVoVe7OHZg9Kh6tP DxEoV9m+g4isSkjvN8+VBjBegY/wRvqnAPTB1dCGmB22rgUcF6xvplfQtbcIMc+Kz2S+ wIgnogHr4TtGme7LYRTlEqS1X68t5iD6Ztvt5+H2hahYBnIw+rRJB39xbWUuQM2Ml4/z fI/XXnKSUr2hfxgbs2FKx342T196DJq8FMnuTNDfBfo0jXC9F+qhOqLfewYKPzFJv13m ujRB3iX2+EZRm+eVzWN0ltysUl1S62HG9FiiCn+ZrgooTx63UDMDZQq3TypoD2hEktnC +FQg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20260707; t=1791980535; x=1792585335; h=content-transfer-encoding:content-type:cc:to:subject:message-id :date:from:in-reply-to:references:mime-version:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to :content-type; bh=hWc086yp9yV4VmHaWkQgv7V5CS92OeKHrOEvn3GjPGw=; b=WosMPSIvBI/cip4ArF8YoZVxWZYoX9VwrlSx/FCJEFBePSb+DQa6YB8VK1AUqhuX5B /ntl2fv8ZFE+ixhlMsMLggN6CywDQ47FVAItMMivC53ytjgGJf6puburmrMaQlBPRdP8 DooCcSdjwnXwjJvYaJ3g059OgJZISvXuDSLjQPG2s7uEg+Ghm6e480qCz2HZZi4cJaco 3ftkVtwuLlhs6NNoqCbdw9hnvVgwnq1hOCIzjzoHe/EicRojnu69JGMPEPIYKRTdy9g4 kZLWM9Cku5EqcBYkP3cXvP0LqMyi5W+gPTIuw+PeR4T8Cb6IO7A3Z9rFpZTZTc0a0+Qr AYJg== X-Forwarded-Encrypted: i=1; AKwUvByQh2B5qADhW22BrZ4RITzbMAtiTfqRMiBkH7G0MX2hxoyv/qpMOVCZSEH89pquyl35RTHrDjLqFTK3@lists.postgresql.org X-Gm-Message-State: AFq9FYJjov+8HLQqhTjTsULzdim3iu0/utuSdVzVr7zu/CT7650req0G kXu647p3SPlG3GPxRGqWyYE6JXPGTiXgLwMVJ3FG/8wytqfaNIqcVZRCs3InNW/QBwTrvf3NCnL 73buPy7pmw0wX1KZmR7R7Q4cPIfKcBdM= X-Gm-Gg: AYBFou0x7sOCOnjtwu9GB5ypsioyDONgjrVXesvPuXFsZzNSCZbBC6pMRw463pYBuv/ NnYdjAaz7rxIzVlaqcEVnsR+dw52NEO/D0MrbjTbM42d8y4npRJgGGEiwoMD03wqTQ5/BVKWesF ZRCxxfre0GCqCZD2Om0wXiIVlutd7zjOU0RuqcXFT6hr146yCn/ys+LH/qd3cI7/bzujE7IZooI 48q74bjCAP6eqS1LN9G4UC2tyHYHVyQ8kAytFfGlZrWoDrDpW4B/vL6GqOS62gwqZkaxZTHNost Yr0YZx/sA2vwhuaL79NF/eYjmDD4eO+9XTb2Yl2i4/0q6SRjLdOc/dXHMKz1gmGh/8TqGJTiZ4e vmq327InliEQpqHDgKvwdAA== X-Received: by 2002:a05:690c:ed6:b0:8b0:acc6:8e5c with SMTP id 00721157ae682-8b0acc6b05amr31650137b3.9.1791980535423; Wed, 14 Oct 2026 05:22:15 -0700 (PDT) MIME-Version: 1.0 References: <19597-39c532e61d78dff6@postgresql.org> In-Reply-To: From: Ayush Tiwari Date: Wed, 14 Oct 2026 17:52:03 +0530 X-Gm-Features: AclHuK_OTBIZJGfJMI7zei3p3nOEs74uP9JDz3ifyd_fxY2oDLEmPRGcErV12Yo Message-ID: Subject: Re: BUG #19597: getQuadrant: impossible case is reachable To: John Naylor Cc: Andrey Rachitskiy , malis@pgrust.com, pgsql-bugs@lists.postgresql.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk Hi, On Wed, 14 Oct 2026 at 17:33, John Naylor wrote: > > On Thu, Oct 8, 2026 at 2:10=E2=80=AFPM John Naylor wrote: > > v4 0002 fixes this case (note for those following along: needs a > > reindex between 0001 and 0002 for it to give the right answer). I've > > left 0002 how Claude wrote it for now, but it can probably just be > > squashed into 0001. I'm not yet sure if this series fixes all the bugs > > in this path, so I'll hold off on polishing and committing just yet. > > Further fuzzing didn't find any more bugs (in this path), so pushed > after simplifying some comments. Thanks a lot for taking care of this, John! Regards, Ayush