/*

* Cppcheck - A tool for static C/C++ code analysis

* Copyright (C) 2007-2025 Cppcheck team.

*

* This program is free software: you can redistribute it and/or modify

* it under the terms of the GNU General Public License as published by

* the Free Software Foundation, either version 3 of the License, or

* (at your option) any later version.

*

* This program is distributed in the hope that it will be useful,

* but WITHOUT ANY WARRANTY; without even the implied warranty of

* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the

* GNU General Public License for more details.

*

* You should have received a copy of the GNU General Public License

* along with this program. If not, see <http://www.gnu.org/licenses/>.

*/

#include "helpers.h"

#include "platform.h"

#include "settings.h"

#include "standards.h"

#include "fixture.h"

#include "token.h"

#include <cstddef>

#include <string>

class TestVarID : public TestFixture {

public:

TestVarID() : TestFixture("TestVarID") {}

private:

const Settings settings = settingsBuilder().c(Standards::C89).platform(Platform::Type::Unix64).build();

void run() override {

TEST_CASE(varid1);

TEST_CASE(varid2);

TEST_CASE(varid3);

TEST_CASE(varid4);

TEST_CASE(varid5);

TEST_CASE(varid6);

TEST_CASE(varid7);

TEST_CASE(varidReturn1);

TEST_CASE(varidReturn2);

TEST_CASE(varidReturn3);

TEST_CASE(varid8);

TEST_CASE(varid9);

TEST_CASE(varid10);

TEST_CASE(varid11);

TEST_CASE(varid12);

TEST_CASE(varid13);

TEST_CASE(varid14);

TEST_CASE(varid15);

TEST_CASE(varid16);

TEST_CASE(varid17); // ticket #1810

TEST_CASE(varid18);

TEST_CASE(varid19);

TEST_CASE(varid20);

TEST_CASE(varid24);

TEST_CASE(varid25);

TEST_CASE(varid26); // ticket #1967 (list of function pointers)

TEST_CASE(varid27); // Ticket #2280 (same name for namespace and variable)

TEST_CASE(varid28); // ticket #2630

TEST_CASE(varid29); // ticket #1974

TEST_CASE(varid30); // ticket #2614

TEST_CASE(varid34); // ticket #2825

TEST_CASE(varid35); // function declaration inside function body

TEST_CASE(varid36); // ticket #2980 (segmentation fault)

TEST_CASE(varid37); // ticket #3092 (varid for 'Bar bar(*this);')

TEST_CASE(varid38); // ticket #3272 (varid for 'FOO class C;')

TEST_CASE(varid39); // ticket #3279 (varid for 'FOO::BAR const')

TEST_CASE(varid40); // ticket #3279

TEST_CASE(varid41); // ticket #3340 (varid for union type)

TEST_CASE(varid42); // ticket #3316 (varid for array)

TEST_CASE(varid43);

TEST_CASE(varid44);

TEST_CASE(varid45); // #3466

TEST_CASE(varid46); // struct varname

TEST_CASE(varid47); // function parameters

TEST_CASE(varid48); // #3785 - return (a*b)

TEST_CASE(varid49); // #3799 - void f(std::vector<int>)

TEST_CASE(varid50); // #3760 - explicit

TEST_CASE(varid51); // don't set varid for template function

TEST_CASE(varid52); // Set varid for nested templates

TEST_CASE(varid53); // #4172 - Template instantiation: T<&functionName> list[4];

TEST_CASE(varid54); // hang

TEST_CASE(varid55); // #5868: Function::addArgument with varid 0 for argument named the same as a typedef

TEST_CASE(varid56); // function with a throw()

TEST_CASE(varid57); // #6636: new scope by {}

TEST_CASE(varid58); // #6638: for loop in for condition

TEST_CASE(varid59); // #6696

TEST_CASE(varid60); // #7267 cast '(unsigned x)10'

TEST_CASE(varid61); // #4988 inline function

TEST_CASE(varid62);

TEST_CASE(varid63);

TEST_CASE(varid64); // #9922 - extern const char (*x[256])

TEST_CASE(varid65); // #10936

TEST_CASE(varid66);

TEST_CASE(varid67); // #11711 - NOT function pointer

TEST_CASE(varid68); // #11740 - switch (str_chars(&strOut)[0])

TEST_CASE(varid69);

TEST_CASE(varid70); // #12660 - function

TEST_CASE(varid71); // #12676 - wrong varid in uninstantiated templated constructor

TEST_CASE(varid_for_1);

TEST_CASE(varid_for_2);

TEST_CASE(varid_for_3);

TEST_CASE(varid_cpp_keywords_in_c_code);

TEST_CASE(varid_cpp_keywords_in_c_code2); // #5373: varid=0 for argument called "delete"

TEST_CASE(varid_cpp_keywords_in_c_code3);

TEST_CASE(varid_cpp_keywords_in_c_code4);

TEST_CASE(varidFunctionCall1);

TEST_CASE(varidFunctionCall2);

TEST_CASE(varidFunctionCall3);

TEST_CASE(varidFunctionCall4); // ticket #3280

TEST_CASE(varidFunctionCall5);

TEST_CASE(varidStl);

TEST_CASE(varidStl2);

TEST_CASE(varid_newauto); // not declaration: new const auto(0);

TEST_CASE(varid_delete);

TEST_CASE(varid_functions);

TEST_CASE(varid_sizeof);

TEST_CASE(varid_reference_to_containers);

TEST_CASE(varid_in_class1);

TEST_CASE(varid_in_class2);

TEST_CASE(varid_in_class3); // #3092 - shadow variable in member function

TEST_CASE(varid_in_class4); // #3271 - public: class C;

TEST_CASE(varid_in_class5); // #3584 - std::vector<::FOO::B> b;

TEST_CASE(varid_in_class6); // #3755

TEST_CASE(varid_in_class7); // set variable id for struct members

TEST_CASE(varid_in_class8); // unknown macro in class

TEST_CASE(varid_in_class9); // #4291 - id for variables accessed through 'this'

TEST_CASE(varid_in_class10);

TEST_CASE(varid_in_class11); // #4277 - anonymous union

TEST_CASE(varid_in_class12); // #4637 - method

TEST_CASE(varid_in_class13); // #4637 - method

TEST_CASE(varid_in_class14);

TEST_CASE(varid_in_class15); // #5533 - functions

TEST_CASE(varid_in_class16);

TEST_CASE(varid_in_class17); // #6056 - no varid for member functions

TEST_CASE(varid_in_class18); // #7127

TEST_CASE(varid_in_class19);

TEST_CASE(varid_in_class20); // #7267

TEST_CASE(varid_in_class21); // #7788

TEST_CASE(varid_in_class22); // #10872

TEST_CASE(varid_in_class23); // #11293

TEST_CASE(varid_in_class24);

TEST_CASE(varid_in_class25);

TEST_CASE(varid_in_class26);

TEST_CASE(varid_in_class27);

TEST_CASE(varid_in_class28);

TEST_CASE(varid_namespace_1); // #7272

TEST_CASE(varid_namespace_2); // #7000

TEST_CASE(varid_namespace_3); // #8627

TEST_CASE(varid_namespace_4);

TEST_CASE(varid_namespace_5);

TEST_CASE(varid_namespace_6);

TEST_CASE(varid_initList);

TEST_CASE(varid_initListWithBaseTemplate);

TEST_CASE(varid_initListWithScope);

TEST_CASE(varid_operator);

TEST_CASE(varid_throw);

TEST_CASE(varid_unknown_macro); // #2638 - unknown macro is not type

TEST_CASE(varid_using); // ticket #3648

TEST_CASE(varid_catch);

TEST_CASE(varid_functionPrototypeTemplate);

TEST_CASE(varid_templatePtr); // #4319

TEST_CASE(varid_templateNamespaceFuncPtr); // #4172

TEST_CASE(varid_templateArray);

TEST_CASE(varid_templateParameter); // #7046 set varid for "X": std::array<int,X> Y;

TEST_CASE(varid_templateParameterFunctionPointer); // #11050

TEST_CASE(varid_templateUsing); // #5781 #7273

TEST_CASE(varid_templateSpecializationFinal);

TEST_CASE(varid_not_template_in_condition); // #7988

TEST_CASE(varid_cppcast); // #6190

TEST_CASE(varid_variadicFunc);

TEST_CASE(varid_typename); // #4644

TEST_CASE(varid_rvalueref);

TEST_CASE(varid_arrayFuncPar); // #5294

TEST_CASE(varid_sizeofPassed); // #5295

TEST_CASE(varid_classInFunction); // #5293

TEST_CASE(varid_pointerToArray); // #2645

TEST_CASE(varid_cpp11initialization); // #4344

TEST_CASE(varid_inheritedMembers); // #4101

TEST_CASE(varid_header); // #6386

TEST_CASE(varid_rangeBasedFor);

TEST_CASE(varid_structinit); // #6406

TEST_CASE(varid_arrayinit); // #7579

TEST_CASE(varid_lambda_arg);

TEST_CASE(varid_lambda_mutable);

TEST_CASE(varid_trailing_return1); // #8889

TEST_CASE(varid_trailing_return2); // #9066

TEST_CASE(varid_trailing_return3); // #11423

TEST_CASE(varid_parameter_pack); // #9383

TEST_CASE(varid_for_auto_cpp17);

TEST_CASE(varid_not); // #9689 'not x'

TEST_CASE(varid_declInIfCondition);

TEST_CASE(varid_globalScope);

TEST_CASE(varid_function_pointer_args);

TEST_CASE(varid_alignas);

TEST_CASE(varidclass1);

TEST_CASE(varidclass2);

TEST_CASE(varidclass3);

TEST_CASE(varidclass4);

TEST_CASE(varidclass5);

TEST_CASE(varidclass6);

TEST_CASE(varidclass7);

TEST_CASE(varidclass8);

TEST_CASE(varidclass9);

TEST_CASE(varidclass10); // variable declaration below usage

TEST_CASE(varidclass11); // variable declaration below usage

TEST_CASE(varidclass12);

TEST_CASE(varidclass13);

TEST_CASE(varidclass14);

TEST_CASE(varidclass15); // initializer list

TEST_CASE(varidclass16); // #4577

TEST_CASE(varidclass17); // #6073

TEST_CASE(varidclass18);

TEST_CASE(varidclass19); // initializer list

TEST_CASE(varidclass20); // #7578: int (*p)[2]

TEST_CASE(varid_classnameshaddowsvariablename); // #3990

TEST_CASE(varid_classnametemplate); // #10221

TEST_CASE(varidenum1);

TEST_CASE(varidenum2);

TEST_CASE(varidenum3);

TEST_CASE(varidenum4);

TEST_CASE(varidenum5);

TEST_CASE(varidenum6); // #9180

TEST_CASE(varidenum7); // #8991

TEST_CASE(varidnamespace1);

TEST_CASE(varidnamespace2);

TEST_CASE(usingNamespace1);

TEST_CASE(usingNamespace2);

TEST_CASE(usingNamespace3);

TEST_CASE(setVarIdStructMembers1);

TEST_CASE(decltype1);

TEST_CASE(decltype2);

TEST_CASE(typeof1);

TEST_CASE(typeof2);

TEST_CASE(typeof3);

TEST_CASE(typeof4);

TEST_CASE(exprid1);

TEST_CASE(exprid2);

TEST_CASE(exprid3);

TEST_CASE(exprid4);

TEST_CASE(exprid5);

TEST_CASE(exprid6);

TEST_CASE(exprid7);

TEST_CASE(exprid8);

TEST_CASE(exprid9);

TEST_CASE(exprid10);

TEST_CASE(exprid11);

TEST_CASE(exprid12);

TEST_CASE(exprid13);

TEST_CASE(exprid14);

TEST_CASE(structuredBindings);

}

struct TokenizeOptions

{

bool cpp = true;

};

#define tokenize(...) tokenize_(__FILE__, __LINE__, __VA_ARGS__)

template<size_t size>

std::string tokenize_(const char* file, int line, const char (&code)[size], const TokenizeOptions& options = make_default_obj()) {

return tokenize_(file, line, code, settings, options.cpp);

}

template<size_t size>

std::string tokenize_(const char* file, int line, const char (&code)[size], const Settings& settings1, bool cpp = true) {

SimpleTokenizer tokenizer(settings1, *this, cpp);

ASSERT_LOC((tokenizer.tokenize)(code), file, line);

// result..

Token::stringifyOptions str_options = Token::stringifyOptions::forDebugVarId();

str_options.files = false;

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

}

#define tokenizeHeader(...) tokenizeHeader_(__FILE__, __LINE__, __VA_ARGS__)

template<size_t size>

std::string tokenizeHeader_(const char* file, int line, const char (&code)[size], const char filename[]) {

SimpleTokenizer tokenizer{settings, *this, std::string(filename)};

ASSERT_LOC((tokenizer.tokenize)(code), file, line);

// result..

Token::stringifyOptions options = Token::stringifyOptions::forDebugVarId();

options.files = false;

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

}

#define tokenizeExpr(...) tokenizeExpr_(__FILE__, __LINE__, __VA_ARGS__)

template<size_t size>

std::string tokenizeExpr_(const char* file, int line, const char (&code)[size]) {

SimpleTokenizer2 tokenizer(settings, *this, code, "test.cpp");

ASSERT_LOC(tokenizer.simplifyTokens1(""), file, line);

// result..

Token::stringifyOptions options = Token::stringifyOptions::forDebugExprId();

options.files = false;

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

}

#define compareVaridsForVariable(...) compareVaridsForVariable_(__FILE__, __LINE__, __VA_ARGS__)

template<size_t size>

std::string compareVaridsForVariable_(const char* file, int line, const char (&code)[size], const char varname[]) {

SimpleTokenizer tokenizer(settings, *this);

ASSERT_LOC((tokenizer.tokenize)(code), file, line);

unsigned int varid = ~0U;

for (const Token *tok = tokenizer.tokens(); tok; tok = tok->next()) {

if (tok->str() == varname) {

if (varid == ~0U)

varid = tok->varId();

else if (varid != tok->varId())

return std::string("Variable ") + varname + " has different varids:\n" + tokenizer.tokens()->stringifyList(true,true,true,true,false);

}

}

return "same varid";

}

void varid1() {

{

const std::string actual = tokenize(

"static int i = 1;\n"

"void f()\n"

"{\n"

" int i = 2;\n"

" for (int i = 0; i < 10; ++i)\n"

" i = 3;\n"

" i = 4;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: static int i@1 = 1 ;\n"

"2: void f ( )\n"

"3: {\n"

"4: int i@2 ; i@2 = 2 ;\n"

"5: for ( int i@3 = 0 ; i@3 < 10 ; ++ i@3 ) {\n"

"6: i@3 = 3 ; }\n"

"7: i@2 = 4 ;\n"

"8: }\n";

ASSERT_EQUALS(expected, actual);

}

{

const std::string actual = tokenize(

"static int i = 1;\n"

"void f()\n"

"{\n"

" int i = 2;\n"

" for (int i = 0; i < 10; ++i)\n"

" {\n"

" i = 3;\n"

" }\n"

" i = 4;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: static int i@1 = 1 ;\n"

"2: void f ( )\n"

"3: {\n"

"4: int i@2 ; i@2 = 2 ;\n"

"5: for ( int i@3 = 0 ; i@3 < 10 ; ++ i@3 )\n"

"6: {\n"

"7: i@3 = 3 ;\n"

"8: }\n"

"9: i@2 = 4 ;\n"

"10: }\n";

ASSERT_EQUALS(expected, actual);

}

}

void varid2() {

const std::string actual = tokenize(

"void f()\n"

"{\n"

" struct ABC abc;\n"

" abc.a = 3;\n"

" i = abc.a;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void f ( )\n"

"2: {\n"

"3: struct ABC abc@1 ;\n"

"4: abc@1 . a@2 = 3 ;\n"

"5: i = abc@1 . a@2 ;\n"

"6: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid3() {

const std::string actual = tokenize(

"static char str[4];\n"

"void f()\n"

"{\n"

" char str[10];\n"

" str[0] = 0;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: static char str@1 [ 4 ] ;\n"

"2: void f ( )\n"

"3: {\n"

"4: char str@2 [ 10 ] ;\n"

"5: str@2 [ 0 ] = 0 ;\n"

"6: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid4() {

const std::string actual = tokenize(

"void f(const unsigned int a[])\n"

"{\n"

" int i = *(a+10);\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void f ( const unsigned int a@1 [ ] )\n"

"2: {\n"

"3: int i@2 ; i@2 = * ( a@1 + 10 ) ;\n"

"4: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid5() {

const std::string actual = tokenize(

"void f()\n"

"{\n"

" int a,b;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void f ( )\n"

"2: {\n"

"3: int a@1 ; int b@2 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid6() {

const std::string actual = tokenize(

"int f(int a, int b)\n"

"{\n"

" return a+b;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: int f ( int a@1 , int b@2 )\n"

"2: {\n"

"3: return a@1 + b@2 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid7() {

const std::string actual = tokenize(

"void func() {\n"

" char a[256] = \"test\";\n"

" {\n"

" char b[256] = \"test\";\n"

" }\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void func ( ) {\n"

"2: char a@1 [ 256 ] = \"test\" ;\n"

"3: {\n"

"4: char b@2 [ 256 ] = \"test\" ;\n"

"5: }\n"

"6: }\n";

ASSERT_EQUALS(expected, actual);

}

void varidReturn1() {

const std::string actual = tokenize(

"int f()\n"

"{\n"

" int a;\n"

" return a;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: int f ( )\n"

"2: {\n"

"3: int a@1 ;\n"

"4: return a@1 ;\n"

"5: }\n";

ASSERT_EQUALS(expected, actual);

}

void varidReturn2() {

const std::string actual = tokenize(

"void foo()\n"

"{\n"

" unsigned long mask = (1UL << size_) - 1;\n"

" return (abits_val_ & mask);\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: unsigned long mask@1 ; mask@1 = ( 1UL << size_ ) - 1 ;\n"

"4: return ( abits_val_ & mask@1 ) ;\n"

"5: }\n";

ASSERT_EQUALS(expected, actual);

}

void varidReturn3() {

const std::string actual = tokenize(

"struct S { int i; };\n"

"int f(S s) {\n"

" return (&s)->i;\n"

"}\n");

const char expected[] = "1: struct S { int i@1 ; } ;\n"

"2: int f ( S s@2 ) {\n"

"3: return s@2 . i@3 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid8() {

const std::string actual = tokenize(

"void func()\n"

"{\n"

" std::string str(\"test\");\n"

" str.clear();\n"

"}");

const char expected[] = "1: void func ( )\n"

"2: {\n"

"3: std :: string str@1 ( \"test\" ) ;\n"

"4: str@1 . clear ( ) ;\n"

"5: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid9() {

const std::string actual = tokenize(

"typedef int INT32;\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: ;\n";

ASSERT_EQUALS(expected, actual);

}

void varid10() {

const std::string actual = tokenize(

"void foo()\n"

"{\n"

" int abc;\n"

" struct abc abc1;\n"

"}", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: int abc@1 ;\n"

"4: struct abc abc1@2 ;\n"

"5: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid11() {

const std::string actual = tokenize("class Foo;");

const char expected[] = "1: class Foo ;\n";

ASSERT_EQUALS(expected, actual);

}

void varid12() {

const std::string actual = tokenize(

"static void a()\n"

"{\n"

" class Foo *foo;\n"

"}");

const char expected[] = "1: static void a ( )\n"

"2: {\n"

"3: class Foo * foo@1 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid13() {

const std::string actual = tokenize(

"void f()\n"

"{\n"

" int a; int b;\n"

" a = a;\n"

"}\n", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void f ( )\n"

"2: {\n"

"3: int a@1 ; int b@2 ;\n"

"4: a@1 = a@1 ;\n"

"5: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid14() {

// Overloaded operator*

const std::string actual = tokenize(

"void foo()\n"

"{\n"

"A a;\n"

"B b;\n"

"b * a;\n"

"}", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: A a@1 ;\n"

"4: B b@2 ;\n"

"5: b@2 * a@1 ;\n"

"6: }\n";

ASSERT_EQUALS(expected, actual);

}

void varid15() {

{

const std::string actual = tokenize(

"struct S {\n"

" struct T {\n"

" } t;\n"

"} s;", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: struct S {\n"

"2: struct T {\n"

"3: } ; struct T t@1 ;\n"

"4: } ; struct S s@2 ;\n";

ASSERT_EQUALS(expected, actual);

}

{

const std::string actual = tokenize(

"struct S {\n"

" struct T {\n"

" } t;\n"

"};", dinit(TokenizeOptions, $.cpp = false));

const char expected[] = "1: struct S {\n"

"2: struct T {\n"

"3: } ; struct T t@1 ;\n"

"4: } ;\n";

ASSERT_EQUALS(expected, actual);

}

}

void varid16() {

const char code[] ="void foo()\n"

"{\n"

" int x = 1;\n"

" y = (z * x);\n"

"}\n";

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: int x@1 ; x@1 = 1 ;\n"

"4: y = z * x@1 ;\n"

"5: }\n";

ASSERT_EQUALS(expected, tokenize(code, dinit(TokenizeOptions, $.cpp = false)));

}

void varid17() { // ticket #1810

const char code[] ="char foo()\n"

"{\n"

" char c('c');\n"

" return c;\n"

"}\n";

const char expected[] = "1: char foo ( )\n"

"2: {\n"

"3: char c@1 ( 'c' ) ;\n"

"4: return c@1 ;\n"

"5: }\n";

ASSERT_EQUALS(expected, tokenize(code, dinit(TokenizeOptions, $.cpp = false)));

}

void varid18() {

const char code[] ="char foo(char c)\n"

"{\n"

" bar::c = c;\n"

"}\n";

const char expected[] = "1: char foo ( char c@1 )\n"

"2: {\n"

"3: bar :: c = c@1 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid19() {

const char code[] ="void foo()\n"

"{\n"

" std::pair<std::vector<double>, int> x;\n"

"}\n";

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: std :: pair < std :: vector < double > , int > x@1 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid20() {

const char code[] ="void foo()\n"

"{\n"

" pair<vector<int>, vector<double> > x;\n"

"}\n";

const char expected[] = "1: void foo ( )\n"

"2: {\n"

"3: pair < vector < int > , vector < double > > x@1 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid24() {

const char code[] ="class foo()\n"

"{\n"

"public:\n"

" ;\n"

"private:\n"

" static int i;\n"

"};\n";

const char expected[] = "1: class foo ( )\n"

"2: {\n"

"3: public:\n"

"4: ;\n"

"5: private:\n"

"6: static int i@1 ;\n"

"7: } ;\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid25() {

const char code[] ="class foo()\n"

"{\n"

"public:\n"

" ;\n"

"private:\n"

" mutable int i;\n"

"};\n";

const char expected[] = "1: class foo ( )\n"

"2: {\n"

"3: public:\n"

"4: ;\n"

"5: private:\n"

"6: mutable int i@1 ;\n"

"7: } ;\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid26() {

const char code[] ="list<int (*)()> functions;\n";

const char expected[] = "1: list < int ( * ) ( ) > functions@1 ;\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid27() {

const char code[] ="int fooled_ya;\n"

"fooled_ya::iterator iter;\n";

const char expected[] = "1: int fooled_ya@1 ;\n"

"2: fooled_ya :: iterator iter@2 ;\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid28() { // ticket #2630 (segmentation fault)

ASSERT_THROW_INTERNAL(tokenize("template <typedef A>\n"), SYNTAX);

}

void varid29() {

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

" B<C<1>,1> b;\n"

"};\n";

const char expected[] = "1: class A {\n"

"2: B < C < 1 > , 1 > b@1 ;\n"

"3: } ;\n";

ASSERT_EQUALS(expected, tokenize(code));

}

void varid30() { // ticket #2614

const char code1[] = "void f(EventPtr *eventP, ActionPtr **actionsP)\n"

"{\n"

" EventPtr event = *eventP;\n"

" *actionsP = &event->actions;\n"

"}\n";

const char expected1[] = "1: void f ( EventPtr * eventP@1 , ActionPtr * * actionsP@2 )\n"

"2: {\n"

"3: EventPtr event@3 ; event@3 = * eventP@1 ;\n"

"4: * actionsP@2 = & event@3 . actions@4 ;\n"

"5: }\n";

ASSERT_EQUALS(expected1, tokenize(code1, dinit(TokenizeOptions, $.cpp = false)));

const char code2[] = "void f(int b, int c) {\n"

" x(a*b*c,10);\n"

"}\n";

const char expected2[] = "1: void f ( int b@1 , int c@2 ) {\n"

"2: x ( a * b@1 * c@2 , 10 ) ;\n"

"3: }\n";

ASSERT_EQUALS(expected2, tokenize(code2, dinit(TokenizeOptions, $.cpp = false)));

const char code3[] = "class Nullpointer : public ExecutionPath\n"

" {\n"

" Nullpointer(Check *c, const unsigned int id, const std::string &name)\n"

" : ExecutionPath(c, id)\n"

" {\n"

" }\n"

"};\n";

const char expected3[] = "1: class Nullpointer : public ExecutionPath\n"

"2: {\n"

"3: Nullpointer ( Check * c@1 , const unsigned int id@2 , const std :: string & name@3 )\n"

"4: : ExecutionPath ( c@1 , id@2 )\n"

"5: {\n"

"6: }\n"

"7: } ;\n";

ASSERT_EQUALS(expected3, tokenize(code3));

}

void varid34() { // ticket #2825

const char code[] ="class Fred : public B1, public B2\n"

"{\n"

"public:\n"

" Fred() { a = 0; }\n"

"private:\n"

" int a;\n"

"};\n";

const char expected[] = "1: class Fred : public B1 , public B2\n"

"2: {\n"

"3: public:\n"

"4: Fred ( ) { a@1 = 0 ; }\n"

"5: private:\n"

"6: int a@1 ;\n"

"7: } ;\n";

ASSERT_EQUALS(expected, tokenize(code));

ASSERT_EQUALS("", errout_str());

}

void varid35() { // function declaration inside function body

// #2937

const char code[] ="int foo() {\n"

" int f(x);\n"

" return f;\n"

"}\n";

const char expected[] = "1: int foo ( ) {\n"

"2: int f@1 ( x ) ;\n"

"3: return f@1 ;\n"

"4: }\n";

ASSERT_EQUALS(expected, tokenize(code));

// #4627

const char code2[] = "void f() {\n"

" int *p;\n"

" void bar(int *p);\n"

"}";

const char expected2[] = "1: void f ( ) {\n"

"2: int * p@1 ;\n"

"3: void bar ( int * p ) ;\n"

"4: }\n";

ASSERT_EQUALS(expected2, tokenize(code2));

// #7740

const char code3[] = "Float f(float scale) {\n"

" return Float(val * scale);\n"

"}\n";

const char expected3[] = "1: Float f ( float scale@1 ) {\n"

"2: return Float ( val * scale@1 ) ;\n"

"3: }\n";

ASSERT_EQUALS(expected3, tokenize(code3));

}

void varid36() { // ticket #2980 (segmentation fault)

const char code[] ="#elif A\n"

"A,a<b<x0\n";

(void)tokenize(code);

ASSERT_EQUALS("", errout_str());

}

void varid37() {

{

const char code[] = "void blah() {"

" Bar bar(*x);"

"}";

ASSERT_EQUALS("1: void blah ( ) { Bar bar@1 ( * x ) ; }\n",

tokenize(code));

}

{

const char code[] = "void blah() {"

" Bar bar(&x);"

"}";

ASSERT_EQUALS("1: void blah ( ) { Bar bar@1 ( & x ) ; }\n",

tokenize(code));

}

}

void varid38() {

const char code[] = "FOO class C;\n";

ASSERT_EQUALS("1: FOO class C ;\n",

tokenize(code));

}

void varid39() {

// const..

{

const char code[] = "void f(FOO::BAR const);\n";

ASSERT_EQUALS("1: void f ( const FOO :: BAR ) ;\n",

tokenize(code));

}

{

const char code[] = "static int const SZ = 22;\n";

ASSERT_EQUALS("1: static const int SZ@1 = 22 ;\n",

tokenize(code, dinit(TokenizeOptions, $.cpp = false)));

}

}

void varid40() {

const char code[] ="extern \"C\" int (*a())();";

ASSERT_EQUALS("1: int * a ( ) ;\n",

tokenize(code));

}

void varid41() {

const char code1[] = "union evt; void f(const evt & event);";

ASSERT_EQUALS("1: union evt ; void f ( const evt & event@1 ) ;\n",

tokenize(code1));

ASSERT_THROW_INTERNAL(tokenize(code1, dinit(TokenizeOptions, $.cpp = false)), SYNTAX);

const char code2[] = "struct evt; void f(const evt & event);";

ASSERT_EQUALS("1: struct evt ; void f ( const evt & event@1 ) ;\n",

tokenize(code2));

ASSERT_THROW_INTERNAL(tokenize(code2, dinit(TokenizeOptions, $.cpp = false)), SYNTAX);

}

void varid42() {

const char code[] ="namespace fruit { struct banana {}; };\n"

"class Fred {\n"

"public:\n"

" struct fruit::banana Bananas[25];\n"

"};";

ASSERT_EQUALS("1: namespace fruit { struct banana { } ; } ;\n"

"2: class Fred {\n"

"3: public:\n"

"4: struct fruit :: banana Bananas@1 [ 25 ] ;\n"

"5: } ;\n",

tokenize(code));

}

void varid43() {

const char code[] ="int main(int flag) { if(a & flag) { return 1; } }";

ASSERT_EQUALS("1: int main ( int flag@1 ) { if ( a & flag@1 ) { return 1 ; } }\n",

tokenize(code, dinit(TokenizeOptions, $.cpp = false)));

}

void varid44() {

const char code[] ="class A:public B,public C,public D {};";

ASSERT_EQUALS("1: class A : public B , public C , public D { } ;\n",

tokenize(code));

}

void varid45() { // #3466

const char code[] ="void foo() { B b(this); A a(this, b); }";

ASSERT_EQUALS("1: void foo ( ) { B b@1 ( this ) ; A a@2 ( this , b@1 ) ; }\n",

tokenize(code));

}

void varid46() { // #3756

const char code[] ="void foo() { int t; x = (struct t *)malloc(); f(t); }";

ASSERT_EQUALS("1: void foo ( ) { int t@1 ; x = ( struct t * ) malloc ( ) ; f ( t@1 ) ; }\n",