------- Comment #12 from pcarlini at suse dot de 2006-09-07 01:33 ------- (In reply to comment #11) > F.8 is *illustrative* of transformations that are *not* permitted. It > doesn't permit anything.
Where do you read that in F.8.2 ?!? I read: 0 * x -> 0.0 The expressions 0 * x and 0.0 are not equivalent if x is NaN, infinite, or -0 Where do you read that in all the other cases (e.g., when x is a "normal" number) 0 * x and 0.0 are not equivalent?!? -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28408