// PR c++/94742
// { dg-do compile { target c++11 } }
// { dg-options "-Wreturn-type" }

template <class T>
[[noreturn]] void
foo (T const &t, char const *)
{
  throw T (t);
}

template <class U>
int
bar ()
{
  foo (42, __FUNCTION__);
}	// { dg-bogus "no return statement in function returning non-void" }

int
main ()
{
  bar<long>();
}