------- 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