On Mon, 10 Feb 2020, Ulrich Weigand wrote: > Given the above rule, in the last case __FINITE_MATH_ONLY__ should > also be 0, right?
Yes. > I'm not sure how this can be implemented in the current option handling > framework. The -ffast-math handling case would have to check whether > or not there is any explicit use of -f(no-)finite-math-only; is there > any infrastructure to readily perform such a test? Pass opts_set as well as opts to set_fast_math_flags, and use it for checking whether an option was explicitly specified (whether enabled or disabled) on the command line. -- Joseph S. Myers jos...@codesourcery.com