Hi, On 2020-08-31 17:35:14 -0300, Ranier Vilela wrote: > Em seg., 31 de ago. de 2020 às 17:05, Andres Freund <and...@anarazel.de> > escreveu: > > So it seems Rainier needs to turn this test off, because it actually is > > intentional. > > > No problem. > If intentional, the code at TransactionIdPrecedes, already knows that > overflow can occur > and trusts that the compiler will save it.
I don't know what you mean with "saving" it. Again, unsigned integer overflow is well specified in C. All that's needed is for the compiler to implement normal C.
