// PR c++/43652

static const char const * stdin_name = "<stdin>";  // { dg-error "19:duplicate" }