------- Comment #5 from gpiez at web dot de 2010-06-11 12:09 ------- So is it provable that for a "T op T" to be stored in T no narrowing takes place?
If the answer for T == char is no and for T == int it is yes this is rather fishy ;-) -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44500