1// PR c++/19739
2
3void Dummy() __attribute__(( , ));
4void Dummy() {}
5
6int main (int argc, char **argv)
7{
8    Dummy();
9    return 0;
10}
11