The ‘make check’ of GMP 6.1.2. One of the tests fail, but with any UBSan ‘undefined’ option enabled (in ‘configure’), none. > On 25 Oct 2019, at 18:35, David Blaikie <dblaikie at gmail.com> wrote: > > You mentioned "the check gives one error" - which check?