Paolo Bonzini <pbonz...@redhat.com> writes: > 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.
Agreed. Do not complicate the code to placate some tool's silliness when you can tell the tool to stop being silly instead.