/*
* Cppcheck - A tool for static C/C++ code analysis
* Copyright (C) 2007-2024 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 .
*/
#include "errortypes.h"
#include "fixture.h"
#include "helpers.h"
#include "library.h"
#include "settings.h"
#include "standards.h"
#include "token.h"
#include "tokenlist.h"
#include
#include
#include
#include
#include
#include
#include
#define ASSERT_EQ(expected, actual) ASSERT(expected == actual)
class TestLibrary : public TestFixture {
public:
TestLibrary() : TestFixture("TestLibrary") {}
private:
const Settings settings;
void run() override {
TEST_CASE(isCompliantValidationExpression);
TEST_CASE(empty);
TEST_CASE(function);
TEST_CASE(function_match_scope);
TEST_CASE(function_match_args);
TEST_CASE(function_match_args_default);
TEST_CASE(function_match_var);
TEST_CASE(function_arg);
TEST_CASE(function_arg_any);
TEST_CASE(function_arg_variadic);
TEST_CASE(function_arg_direction);
TEST_CASE(function_arg_valid);
TEST_CASE(function_arg_minsize);
TEST_CASE(function_namespace);
TEST_CASE(function_method);
TEST_CASE(function_baseClassMethod); // calling method in base class
TEST_CASE(function_warn);
TEST_CASE(memory);
TEST_CASE(memory2); // define extra "free" allocation functions
TEST_CASE(memory3);
TEST_CASE(resource);
TEST_CASE(podtype);
TEST_CASE(container);
TEST_CASE(version);
TEST_CASE(loadLibErrors);
TEST_CASE(loadLibCombinations);
}
void isCompliantValidationExpression() const {
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1:"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":1"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1,42"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1,-42"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("-1.0:42.0"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38:3.402823e+38"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38,3.402823e+38"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("1.175494e-38:"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":1.175494e-38"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression(":42.0"));
ASSERT_EQUALS(true, Library::isCompliantValidationExpression("!42.0"));
// Robustness tests
ASSERT_EQUALS(false, Library::isCompliantValidationExpression(nullptr));
ASSERT_EQUALS(false, Library::isCompliantValidationExpression("x"));
ASSERT_EQUALS(false, Library::isCompliantValidationExpression("!"));
ASSERT_EQUALS(false, Library::isCompliantValidationExpression(""));
}
void empty() const {
// Reading an empty library file is considered to be OK
constexpr char xmldata[] = "\n";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.functions().empty());
}
void function() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" false\n"
" \n"
"";
const char code[] = "foo();";
SimpleTokenList tokenList(code);
tokenList.front()->next()->astOperand1(tokenList.front());
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT_EQUALS(library.functions().size(), 1U);
ASSERT(library.functions().at("foo").argumentChecks.empty());
ASSERT(library.isnotnoreturn(tokenList.front()));
}
void function_match_scope() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" "
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
{
const char code[] = "fred.foo(123);"; // tokAt(2)));
}
{
const char code[] = "Fred::foo(123);"; // tokAt(2)));
}
}
void function_match_args() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" "
" \n"
"";
TokenList tokenList(&settings);
std::istringstream istr("foo();"); // next(), tokenList.back()->previous());
tokenList.createAst();
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.isNotLibraryFunction(tokenList.front()));
}
void function_match_args_default() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" "
" "
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
{
TokenList tokenList(&settings);
std::istringstream istr("foo();"); // next(), tokenList.back()->previous());
tokenList.createAst();
ASSERT(library.isNotLibraryFunction(tokenList.front()));
}
{
TokenList tokenList(&settings);
std::istringstream istr("foo(a);"); // next(), tokenList.back()->previous());
tokenList.createAst();
ASSERT(!library.isNotLibraryFunction(tokenList.front()));
}
{
TokenList tokenList(&settings);
std::istringstream istr("foo(a, b);"); // next(), tokenList.back()->previous());
tokenList.createAst();
ASSERT(!library.isNotLibraryFunction(tokenList.front()));
}
{
TokenList tokenList(&settings);
std::istringstream istr("foo(a, b, c);"); // next(), tokenList.back()->previous());
tokenList.createAst();
ASSERT(library.isNotLibraryFunction(tokenList.front()));
}
}
void function_match_var() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" "
" \n"
"";
const char code[] = "Fred foo(123);"; // next()->astOperand1(tokenList.front());
tokenList.front()->next()->varId(1);
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.isNotLibraryFunction(tokenList.front()->next()));
}
void function_arg() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const auto& foo_fn_args = library.functions().at("foo").argumentChecks;
ASSERT_EQUALS(0, foo_fn_args.at(1).notuninit);
ASSERT_EQUALS(true, foo_fn_args.at(2).notnull);
ASSERT_EQUALS(true, foo_fn_args.at(3).formatstr);
ASSERT_EQUALS(true, foo_fn_args.at(4).strz);
ASSERT_EQUALS(false, foo_fn_args.at(4).optional);
ASSERT_EQUALS(true, foo_fn_args.at(5).notbool);
ASSERT_EQUALS(true, foo_fn_args.at(5).optional);
}
void function_arg_any() const {
constexpr char xmldata[] = "\n"
"\n"
"\n"
" \n"
"\n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT_EQUALS(0, library.functions().at("foo").argumentChecks.at(-1).notuninit);
}
void function_arg_variadic() const {
constexpr char xmldata[] = "\n"
"\n"
"\n"
" \n"
" \n"
"\n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT_EQUALS(0, library.functions().at("foo").argumentChecks.at(-1).notuninit);
const char code[] = "foo(a,b,c,d,e);";
SimpleTokenList tokenList(code);
tokenList.front()->next()->astOperand1(tokenList.front());
ASSERT_EQUALS(false, library.isuninitargbad(tokenList.front(), 1));
ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 2));
ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 3));
ASSERT_EQUALS(true, library.isuninitargbad(tokenList.front(), 4));
}
void function_arg_direction() const {
constexpr char xmldata[] = "\n"
"\n"
"\n"
" \n"
" \n"
" \n"
" \n"
"\n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const char code[] = "foo(a,b,c,d);";
SimpleTokenList tokenList(code);
tokenList.front()->next()->astOperand1(tokenList.front());
ASSERT(Library::ArgumentChecks::Direction::DIR_IN == library.getArgDirection(tokenList.front(), 1));
ASSERT(Library::ArgumentChecks::Direction::DIR_OUT == library.getArgDirection(tokenList.front(), 2));
ASSERT(Library::ArgumentChecks::Direction::DIR_INOUT == library.getArgDirection(tokenList.front(), 3));
ASSERT(Library::ArgumentChecks::Direction::DIR_UNKNOWN == library.getArgDirection(tokenList.front(), 4));
}
void function_arg_valid() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" 1:\n"
" -7:0\n"
" 1:5,8\n"
" -1,5\n"
" :1,5\n"
" 1.5:\n"
" -6.7:-5.5,-3.3:-2.7\n"
" 0.0:\n"
" :2.0\n"
" 0.0\n"
" !0.0\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const char code[] = "foo(a,b,c,d,e,f,g,h,i,j,k);";
SimpleTokenList tokenList(code);
tokenList.front()->next()->astOperand1(tokenList.front());
// 1-
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 1, -10));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 1, -10.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 1, 0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 1, 0.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 1, 1));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 1, 1.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 1, 10));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 1, 10.0));
// -7-0
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 2, -10));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -10.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -7.5));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, -7.1));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, -7));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -7.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, -3));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -3.0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, -3.5));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 2, 0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 2, 0.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, 0.5));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 2, 1));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 2, 1.0));
// 1-5,8
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 0.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 1));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 1.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 3));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 3.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 5));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 3, 5.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 6));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 6.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 7));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 7.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 3, 8));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 8.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 3, 9));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 3, 9.0));
// -1,5
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 4, -10));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, -10.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 4, -1));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, -1.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, 5.000001));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 4, 5.5));
// :1,5
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 5, -10));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 5, -10.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 5, 1));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 5, 1.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 5, 2));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 5, 2.0));
// 1.5:
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 6, 0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 6, 0.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 6, 1));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 6, 1.499999));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 6, 1.5));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 6, 2));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 6, 10));
// -6.7:-5.5,-3.3:-2.7
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, -7));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -7.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -6.7000001));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -6.7));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 7, -6));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -6.0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -5.5));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -5.4999999));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -3.3000001));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -3.3));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 7, -3));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -3.0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 7, -2.7));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -2.6999999));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, -2));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, -2.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 0.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 3));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 3.0));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 7, 6));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 7, 6.0));
// 0.0:
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 8, -1));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 8, -1.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 8, -0.00000001));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 8, 0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 0.0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 0.000000001));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 8, 1));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 8, 1.0));
// :2.0
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 9, -1));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 9, -1.0));
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 9, 2));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 9, 2.0));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 9, 2.00000001));
ASSERT_EQUALS(false, library.isIntArgValid(tokenList.front(), 9, 200));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 9, 200.0));
// 0.0
ASSERT_EQUALS(true, library.isIntArgValid(tokenList.front(), 10, 0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 10, 0.0));
// ! 0.0
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 11, -0.42));
ASSERT_EQUALS(false, library.isFloatArgValid(tokenList.front(), 11, 0.0));
ASSERT_EQUALS(true, library.isFloatArgValid(tokenList.front(), 11, 0.42));
}
void function_arg_minsize() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const char code[] = "foo(a,b,c,d,e);";
SimpleTokenList tokenList(code);
tokenList.front()->next()->astOperand1(tokenList.front());
// arg1: type=strlen arg2
const std::vector *minsizes = library.argminsizes(tokenList.front(),1);
ASSERT_EQUALS(true, minsizes != nullptr);
ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U);
if (minsizes && minsizes->size() == 1U) {
const Library::ArgumentChecks::MinSize &m = minsizes->front();
ASSERT_EQUALS(true, Library::ArgumentChecks::MinSize::Type::STRLEN == m.type);
ASSERT_EQUALS(2, m.arg);
}
// arg2: type=argvalue arg3
minsizes = library.argminsizes(tokenList.front(), 2);
ASSERT_EQUALS(true, minsizes != nullptr);
ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U);
if (minsizes && minsizes->size() == 1U) {
const Library::ArgumentChecks::MinSize &m = minsizes->front();
ASSERT_EQUALS(true, Library::ArgumentChecks::MinSize::Type::ARGVALUE == m.type);
ASSERT_EQUALS(3, m.arg);
}
// arg4: type=value
minsizes = library.argminsizes(tokenList.front(), 4);
ASSERT_EQUALS(true, minsizes != nullptr);
ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U);
if (minsizes && minsizes->size() == 1U) {
const Library::ArgumentChecks::MinSize &m = minsizes->front();
ASSERT(Library::ArgumentChecks::MinSize::Type::VALUE == m.type);
ASSERT_EQUALS(500, m.value);
ASSERT_EQUALS("", m.baseType);
}
// arg5: type=value
minsizes = library.argminsizes(tokenList.front(), 5);
ASSERT_EQUALS(true, minsizes != nullptr);
ASSERT_EQUALS(1U, minsizes ? minsizes->size() : 1U);
if (minsizes && minsizes->size() == 1U) {
const Library::ArgumentChecks::MinSize& m = minsizes->front();
ASSERT(Library::ArgumentChecks::MinSize::Type::VALUE == m.type);
ASSERT_EQUALS(4, m.value);
ASSERT_EQUALS("int", m.baseType);
}
}
void function_namespace() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" false\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT_EQUALS(library.functions().size(), 2U);
ASSERT(library.functions().at("Foo::foo").argumentChecks.empty());
ASSERT(library.functions().at("bar").argumentChecks.empty());
{
const char code[] = "Foo::foo();";
const SimpleTokenList tokenList(code);
ASSERT(library.isnotnoreturn(tokenList.front()->tokAt(2)));
}
{
const char code[] = "bar();";
const SimpleTokenList tokenList(code);
ASSERT(library.isnotnoreturn(tokenList.front()));
}
}
void function_method() {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" false\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT_EQUALS(library.functions().size(), 1U);
{
SimpleTokenizer tokenizer(settings, *this);
const char code[] = "CString str; str.Format();";
ASSERT(tokenizer.tokenize(code));
ASSERT(library.isnotnoreturn(Token::findsimplematch(tokenizer.tokens(), "Format")));
}
{
SimpleTokenizer tokenizer(settings, *this);
const char code[] = "HardDrive hd; hd.Format();";
ASSERT(tokenizer.tokenize(code));
ASSERT(!library.isnotnoreturn(Token::findsimplematch(tokenizer.tokens(), "Format")));
}
}
void function_baseClassMethod() {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
{
SimpleTokenizer tokenizer(settings, *this);
const char code[] = "struct X : public Base { void dostuff() { f(0); } };";
ASSERT(tokenizer.tokenize(code));
ASSERT(library.isnullargbad(Token::findsimplematch(tokenizer.tokens(), "f"),1));
}
{
SimpleTokenizer tokenizer(settings, *this);
const char code[] = "struct X : public Base { void dostuff() { f(1,2); } };";
ASSERT(tokenizer.tokenize(code));
ASSERT(!library.isnullargbad(Token::findsimplematch(tokenizer.tokens(), "f"),1));
}
}
void function_warn() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" Message\n"
" \n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const char code[] = "a(); b();";
const SimpleTokenList tokenList(code);
const Library::WarnInfo* a = library.getWarnInfo(tokenList.front());
const Library::WarnInfo* b = library.getWarnInfo(tokenList.front()->tokAt(4));
ASSERT_EQUALS(2, library.functionwarn().size());
ASSERT(a && b);
if (a && b) {
ASSERT_EQUALS("Message", a->message);
ASSERT_EQUALS_ENUM(Severity::style, a->severity);
ASSERT_EQUALS(Standards::C99, a->standards.c);
ASSERT_EQUALS(Standards::CPP03, a->standards.cpp);
ASSERT_EQUALS("Obsolescent function 'b' called. It is recommended to use 'c', 'd' or 'e' instead.", b->message);
ASSERT_EQUALS_ENUM(Severity::performance, b->severity);
ASSERT_EQUALS(Standards::C89, b->standards.c);
ASSERT_EQUALS(Standards::CPP11, b->standards.cpp);
}
}
void memory() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" CreateX\n"
" DeleteX\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.functions().empty());
const Library::AllocFunc* af = library.getAllocFuncInfo("CreateX");
ASSERT(af && af->arg == -1);
ASSERT(Library::ismemory(af));
ASSERT_EQUALS(library.allocId("CreateX"), library.deallocId("DeleteX"));
const Library::AllocFunc* df = library.getDeallocFuncInfo("DeleteX");
ASSERT(df && df->arg == 1);
}
void memory2() const {
constexpr char xmldata1[] = "\n"
"\n"
" \n"
" malloc\n"
" free\n"
" \n"
"";
constexpr char xmldata2[] = "\n"
"\n"
" \n"
" foo\n"
" free\n"
" \n"
"";
Library library;
ASSERT_EQUALS(true, LibraryHelper::loadxmldata(library, xmldata1, sizeof(xmldata1)));
ASSERT_EQUALS(true, LibraryHelper::loadxmldata(library, xmldata2, sizeof(xmldata2)));
ASSERT_EQUALS(library.deallocId("free"), library.allocId("malloc"));
ASSERT_EQUALS(library.deallocId("free"), library.allocId("foo"));
}
void memory3() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" CreateX\n"
" DeleteX\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.functions().empty());
const Library::AllocFunc* af = library.getAllocFuncInfo("CreateX");
ASSERT(af && af->arg == 5 && !af->initData);
const Library::AllocFunc* df = library.getDeallocFuncInfo("DeleteX");
ASSERT(df && df->arg == 2);
}
void resource() const {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" CreateX\n"
" DeleteX\n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
ASSERT(library.functions().empty());
ASSERT(Library::isresource(library.allocId("CreateX")));
ASSERT_EQUALS(library.allocId("CreateX"), library.deallocId("DeleteX"));
}
void podtype() const {
{
constexpr char xmldata[] = "\n"
"\n"
" \n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
// s8
{
const Library::PodType * const type = library.podtype("s8");
ASSERT_EQUALS(true, type != nullptr);
if (type) {
ASSERT_EQUALS(1U, type->size);
ASSERT_EQUALS('s', type->sign);
}
}
// u8
{
const Library::PodType * const type = library.podtype("u8");
ASSERT_EQUALS(true, type != nullptr);
if (type) {
ASSERT_EQUALS(1U, type->size);
ASSERT_EQUALS('u', type->sign);
}
}
// u16
{
const Library::PodType * const type = library.podtype("u16");
ASSERT_EQUALS(true, type != nullptr);
if (type) {
ASSERT_EQUALS(2U, type->size);
ASSERT_EQUALS('u', type->sign);
}
}
// s16
{
const Library::PodType * const type = library.podtype("s16");
ASSERT_EQUALS(true, type != nullptr);
if (type) {
ASSERT_EQUALS(2U, type->size);
ASSERT_EQUALS('s', type->sign);
}
}
// robustness test: provide cfg without PodType
{
const Library::PodType * const type = library.podtype("nonExistingPodType");
ASSERT_EQUALS(true, type == nullptr);
}
}
}
void container() {
constexpr char xmldata[] = "\n"
"\n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n" // Inherits all but templateParameter
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
" \n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
const Library::Container& A = library.containers().at("A");
const Library::Container& B = library.containers().at("B");
const Library::Container& C = library.containers().at("C");
const Library::Container& E = library.containers().at("E");
const Library::Container& F = library.containers().at("F");
ASSERT_EQUALS(A.type_templateArgNo, 1);
ASSERT_EQUALS(A.size_templateArgNo, 4);
ASSERT_EQUALS(A.startPattern, "std :: A !!::");
ASSERT_EQUALS(A.itEndPattern, "> :: iterator");
ASSERT_EQUALS(A.stdStringLike, false);
ASSERT_EQUALS(A.arrayLike_indexOp, false);
ASSERT_EQUALS(A.opLessAllowed, true);
ASSERT_EQ(Library::Container::Yield::SIZE, A.getYield("size"));
ASSERT_EQ(Library::Container::Yield::EMPTY, A.getYield("empty"));
ASSERT_EQ(Library::Container::Yield::AT_INDEX, A.getYield("at"));
ASSERT_EQ(Library::Container::Yield::START_ITERATOR, A.getYield("begin"));
ASSERT_EQ(Library::Container::Yield::END_ITERATOR, A.getYield("end"));
ASSERT_EQ(Library::Container::Yield::BUFFER, A.getYield("data"));
ASSERT_EQ(Library::Container::Yield::BUFFER_NT, A.getYield("c_str"));
ASSERT_EQ(Library::Container::Yield::ITEM, A.getYield("front"));
ASSERT_EQ(Library::Container::Yield::NO_YIELD, A.getYield("foo"));
ASSERT_EQ(Library::Container::Action::RESIZE, A.getAction("resize"));
ASSERT_EQ(Library::Container::Action::CLEAR, A.getAction("clear"));
ASSERT_EQ(Library::Container::Action::PUSH, A.getAction("push_back"));
ASSERT_EQ(Library::Container::Action::POP, A.getAction("pop_back"));
ASSERT_EQ(Library::Container::Action::FIND, A.getAction("find"));
ASSERT_EQ(Library::Container::Action::FIND_CONST, A.getAction("cfind"));
ASSERT_EQ(Library::Container::Action::NO_ACTION, A.getAction("foo"));
ASSERT_EQUALS(B.type_templateArgNo, 1);
ASSERT_EQUALS(B.size_templateArgNo, 3);
ASSERT_EQUALS(B.startPattern, "std :: B !!::");
ASSERT_EQUALS(B.itEndPattern, "> :: iterator");
ASSERT_EQUALS(B.functions.size(), A.functions.size());
ASSERT_EQUALS(B.opLessAllowed, false);
ASSERT(C.functions.empty());
ASSERT_EQUALS(C.type_templateArgNo, -1);
ASSERT_EQUALS(C.size_templateArgNo, -1);
ASSERT_EQUALS(C.stdStringLike, true);
ASSERT_EQUALS(C.arrayLike_indexOp, true);
ASSERT_EQUALS(E.startPattern, "std :: E");
ASSERT_EQUALS(E.endPattern, "");
ASSERT_EQUALS(E.itEndPattern, "");
ASSERT_EQUALS(F.startPattern, "std :: F");
ASSERT_EQUALS(F.endPattern, "");
ASSERT_EQUALS(F.itEndPattern, ":: iterator");
{
const SimpleTokenizer var(*this, "std::A a;");
ASSERT_EQUALS(&A, library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&A, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(!isIterator);
}
{
const SimpleTokenizer var(*this, "std::A::size_type a_s;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
}
{
const SimpleTokenizer var(*this, "std::A::iterator a_it;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT_EQUALS(&A, library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&A, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(isIterator);
}
{
const SimpleTokenizer var(*this, "std::B b;");
ASSERT_EQUALS(&B, library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&B, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(!isIterator);
}
{
const SimpleTokenizer var(*this, "std::B::size_type b_s;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
}
{
const SimpleTokenizer var(*this, "std::B::iterator b_it;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT_EQUALS(&B, library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&B, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(isIterator);
}
{
const SimpleTokenizer var(*this, "C c;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
}
{
const SimpleTokenizer var(*this, "D d;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
}
{
const SimpleTokenizer var(*this, "std::E e;");
ASSERT(library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&E, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(!isIterator);
ASSERT(!library.detectContainerOrIterator(var.tokens(), nullptr, true));
}
{
const SimpleTokenizer var(*this, "E e;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
ASSERT_EQUALS(&E, library.detectContainerOrIterator(var.tokens(), nullptr, true));
}
{
const SimpleTokenizer var(*this, "std::E::iterator I;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens(), nullptr, true));
}
{
const SimpleTokenizer var(*this, "std::E::size_type p;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens(), nullptr, true));
}
{
const SimpleTokenizer var(*this, "std::F f;");
ASSERT(library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
bool isIterator;
ASSERT_EQUALS(&F, library.detectContainerOrIterator(var.tokens(), &isIterator));
ASSERT(!isIterator);
}
{
const SimpleTokenizer var(*this, "std::F::iterator I;");
ASSERT(!library.detectContainer(var.tokens()));
TODO_ASSERT(library.detectIterator(var.tokens()));
bool isIterator = false;
TODO_ASSERT_EQUALS((intptr_t)&F, 0, (intptr_t)library.detectContainerOrIterator(var.tokens(), &isIterator));
TODO_ASSERT(isIterator);
}
{
const SimpleTokenizer var(*this, "F::iterator I;");
ASSERT(!library.detectContainer(var.tokens()));
ASSERT(!library.detectIterator(var.tokens()));
ASSERT(!library.detectContainerOrIterator(var.tokens()));
bool isIterator = false;
TODO_ASSERT_EQUALS((intptr_t)&F, 0, (intptr_t)library.detectContainerOrIterator(var.tokens(), &isIterator, true));
TODO_ASSERT(isIterator);
}
}
#define LOADLIBERROR(xmldata, errorcode) loadLibError(xmldata, errorcode, __FILE__, __LINE__)
void version() const {
{
constexpr char xmldata[] = "\n"
"\n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
}
{
constexpr char xmldata[] = "\n"
"\n"
"";
Library library;
ASSERT(LibraryHelper::loadxmldata(library, xmldata, sizeof(xmldata)));
}
{
constexpr char xmldata[] = "\n"
"\n"
"";
LOADLIBERROR(xmldata, Library::ErrorCode::UNSUPPORTED_FORMAT);
}
}
template
void loadLibError(const char (&xmldata)[size], Library::ErrorCode errorcode, const char* file, unsigned line) const {
Library library;
Library::Error liberr;
(void)assertEquals(file, line, true, LibraryHelper::loadxmldata(library, liberr, xmldata, size-1));
(void)assertEquals(file, line, true, errorcode == liberr.errorcode);
}
#define LOADLIB_ERROR_INVALID_RANGE(valid) LOADLIBERROR("\n" \
"\n" \
"\n" \
"\n" \
"" valid "\n" \
"\n" \
"\n" \
"", \
Library::ErrorCode::BAD_ATTRIBUTE_VALUE)
void loadLibErrors() const {
LOADLIBERROR("",
Library::ErrorCode::BAD_XML);
LOADLIBERROR("\n"
"\n"
" \n"
"",
Library::ErrorCode::UNKNOWN_ELEMENT);
// #define without attributes
LOADLIBERROR("\n"
"\n"
" \n" // no attributes provided at all
"",
Library::ErrorCode::MISSING_ATTRIBUTE);
// #define with name but without value
LOADLIBERROR("\n"
"\n"
" \n" // no value provided
"",
Library::ErrorCode::MISSING_ATTRIBUTE);
LOADLIBERROR("\n"
"\n"
" \n" // no name provided
"",
Library::ErrorCode::MISSING_ATTRIBUTE);
LOADLIBERROR("\n"
"\n"
"",
Library::ErrorCode::UNSUPPORTED_FORMAT);
// empty range
LOADLIB_ERROR_INVALID_RANGE("");
// letter as range
LOADLIB_ERROR_INVALID_RANGE("a");
// letter and number as range
LOADLIB_ERROR_INVALID_RANGE("1a");
// digit followed by dash
LOADLIB_ERROR_INVALID_RANGE("0:2-1");
// single dash
LOADLIB_ERROR_INVALID_RANGE("-");
// range with multiple colons
LOADLIB_ERROR_INVALID_RANGE("1:2:3");
// extra dot
LOADLIB_ERROR_INVALID_RANGE("1.0.0:10");
// consecutive dots
LOADLIB_ERROR_INVALID_RANGE("1..0:10");
// dot followed by dash
LOADLIB_ERROR_INVALID_RANGE("1.-0:10");
// dot without preceding number
LOADLIB_ERROR_INVALID_RANGE(".5:10");
// dash followed by dot
LOADLIB_ERROR_INVALID_RANGE("-.5:10");
// colon followed by dot without preceding number
LOADLIB_ERROR_INVALID_RANGE("0:.5");
// colon followed by dash followed by dot
LOADLIB_ERROR_INVALID_RANGE("-10:-.5");
// dot not followed by number
LOADLIB_ERROR_INVALID_RANGE("1:5.");
// dot not followed by number
LOADLIB_ERROR_INVALID_RANGE("1.:5");
// dot followed by comma
LOADLIB_ERROR_INVALID_RANGE("1:5.,6:10");
// comma followed by dot
LOADLIB_ERROR_INVALID_RANGE("-10:0,.5:");
}
void loadLibCombinations() const {
{
const Settings s = settingsBuilder().library("std.cfg").library("gnu.cfg").library("bsd.cfg").build();
ASSERT_EQUALS(s.library.defines().empty(), false);
}
{
const Settings s = settingsBuilder().library("std.cfg").library("microsoft_sal.cfg").build();
ASSERT_EQUALS(s.library.defines().empty(), false);
}
{
const Settings s = settingsBuilder().library("std.cfg").library("windows.cfg").library("mfc.cfg").build();
ASSERT_EQUALS(s.library.defines().empty(), false);
}
}
};
REGISTER_TEST(TestLibrary)