http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47214
--- Comment #2 from Paul Koning <pkoning at gcc dot gnu.org> 2011-01-11 12:00:56 UTC --- Not if you look at that call in isolation, true. But right before it in the test program is a check that does exactly this.