test/C++Frontend/2003-11-04-CatchLabelName.cpp

#include <string>

void bar();

void test() {
  try {
    bar();
  } catch (std::string) {}
}