1 // { dg-options "-Wall" }
2 // PR c++/15083
3 
4 extern "C" int printf(const char*,...);
5 struct Counter {
CounterCounter6   Counter(){printf("Hello World.\n");}
7 };
8 template< typename T >
resetData()9 void resetData() {
10   new Counter();
11 }
main()12 int main() {
13   resetData<int>();
14 }
15