On 2023-05-14 17:46, Carlo Arenas wrote:
it is not a false positive
Why not? I don't see how the behavior is undefined on that platform. Admittedly the standard's wording is fuzzy here.
Anyway, I ran into that problem about the same time that you did, and fixed it in Gnulib[1] before reading your email.
[1]: https://lists.gnu.org/r/bug-gnulib/2023-05/msg00073.html