1// { dg-final { scan-assembler "_Z1fSsB3fooS_" } }
2
3namespace std {
4  template <class T> struct char_traits {};
5  template <class T> struct allocator {};
6  template <class T, class U, class V>
7  struct __attribute ((abi_tag ("foo"))) basic_string { };
8  typedef basic_string<char,char_traits<char>,allocator<char> > string;
9}
10
11void f(std::string,std::string) {}
12