On Tue, 10 Oct 2023 at 12:33, Bowen Shi <zxwsbg12...@gmail.com> wrote: > > Dears, > > I noticed that in the `check_GUC_init` function, there is a direct > comparison using the != operator for two double values, which seems > problematic.
I don't think I understand the problem. The code checks that the dynamic initialization values are equal to the current value of the GUC, or 0. Why would a "margin for error" of 1e-6 be of any use? Why was the margin of 1e-6 chosen instead of one based on the exponent of the GUC's current value (if any)? In my view, this would break the code, not fix it, as it would decrease the cases where we detect broken GUC registrations. Kind regards, Matthias van de Meent Neon (https://neon.tech)