[cfe-users] Clang9 UBSan and GMP

[Hans Åberg via cfe-users]

> On 31 Oct 2019, at 18:40, David Blaikie <dblaikie at gmail.com> wrote:
> 
>> Right, but that is something one would avoid when computing arithmetical results.
> 
> One would try to, yes - but that's sort of what the whole discussion is resolving around: Is the code correct? I don't know. I wouldn't assume it is (I'm not assuming it isn't either) - but without a reduced test case that gets to the root of the difference in behavior, we don't know if the code is correct.

Nor whether it is a compiler bug.