[Bug c++/14710] Warning about useless casts

[paolo.carlini at oracle dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=14710

--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-03-14 
11:47:30 UTC ---
Indeed, I was vaguely considering similar things..