http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55737
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-19 16:13:08 UTC --- because it doesn't instantiate a template that requires the divide-by-zero in an integer constant context
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55737
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-12-19 16:13:08 UTC --- because it doesn't instantiate a template that requires the divide-by-zero in an integer constant context