Re: -Wformat-diag: floating-point or floating point?

[Richard Earnshaw (lists)]

On 22/05/2019 13:17, Bill Schmidt wrote:

> "We should use floating point."  

In fact, since we're compiler folk, we just say it's undefined behaviour
and optimize it to

"."

:-P

R.