https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69682 --- Comment #4 from Mike Liang <mtliang at synopsys dot com> --- I see. With -fsignalling-nans the 004t.gimple at -O1 is generated as I expected and all is well. Thanks for you help!