Re: [RFA] Close PR 150: division by zero

[Neil Booth <neil at daikokuya dot demon dot co dot uk>]

Joseph S. Myers wrote:-

> Since -Wall is just a collection of other options, putting it in -Wall
> doesn't work without also adding the -Wdiv-by-zero option.

If I remove the floating point warning and do the skip_evaluation
thing, then it seems there is no remaining valid reason for dividing
by zero, and so there is little point in turning the warning off.  Or
do you still prefer a cl option anyway?

> > Hmm, that's not covered.  Any hints on how to get that right?
> 
> At least for C, using skip_evaluation.

Thanks; I'll have a look.

Neil.