Hans, it’s challenging to give sensible advice/guesses without knowing which 
test is failing. Maybe I missed this information in the replies (please CC the 
list if you want follow up answers from more than just David). I am not a GMP 
developer, but note that GMP is regularly tested with ubsan and results are 
included at https://gmplib.org/devel/tm/gmp/date.html 
<https://gmplib.org/devel/tm/gmp/date.html>.

> On Oct 25, 2019, at 15:32, David Blaikie via cfe-users 
> <cfe-users@lists.llvm.org> wrote:
> 
> UBSan doesn't catch everything - you could also try ASan and/or valgrind, 
> etc. (MSan if you want, but that's a bit fussier/more work to use)
> 
> On Fri, Oct 25, 2019 at 3:16 PM Hans Åberg <haber...@telia.com 
> <mailto:haber...@telia.com>> wrote:
> That is the reason I tried the UBSan, but as it changes optimization, it does 
> not wrok.
> 
> 
> > On 26 Oct 2019, at 00:14, David Blaikie <dblai...@gmail.com 
> > <mailto:dblai...@gmail.com>> wrote:
> > 
> > Yeah, coming across compiler bugs does happen - but more often it's bugs in 
> > input programs. (one of the reasons compiler engineers aren't likely to 
> > jump on reproducing and reducing misbehaving programs, because on the odds, 
> > it's not a bug in the compiler)
> 
> _______________________________________________
> cfe-users mailing list
> cfe-users@lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-users

_______________________________________________
cfe-users mailing list
cfe-users@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-users

Reply via email to