Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions test/fixture.h
Original file line number Diff line number Diff line change
Expand Up @@ -162,7 +162,7 @@ class TestFixture : public ErrorLogger {

SettingsBuilder& severity(Severity sev, bool b = true) {
if (REDUNDANT_CHECK && settings.severity.isEnabled(sev) == b)
throw std::runtime_error("redundant setting: severity");
throw std::runtime_error("redundant setting: severity - " + severityToString(sev));
settings.severity.setEnabled(sev, b);
return *this;
}
Expand Down Expand Up @@ -252,7 +252,7 @@ class TestFixture : public ErrorLogger {
const TestFixture &fixture;
Settings settings;

const bool REDUNDANT_CHECK = false;
static constexpr bool REDUNDANT_CHECK = false;
};

SettingsBuilder settingsBuilder() const {
Expand Down
3 changes: 2 additions & 1 deletion test/testautovariables.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@ class TestAutoVariables : public TestFixture {

private:
const Settings settings = settingsBuilder().severity(Severity::warning).severity(Severity::style).library("std.cfg").library("qt.cfg").build();
const Settings settings_i = settingsBuilder(settings).certainty(Certainty::inconclusive).build();

struct CheckOptions
{
Expand All @@ -41,7 +42,7 @@ class TestAutoVariables : public TestFixture {
#define check(...) check_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
void check_(const char* file, int line, const char (&code)[size], const CheckOptions& options = make_default_obj()) {
const Settings settings1 = settingsBuilder(settings).certainty(Certainty::inconclusive, options.inconclusive).build();
const Settings &settings1 = options.inconclusive ? settings_i : settings;

// Tokenize..
SimpleTokenizer tokenizer(settings1, *this, options.cpp);
Expand Down
3 changes: 2 additions & 1 deletion test/testclass.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@ class TestClass : public TestFixture {
const Settings settings1 = settingsBuilder().severity(Severity::warning).library("std.cfg").build();
const Settings settings2 = settingsBuilder().severity(Severity::style).library("std.cfg").certainty(Certainty::inconclusive).build();
const Settings settings3 = settingsBuilder().severity(Severity::style).library("std.cfg").severity(Severity::warning).build();
const Settings settings3_i = settingsBuilder(settings3).certainty(Certainty::inconclusive).build();

void run() override {
mNewTemplate = true;
Expand Down Expand Up @@ -2640,7 +2641,7 @@ class TestClass : public TestFixture {
#define checkVirtualDestructor(...) checkVirtualDestructor_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
void checkVirtualDestructor_(const char* file, int line, const char (&code)[size], const CheckVirtualDestructorOptions& options = make_default_obj()) {
const Settings s = settingsBuilder(settings0).certainty(Certainty::inconclusive, options.inconclusive).severity(Severity::warning).build();
const Settings& s = options.inconclusive ? settings3_i : settings3;

// Tokenize..
SimpleTokenizer tokenizer(s, *this);
Expand Down
5 changes: 2 additions & 3 deletions test/testcondition.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ class TestCondition : public TestFixture {
private:
const Settings settings0 = settingsBuilder().library("qt.cfg").library("std.cfg").severity(Severity::style).severity(Severity::warning).build();
/*const*/ Settings settings1 = settingsBuilder().severity(Severity::style).severity(Severity::warning).build();
const Settings settings2 = settingsBuilder(settings0).severity(Severity::performance).certainty(Certainty::inconclusive).build();

void run() override {
const char cfg[] = "<?xml version=\"1.0\"?>\n"
Expand Down Expand Up @@ -153,9 +154,7 @@ class TestCondition : public TestFixture {
template<size_t size>
void checkP_(const char* file, int line, const char (&code)[size])
{
const Settings settings = settingsBuilder(settings0).severity(Severity::performance).certainty(Certainty::inconclusive).build();

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

// Tokenizer..
ASSERT_LOC(tokenizer.simplifyTokens1(""), file, line);
Expand Down
3 changes: 2 additions & 1 deletion test/testincompletestatement.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,7 @@ class TestIncompleteStatement : public TestFixture {

private:
const Settings settings = settingsBuilder().severity(Severity::warning).library("std.cfg").build();
const Settings settings_i = settingsBuilder(settings).certainty(Certainty::inconclusive).build();

struct CheckOptions
{
Expand All @@ -41,7 +42,7 @@ class TestIncompleteStatement : public TestFixture {
#define check(...) check_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
void check_(const char* file, int line, const char (&code)[size], const CheckOptions& options = make_default_obj()) {
const Settings settings1 = settingsBuilder(settings).certainty(Certainty::inconclusive, options.inconclusive).build();
const Settings &settings1 = options.inconclusive ? settings_i : settings;

SimpleTokenizer2 tokenizer(settings1, *this, code, options.cpp ? "test.cpp" : "test.c");

Expand Down
11 changes: 4 additions & 7 deletions test/testleakautovar.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -646,20 +646,18 @@ class TestLeakAutoVar : public TestFixture {
}

void memcpy1() { // #11542
const Settings s = settingsBuilder().library("std.cfg").build();
check("void f(char** old, char* value) {\n"
" char *str = strdup(value);\n"
" memcpy(old, &str, sizeof(char*));\n"
"}\n", dinit(CheckOptions, $.s = &s));
"}\n");
ASSERT_EQUALS("", errout_str());
}

void memcpy2() {
const Settings s = settingsBuilder().library("std.cfg").build();
check("void f(char* old, char* value, size_t len) {\n"
" char *str = strdup(value);\n"
" memcpy(old, str, len);\n"
"}\n", dinit(CheckOptions, $.cpp = true, $.s = &s));
"}\n", dinit(CheckOptions, $.cpp = true));
ASSERT_EQUALS("[test.cpp:4:1]: (error) Memory leak: str [memleak]\n", errout_str());
}

Expand Down Expand Up @@ -1894,20 +1892,19 @@ class TestLeakAutoVar : public TestFixture {
"}\n");
ASSERT_EQUALS("", errout_str());

const Settings s = settingsBuilder().library("std.cfg").build();
check("struct S {};\n"
"void f(int i, std::vector<std::unique_ptr<S>> &v) {\n"
" if (i < 1) {\n"
" auto s = new S;\n"
" v.push_back(std::unique_ptr<S>(s));\n"
" }\n"
"}\n", dinit(CheckOptions, $.cpp = true, $.s = &s));
"}\n", dinit(CheckOptions, $.cpp = true));
ASSERT_EQUALS("", errout_str()); // don't crash

check("void g(size_t len) {\n" // #12365
" char* b = new char[len + 1]{};\n"
" std::string str = std::string(b);\n"
"}", dinit(CheckOptions, $.cpp = true, $.s = &s));
"}", dinit(CheckOptions, $.cpp = true));
ASSERT_EQUALS("[test.cpp:4:1]: (error) Memory leak: b [memleak]\n", errout_str());
}

Expand Down
4 changes: 1 addition & 3 deletions test/testnullpointer.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -202,9 +202,7 @@ class TestNullPointer : public TestFixture {
#define checkP(...) checkP_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
void checkP_(const char* file, int line, const char (&code)[size]) {
const Settings settings1 = settingsBuilder(settings).certainty(Certainty::inconclusive, false).build();

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

// Tokenizer..
ASSERT_LOC(tokenizer.simplifyTokens1(""), file, line);
Expand Down
11 changes: 6 additions & 5 deletions test/testsimplifytemplate.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -37,8 +37,9 @@ class TestSimplifyTemplate : public TestFixture {
TestSimplifyTemplate() : TestFixture("TestSimplifyTemplate") {}

private:
// If there are unused templates, keep those
const Settings settings = settingsBuilder().severity(Severity::portability).build();
const Settings settings1 = settingsBuilder(settings).library("std.cfg").build();
const Settings settings1_d = settingsBuilder(settings1).debugwarnings().build();

void run() override {
TEST_CASE(template1);
Expand Down Expand Up @@ -327,8 +328,8 @@ class TestSimplifyTemplate : public TestFixture {
#define tok(...) tok_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
std::string tok_(const char* file, int line, const char (&code)[size], const CheckOptions& options = make_default_obj()) {
const Settings settings1 = settingsBuilder(settings).library("std.cfg").debugwarnings(options.debugwarnings).build();
SimpleTokenizer tokenizer(settings1, *this);
const Settings& s = options.debugwarnings ? settings1_d : settings1;
SimpleTokenizer tokenizer(s, *this);

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

Expand All @@ -338,8 +339,8 @@ class TestSimplifyTemplate : public TestFixture {
#define dump(...) dump_(__FILE__, __LINE__, __VA_ARGS__)
template<size_t size>
std::string dump_(const char* file, int line, const char (&code)[size], const CheckOptions& options = make_default_obj()) {
const Settings settings1 = settingsBuilder(settings).library("std.cfg").debugwarnings(options.debugwarnings).build();
SimpleTokenizer tokenizer(settings1, *this);
const Settings& s = options.debugwarnings ? settings1_d : settings1;
SimpleTokenizer tokenizer(s, *this);

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

Expand Down
7 changes: 2 additions & 5 deletions test/testuninitvar.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -5471,14 +5471,11 @@ class TestUninitVar : public TestFixture {
template<size_t size>
void valueFlowUninit_(const char* file, int line, const char (&code)[size], bool cpp = true)
{
// Tokenize..
const Settings s = settingsBuilder(settings).debugwarnings(false).build();

SimpleTokenizer tokenizer(s, *this, cpp);
SimpleTokenizer tokenizer(settings, *this, cpp);
ASSERT_LOC(tokenizer.tokenize(code), file, line);

// Check for redundant code..
CheckUninitVar checkuninitvar(&tokenizer, &s, this);
CheckUninitVar checkuninitvar(&tokenizer, &settings, this);
(checkuninitvar.valueFlowUninit)();
}

Expand Down
3 changes: 1 addition & 2 deletions test/testvalueflow.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -7535,10 +7535,9 @@ class TestValueFlow : public TestFixture {

void valueFlowUnknownFunctionReturnMalloc() { // #4626
const char *code;
const Settings s = settingsBuilder().library("std.cfg").build();

code = "ptr = malloc(10);";
const auto& values = tokenValues(code, "(", &s);
const auto& values = tokenValues(code, "(");
ASSERT_EQUALS(1, values.size());
ASSERT_EQUALS(true, values.front().isIntValue());
ASSERT_EQUALS(true, values.front().isPossible());
Expand Down