1
0
mirror of https://github.com/postgres/postgres.git synced 2025-09-03 15:22:11 +03:00

Avoid overflow hazard when clamping group counts to "long int".

Several places in the planner tried to clamp a double value to fit
in a "long" by doing
	(long) Min(x, (double) LONG_MAX);
This is subtly incorrect, because it casts LONG_MAX to double and
potentially back again.  If long is 64 bits then the double value
is inexact, and the platform might round it up to LONG_MAX+1
resulting in an overflow and an undesirably negative output.

While it's not hard to rewrite the expression into a safe form,
let's put it into a common function to reduce the risk of someone
doing it wrong in future.

In principle this is a bug fix, but since the problem could only
manifest with group count estimates exceeding 2^63, it seems unlikely
that anyone has actually hit this or will do so anytime soon.  We're
fixing it mainly to satisfy fuzzer-type tools.  That being the case,
a HEAD-only fix seems sufficient.

Andrey Lepikhov

Discussion: https://postgr.es/m/ebbc2efb-7ef9-bf2f-1ada-d6ec48f70e58@postgrespro.ru
This commit is contained in:
Tom Lane
2022-05-21 13:13:41 -04:00
parent ac1ae477f8
commit a916cb9d5a
4 changed files with 33 additions and 6 deletions

View File

@@ -71,6 +71,7 @@
#include "postgres.h"
#include <limits.h>
#include <math.h>
#include "access/amapi.h"
@@ -215,6 +216,32 @@ clamp_row_est(double nrows)
return nrows;
}
/*
* clamp_cardinality_to_long
* Cast a Cardinality value to a sane long value.
*/
long
clamp_cardinality_to_long(Cardinality x)
{
/*
* Just for paranoia's sake, ensure we do something sane with negative or
* NaN values.
*/
if (isnan(x))
return LONG_MAX;
if (x <= 0)
return 0;
/*
* If "long" is 64 bits, then LONG_MAX cannot be represented exactly as a
* double. Casting it to double and back may well result in overflow due
* to rounding, so avoid doing that. We trust that any double value that
* compares strictly less than "(double) LONG_MAX" will cast to a
* representable "long" value.
*/
return (x < (double) LONG_MAX) ? (long) x : LONG_MAX;
}
/*
* cost_seqscan