1 2 3
// PR c++/43652 static const char const * stdin_name = "<stdin>"; // { dg-error "19:duplicate" }