The following valid code snippet triggers an ICE since at least GCC 2.95.3:
============================================ typedef void (*fptr)() __attribute((noreturn)); template<int> void foo(); template<fptr> void bar(); fptr f = bar< foo<0> >; ============================================ bug.cc:6: internal compiler error: in convert_nontype_argument, at cp/pt.c:4669 Please submit a full bug report, [etc.] -- Summary: ICE with function pointers and attribute noreturn Product: gcc Version: 4.3.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, monitored Severity: normal Priority: P3 Component: c++ AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: reichelt at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34938