On 02/02/2016 22:59, Eric Blake wrote: > I'd be okay with this patch, if you want to make it a formal > submission, and if no one else chimes in with any opinion other > than disgust at clang's shenanigans.
I'm not okay with the patch. What's wrong with -fno-sanitize=float-divide-by-zero? GCC accepts it, the only difference is in having a more useful default. Paolo