TestSimplifyUsing() : TestFixture("TestSimplifyUsing") {}

Settings settings0;

Settings settings1;

Settings settings2;

void run() override {

settings0.severity.enable(Severity::style);

settings2.severity.enable(Severity::style);

// If there are unused templates, keep those

settings0.checkUnusedTemplates = true;

settings1.checkUnusedTemplates = true;

settings2.checkUnusedTemplates = true;

TEST_CASE(simplifyUsing1);

TEST_CASE(simplifyUsing2);

TEST_CASE(simplifyUsing3);

TEST_CASE(simplifyUsing4);

TEST_CASE(simplifyUsing5);

TEST_CASE(simplifyUsing6);

TEST_CASE(simplifyUsing7);

TEST_CASE(simplifyUsing8);

TEST_CASE(simplifyUsing9);

TEST_CASE(simplifyUsing10);

TEST_CASE(simplifyUsing11);

TEST_CASE(simplifyUsing12);

TEST_CASE(simplifyUsing13);

TEST_CASE(simplifyUsing14);

TEST_CASE(simplifyUsing15);

TEST_CASE(simplifyUsing16);

TEST_CASE(simplifyUsing17);

TEST_CASE(simplifyUsing18);

TEST_CASE(simplifyUsing19);

TEST_CASE(simplifyUsing20);

TEST_CASE(simplifyUsing21);

TEST_CASE(simplifyUsing22);

TEST_CASE(simplifyUsing23);

TEST_CASE(simplifyUsing24);

TEST_CASE(simplifyUsing25);

TEST_CASE(simplifyUsing26); // #11090

TEST_CASE(simplifyUsing8970);

TEST_CASE(simplifyUsing8971);

TEST_CASE(simplifyUsing8976);

TEST_CASE(simplifyUsing9040);

TEST_CASE(simplifyUsing9042);

TEST_CASE(simplifyUsing9191);

TEST_CASE(simplifyUsing9381);

TEST_CASE(simplifyUsing9385);

TEST_CASE(simplifyUsing9388);

TEST_CASE(simplifyUsing9518);

TEST_CASE(simplifyUsing9757);

TEST_CASE(simplifyUsing10008);

TEST_CASE(simplifyUsing10054);

TEST_CASE(simplifyUsing10136);

TEST_CASE(simplifyUsing10171);

TEST_CASE(simplifyUsing10172);

TEST_CASE(simplifyUsing10173);

TEST_CASE(simplifyUsing10335);

TEST_CASE(scopeInfo1);

TEST_CASE(scopeInfo2);

}

#define tok(...) tok_(__FILE__, __LINE__, __VA_ARGS__)

std::string tok_(const char* file, int line, const char code[], Settings::PlatformType type = Settings::Native, bool debugwarnings = true) {

errout.str("");

settings0.certainty.enable(Certainty::inconclusive);

settings0.debugwarnings = debugwarnings;

settings0.platform(type);

Tokenizer tokenizer(&settings0, this);

std::istringstream istr(code);

ASSERT_LOC(tokenizer.tokenize(istr, "test.cpp"), file, line);

return tokenizer.tokens()->stringifyList(nullptr);

}

void simplifyUsing1() {

const char code[] = "class A\n"

"{\n"

"public:\n"

" using duplicate = wchar_t;\n"

" void foo() {}\n"

"};\n"

"using duplicate = A;\n"

"int main()\n"

"{\n"

" duplicate a;\n"

" a.foo();\n"

" A::duplicate c = 0;\n"

"}";

const char expected[] =

"class A "

"{ "

"public: "

""

"void foo ( ) { } "

"} ; "

"int main ( ) "

"{ "

"A a ; "

"a . foo ( ) ; "

"wchar_t c ; c = 0 ; "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing2() {

const char code[] = "class A;\n"

"using duplicate = A;\n"

"class A\n"

"{\n"

"public:\n"

"using duplicate = wchar_t;\n"

"duplicate foo() { wchar_t b; return b; }\n"

"};";

const char expected[] =

"class A ; "

"class A "

"{ "

"public: "

""

"wchar_t foo ( ) { wchar_t b ; return b ; } "

"} ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing3() {

const char code[] = "class A {};\n"

"using duplicate = A;\n"

"wchar_t foo()\n"

"{\n"

"using duplicate = wchar_t;\n"

"duplicate b;\n"

"return b;\n"

"}\n"

"int main()\n"

"{\n"

"duplicate b;\n"

"}";

const char expected[] =

"class A { } ; "

"wchar_t foo ( ) "

"{ "

""

"wchar_t b ; "

"return b ; "

"} "

"int main ( ) "

"{ "

"A b ; "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing4() {

const char code[] = "using s32 = int;\n"

"using u32 = unsigned int;\n"

"void f()\n"

"{\n"

" s32 ivar = -2;\n"

" u32 uvar = 2;\n"

" return uvar / ivar;\n"

"}";

const char expected[] =

"void f ( ) "

"{ "

"int ivar ; ivar = -2 ; "

"unsigned int uvar ; uvar = 2 ; "

"return uvar / ivar ; "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing5() {

const char code[] =

"using YY_BUFFER_STATE = struct yy_buffer_state *;\n"

"void f()\n"

"{\n"

" YY_BUFFER_STATE state;\n"

"}";

const char expected[] =

"void f ( ) "

"{ "

"struct yy_buffer_state * state ; "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing6() {

const char code[] =

"namespace VL {\n"

" using float_t = float;\n"

" inline VL::float_t fast_atan2(VL::float_t y, VL::float_t x){}\n"

"}";

const char expected[] =

"namespace VL { "

""

"float fast_atan2 ( float y , float x ) { } "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing7() {

const char code[] = "using abc = int; "

"Fred :: abc f ;";

const char expected[] = "Fred :: abc f ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing8() {

const char code[] = "using INT = int;\n"

"using UINT = unsigned int;\n"

"using PINT = int *;\n"

"using PUINT = unsigned int *;\n"

"using RINT = int &;\n"

"using RUINT = unsigned int &;\n"

"using RCINT = const int &;\n"

"using RCUINT = const unsigned int &;\n"

"INT ti;\n"

"UINT tui;\n"

"PINT tpi;\n"

"PUINT tpui;\n"

"RINT tri;\n"

"RUINT trui;\n"

"RCINT trci;\n"

"RCUINT trcui;";

const char expected[] =

"int ti ; "

"unsigned int tui ; "

"int * tpi ; "

"unsigned int * tpui ; "

"int & tri ; "

"unsigned int & trui ; "

"const int & trci ; "

"const unsigned int & trcui ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing9() {

const char code[] = "using S = struct s;\n"

"using PS = S *;\n"

"using T = struct t { int a; };\n"

"using TP = T *;\n"

"using U = struct { int a; };\n"

"using V = U *;\n"

"using W = struct { int a; } *;\n"

"S s;\n"

"PS ps;\n"

"T t;\n"

"TP tp;\n"

"U u;\n"

"V v;\n"

"W w;";

const char expected[] =

"struct t { int a ; } ; "

"struct U { int a ; } ; "

"struct Unnamed0 { int a ; } ; "

"struct s s ; "

"struct s * ps ; "

"struct t t ; "

"struct t * tp ; "

"struct U u ; "

"struct U * v ; "

"struct Unnamed0 * w ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing10() {

const char code[] = "using S = union s;\n"

"using PS = S *;\n"

"using T = union t { int a; float b ; };\n"

"using TP = T *;\n"

"using U = union { int a; float b; };\n"

"using V = U *;\n"

"using W = union { int a; float b; } *;\n"

"S s;\n"

"PS ps;\n"

"T t;\n"

"TP tp;\n"

"U u;\n"

"V v;\n"

"W w;";

const char expected[] =

"union t { int a ; float b ; } ; "

"union U { int a ; float b ; } ; "

"union Unnamed0 { int a ; float b ; } ; "

"union s s ; "

"union s * ps ; "

"union t t ; "

"union t * tp ; "

"union U u ; "

"union U * v ; "

"union Unnamed0 * w ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing11() {

const char code[] = "using abc = enum { a = 0 , b = 1 , c = 2 };\n"

"using XYZ = enum xyz { x = 0 , y = 1 , z = 2 };\n"

"abc e1;\n"

"XYZ e2;";

const char expected[] = "enum abc { a = 0 , b = 1 , c = 2 } ; "

"enum xyz { x = 0 , y = 1 , z = 2 } ; "

"enum abc e1 ; "

"enum xyz e2 ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing12() {

const char code[] = "using V1 = vector<int>;\n"

"using V2 = std::vector<int>;\n"

"using V3 = std::vector<std::vector<int> >;\n"

"using IntListIterator = std::list<int>::iterator;\n"

"V1 v1;\n"

"V2 v2;\n"

"V3 v3;\n"

"IntListIterator iter;";

const char expected[] = "vector < int > v1 ; "

"std :: vector < int > v2 ; "

"std :: vector < std :: vector < int > > v3 ; "

"std :: list < int > :: iterator iter ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing13() {

const char code[] = "using Func = std::pair<int(*)(void*), void*>;\n"

"using CallQueue = std::vector<Func>;\n"

"int main() {\n"

" CallQueue q;\n"

"}";

const char expected[] = "int main ( ) { "

"std :: vector < std :: pair < int ( * ) ( void * ) , void * > > q ; "

"}";

ASSERT_EQUALS(expected, tok(code));

ASSERT_EQUALS("", errout.str());

}

void simplifyUsing14() {

const char code[] = "template <typename F, unsigned int N> struct E"

"{"

" using v = E<F,(N>0)?(N-1):0>;"

" using val = typename add<v,v>::val;"

" FP_M(val);"

"};"

"template <typename F> struct E <F,0>"

"{"

" using nal = typename D<1>::val;"

" FP_M(val);"

"};";

TODO_ASSERT_THROW(tok(code, Settings::Native, false), InternalError); // TODO: Do not throw AST validation exception

//ASSERT_EQUALS("", errout.str());

}

void simplifyUsing15() {

{

const char code[] = "using frame = char [10];\n"

"frame f;";

const char expected[] = "char f [ 10 ] ;";

ASSERT_EQUALS(expected, tok(code));

}

{

const char code[] = "using frame = unsigned char [10];\n"

"frame f;";

const char expected[] = "unsigned char f [ 10 ] ;";

ASSERT_EQUALS(expected, tok(code));

}

}

void simplifyUsing16() {

const char code[] = "using MOT8 = char;\n"

"using CHFOO = MOT8 [4096];\n"

"using STRFOO = struct {\n"

" CHFOO freem;\n"

"};\n"

"STRFOO s;";

const char expected[] = "struct STRFOO { "

"char freem [ 4096 ] ; "

"} ; "

"struct STRFOO s ;";

ASSERT_EQUALS(expected, tok(code));

ASSERT_EQUALS("", errout.str());

}

void simplifyUsing17() {

const char code[] = "class C1 {};\n"

"using S1 = class S1 {};\n"

"using S2 = class S2 : public C1 {};\n"

"using S3 = class {};\n"

"using S4 = class : public C1 {};\n"

"S1 s1;\n"

"S2 s2;\n"

"S3 s3;\n"

"S4 s4;";

const char expected[] = "class C1 { } ; "

"class S1 { } ; "

"class S2 : public C1 { } ; "

"class S3 { } ; "

"class S4 : public C1 { } ; "

"class S1 s1 ; "

"class S2 s2 ; "

"class S3 s3 ; "

"class S4 s4 ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing18() {

const char code[] = "{ { { using a = a; using a; } } }";

tok(code); // don't crash

}

void simplifyUsing19() {

const char code[] = "namespace a {\n"

"using b = int;\n"

"void foo::c() { }\n"

"void foo::d() { }\n"

"void foo::e() {\n"

" using b = float;\n"

"}\n"

"}";

tok(code); // don't hang

}

void simplifyUsing20() {

const char code[] = "namespace a {\n"

"namespace b {\n"

"namespace c {\n"

"namespace d {\n"

"namespace e {\n"

"namespace f {\n"

"namespace g {\n"

"using Changeset = ::IAdaptionCallback::Changeset;\n"

"using EProperty = searches::EProperty;\n"

"using ChangesetValueType = Changeset::value_type;\n"

"namespace {\n"

" template <class T>\n"

" auto modify(std::shared_ptr<T>& p) -> boost::optional<decltype(p->modify())> {\n"

" return nullptr;\n"

" }\n"

" template <class T>\n"

" std::list<T> getValidElements() {\n"

" return nullptr;\n"

" }\n"

"}\n"

"std::shared_ptr<ResourceConfiguration>\n"

"foo::getConfiguration() {\n"

" return nullptr;\n"

"}\n"

"void\n"

"foo::doRegister(const Input & Input) {\n"

" UNUSED( Input );\n"

"}\n"

"foo::MicroServiceReturnValue\n"

"foo::post(SearchesPtr element, const Changeset& changeset)\n"

"{\n"

" using EProperty = ab::ep;\n"

" static std::map<EProperty, std::pair<ElementPropertyHandler, CheckComponentState>> updateHandlers =\n"

" {\n"

" {EProperty::Needle, {&RSISearchesResource::updateNeedle, &RSISearchesResource::isSearcherReady}},\n"

" {EProperty::SortBy, {&RSISearchesResource::updateResultsSorting, &RSISearchesResource::isSearcherReady}}\n"

" };\n"

" return nullptr;\n"

"}\n"

"}}}}}}}";

tok(code); // don't hang

}

void simplifyUsing21() {

const char code[] = "using a = b;\n"

"enum {}";

tok(code); // don't crash

}

void simplifyUsing22() {

const char code[] = "namespace aa { namespace bb { namespace cc { namespace dd { namespace ee {\n"

"class fff {\n"

"public:\n"

" using icmsp = std::shared_ptr<aa::bb::ee::cm::api::icm>;\n"

"private:\n"

" using Connection = boost::signals2::connection;\n"

" using ESdk = sdk::common::api::Sdk::ESdk;\n"

" using co = aa::bb::ee::com::api::com2;\n"

"};\n"

"fff::fff() : m_icm(icm) {\n"

" using ESdk = aa::bb::sdk::common::api::Sdk::ESdk;\n"

"}\n"

"}}}}}";

const char expected[] = "namespace aa { namespace bb { namespace cc { namespace dd { namespace ee { "

"class fff { "

"public: "

"private: "

"} ; "

"fff :: fff ( ) : m_icm ( icm ) { "

"} "

"} } } } }";

ASSERT_EQUALS(expected, tok(code)); // don't hang

}

void simplifyUsing23() {

const char code[] = "class cmcch {\n"

"public:\n"

" cmcch(icmsp const& icm, Rtnf&& rtnf = {});\n"

"private:\n"

" using escs = aa::bb::cc::dd::ee;\n"

"private:\n"

" icmsp m_icm;\n"

" mutable std::atomic<rt> m_rt;\n"

"};\n"

"cmcch::cmcch(cmcch::icmsp const& icm, Rtnf&& rtnf)\n"

" : m_icm(icm)\n"

" , m_rt{rt::UNKNOWN_} {\n"

" using escs = yy::zz::aa::bb::cc::dd::ee;\n"

"}";

const char expected[] = "class cmcch { "

"public: "

"cmcch ( const icmsp & icm , Rtnf && rtnf = { } ) ; "

"private: "

"private: "

"icmsp m_icm ; "

"mutable std :: atomic < rt > m_rt ; "

"} ; "

"cmcch :: cmcch ( const cmcch :: icmsp & icm , Rtnf && rtnf ) "

": m_icm ( icm ) "

", m_rt { rt :: UNKNOWN_ } { "

"}";

ASSERT_EQUALS(expected, tok(code)); // don't hang

}

void simplifyUsing24() {

const char code[] = "using value_type = const ValueFlow::Value;\n"

"value_type vt;";

const char expected[] = "const ValueFlow :: Value vt ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing25() {

const char code[] = "struct UnusualType {\n"

" using T = vtkm::Id;\n"

" T X;\n"

"};\n"

"namespace vtkm {\n"

"template <>\n"

"struct VecTraits<UnusualType> : VecTraits<UnusualType::T> { };\n"

"}";

const char expected[] = "struct UnusualType { "

"vtkm :: Id X ; "

"} ; "

"namespace vtkm { "

"struct VecTraits<UnusualType> : VecTraits < vtkm :: Id > { } ; "

"}";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing26() { // #11090

const char code[] = "namespace M {\n"

" struct A;\n"

" struct B;\n"

" struct C;\n"

" template<typename T>\n"

" struct F {};\n"

" template<>\n"

" struct F<B> : F<A> {};\n"

" template<>\n"

" struct F<C> : F<A> {};\n"

"}\n"

"namespace N {\n"

" using namespace M;\n"

" using A = void;\n"

"}\n";

const char expected[] = "namespace M { "

"struct A ; struct B ; struct C ; "

"struct F<C> ; struct F<B> ; struct F<A> ; "

"struct F<B> : F<A> { } ; struct F<C> : F<A> { } ; "

"} "

"namespace N { "

"using namespace M ; "

"} "

"struct M :: F<A> { } ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing8970() {

const char code[] = "using V = std::vector<int>;\n"

"struct A {\n"

" V p;\n"

"};";

const char expected[] = "struct A { "

"std :: vector < int > p ; "

"} ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing8971() {

const char code[] = "class A {\n"

"public:\n"

" using V = std::vector<double>;\n"

"};\n"

"using V = std::vector<int>;\n"

"class I {\n"

"private:\n"

" A::V v_;\n"

" V v2_;\n"

"};";

const char expected[] = "class A { "

"public: "

"} ; "

"class I { "

"private: "

"std :: vector < double > v_ ; "

"std :: vector < int > v2_ ; "

"} ;";

ASSERT_EQUALS(expected, tok(code));

}

void simplifyUsing8976() {

const char code[] = "using mystring = std::string;";

const char exp[] = ";";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing9040() {

const char code[] = "using BOOL = unsigned; int i;";

const char exp[] = "int i ;";

ASSERT_EQUALS(exp, tok(code, Settings::Unix32));

ASSERT_EQUALS(exp, tok(code, Settings::Unix64));

ASSERT_EQUALS(exp, tok(code, Settings::Win32A));

ASSERT_EQUALS(exp, tok(code, Settings::Win32W));

ASSERT_EQUALS(exp, tok(code, Settings::Win64));

}

void simplifyUsing9042() {

const char code[] = "template <class T>\n"

"class c {\n"

" int i = 0;\n"

" c() { i--; }\n"

"};\n"

"template <class T>\n"

"class s {};\n"

"using BOOL = char;";

const char exp[] = "template < class T > "

"class c { "

"int i ; i = 0 ; "

"c ( ) { i -- ; } "

"} ; "

"template < class T > class s { } ;";

ASSERT_EQUALS(exp, tok(code, Settings::Win64));

}

void simplifyUsing9191() {

const char code[] = "namespace NS1 {\n"

" namespace NS2 {\n"

" using _LONG = signed long long;\n"

" }\n"

"}\n"

"void f1() {\n"

" using namespace NS1;\n"

" NS2::_LONG A;\n"

"}\n"

"void f2() {\n"

" using namespace NS1::NS2;\n"

" _LONG A;\n"

"}";

const char exp[] = "void f1 ( ) { "

"using namespace NS1 ; "

"signed long long A ; "

"} "

"void f2 ( ) { "

"using namespace NS1 :: NS2 ; "

"signed long long A ; "

"}";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing9381() {

const char code[] = "namespace ns {\n"

" class Result;\n"

" using UniqueResultPtr = std::unique_ptr<Result>;\n"

" class A {\n"

" public:\n"

" void func(UniqueResultPtr);\n"

" };\n"

" void A::func(UniqueResultPtr) {\n"

" }\n"

"}";

const char exp[] = "namespace ns { "

"class Result ; "

"class A { "

"public: "

"void func ( std :: unique_ptr < Result > ) ; "

"} ; "

"void A :: func ( std :: unique_ptr < Result > ) { "

"} "

"}";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing9385() {

{

const char code[] = "class A {\n"

"public:\n"

" using Foo = int;\n"

" A(Foo foo);\n"

" ~A();\n"

" void func(Foo foo);\n"

"};\n"

"A::A(Foo) { }\n"

"A::~A() { Foo foo; }\n"

"void A::func(Foo) { }";

const char exp[] = "class A { "

"public: "

"A ( int foo ) ; "

"~ A ( ) ; "

"void func ( int foo ) ; "

"} ; "

"A :: A ( int ) { } "

"A :: ~ A ( ) { int foo ; } "

"void A :: func ( int ) { }";

ASSERT_EQUALS(exp, tok(code));

}

{

const char code[] = "class A {\n"

"public:\n"

" struct B {\n"

" using Foo = int;\n"

" B(Foo foo);\n"

" ~B();\n"

" void func(Foo foo);\n"

" };\n"

"};\n"

"A::B::B(Foo) { }\n"

"A::B::~B() { Foo foo; }\n"

"void A::B::func(Foo) { }";

const char exp[] = "class A { "

"public: "

"struct B { "

"B ( int foo ) ; "

"~ B ( ) ; "

"void func ( int foo ) ; "

"} ; "

"} ; "

"A :: B :: B ( int ) { } "

"A :: B :: ~ B ( ) { int foo ; } "

"void A :: B :: func ( int ) { }";

ASSERT_EQUALS(exp, tok(code));

}

}

void simplifyUsing9388() {

const char code[] = "class A {\n"

"public:\n"

" using Type = int;\n"

" A(Type&);\n"

" Type& t_;\n"

"};\n"

"A::A(Type& t) : t_(t) { }";

const char exp[] = "class A { "

"public: "

"A ( int & ) ; "

"int & t_ ; "

"} ; "

"A :: A ( int & t ) : t_ ( t ) { }";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing9518() {

const char code[] = "namespace a {\n"

"using a = enum {};\n"

"}";

const char exp[] = "namespace a { "

"enum a { } ; "

"}";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing9757() {

const char code[] = "enum class Type_t { Nil = 0 };\n"

"template<Type_t type> class MappedType { };\n"

"template<> class MappedType<Type_t::Nil> { using type = void; };\n"

"std::string to_string (Example::Type_t type) {\n"

" switch (type) {}\n"

"}";

const char exp[] = "enum class Type_t { Nil = 0 } ; "

"class MappedType<Type_t::Nil> ; "

"template < Type_t type > class MappedType { } ; "

"class MappedType<Type_t::Nil> { } ; "

"std :: string to_string ( Example :: Type_t type ) { "

"switch ( type ) { } }";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing10008() {

const char code[] = "namespace ns {\n"

" using ArrayType = std::vector<int>;\n"

"}\n"

"using namespace ns;\n"

"static void f() {\n"

" const ArrayType arr;\n"

"}";

const char exp[] = "using namespace ns ; "

"static void f ( ) { "

"const std :: vector < int > arr ; "

"}";

ASSERT_EQUALS(exp, tok(code));

}

void simplifyUsing10054() { // debug: Executable scope 'x' with unknown function.

{

// original example: using "namespace external::ns1;" but redundant qualification

const char code[] = "namespace external {\n"

" namespace ns1 {\n"

" template <int size> struct B { };\n"

" using V = B<sizeof(bool)>;\n"

" }\n"

"}\n"

"namespace ns {\n"

" struct A {\n"

" void f(external::ns1::V);\n"

" };\n"

"}\n"

"using namespace external::ns1;\n"

"namespace ns {\n"

" void A::f(external::ns1::V) {}\n"

"}";

const char exp[] = "namespace external { "

"namespace ns1 { "

"struct B<1> ; "

"} "

"} "

"namespace ns { "

"struct A { "

"void f ( external :: ns1 :: B<1> ) ; "

"} ; "

"} "

"using namespace external :: ns1 ; "

"namespace ns { "

"void A :: f ( external :: ns1 :: B<1> ) { } "

"} "

"struct external :: ns1 :: B<1> { } ;";

ASSERT_EQUALS(exp, tok(code));

ASSERT_EQUALS("", errout.str());

}

{

// no using "namespace external::ns1;"

const char code[] = "namespace external {\n"

" namespace ns1 {\n"

" template <int size> struct B { };\n"

" using V = B<sizeof(bool)>;\n"

" }\n"

"}\n"

"namespace ns {\n"

" struct A {\n"

" void f(external::ns1::V);\n"

" };\n"

"}\n"

"namespace ns {\n"

" void A::f(external::ns1::V) {}\n"

"}";

const char exp[] = "namespace external { "

"namespace ns1 { "

"struct B<1> ; "

"} "

"} "

"namespace ns { "

"struct A { "

"void f ( external :: ns1 :: B<1> ) ; "

"} ; "

"} "

"namespace ns { "

"void A :: f ( external :: ns1 :: B<1> ) { } "

"} "

"struct external :: ns1 :: B<1> { } ;";

ASSERT_EQUALS(exp, tok(code));

ASSERT_EQUALS("", errout.str());

}

{

// using "namespace external::ns1;" without redundant qualification

const char code[] = "namespace external {\n"

" namespace ns1 {\n"

" template <int size> struct B { };\n"

" using V = B<sizeof(bool)>;\n"

" }\n"

"}\n"

"namespace ns {\n"

" struct A {\n"

" void f(external::ns1::V);\n"

" };\n"

"}\n"

"using namespace external::ns1;\n"

"namespace ns {\n"

" void A::f(V) {}\n"

"}";

const char exp[] = "namespace external { "

"namespace ns1 { "

"struct B<1> ; "

"} "

"} "

"namespace ns { "

"struct A { "

"void f ( external :: ns1 :: B<1> ) ; "

"} ; "

"} "

"using namespace external :: ns1 ; "

"namespace ns { "

"void A :: f ( external :: ns1 :: B<1> ) { } "

"} "

"struct external :: ns1 :: B<1> { } ;";

ASSERT_EQUALS(exp, tok(code));

ASSERT_EQUALS("", errout.str());

}

{

// using "namespace external::ns1;" without redundant qualification on declaration and definition

const char code[] = "namespace external {\n"

" namespace ns1 {\n"

" template <int size> struct B { };\n"

" using V = B<sizeof(bool)>;\n"

" }\n"

"}\n"

"using namespace external::ns1;\n"

"namespace ns {\n"

" struct A {\n"