------- Comment #3 from rguenth at gcc dot gnu dot org 2008-12-01 12:49 ------- As I said, for the first case we optimize away the promotions before the warning code comes along.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38341
rguenth at gcc dot gnu dot org Mon, 01 Dec 2008 04:51:03 -0800
------- Comment #3 from rguenth at gcc dot gnu dot org 2008-12-01 12:49 ------- As I said, for the first case we optimize away the promotions before the warning code comes along.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38341