2010-06-14 22:18:09 +02:00
|
|
|
/*
|
|
|
|
* Cppcheck - A tool for static C/C++ code analysis
|
2023-01-28 10:16:34 +01:00
|
|
|
* Copyright (C) 2007-2023 Cppcheck team.
|
2010-06-14 22:18:09 +02:00
|
|
|
*
|
|
|
|
* 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/>.
|
|
|
|
*/
|
|
|
|
|
2022-08-23 20:30:45 +02:00
|
|
|
#include "redirect.h"
|
2017-05-27 04:33:47 +02:00
|
|
|
#include "settings.h"
|
2023-01-27 08:18:32 +01:00
|
|
|
#include "fixture.h"
|
|
|
|
#include "helpers.h"
|
2010-06-17 23:42:01 +02:00
|
|
|
#include "threadexecutor.h"
|
2022-09-16 07:15:49 +02:00
|
|
|
#include "timer.h"
|
2010-06-14 22:18:09 +02:00
|
|
|
|
2022-04-13 12:24:00 +02:00
|
|
|
#include <algorithm>
|
2022-01-27 19:03:20 +01:00
|
|
|
#include <cstddef>
|
2010-06-14 22:18:09 +02:00
|
|
|
#include <map>
|
2022-08-19 18:23:15 +02:00
|
|
|
#include <sstream>
|
2010-06-14 22:18:09 +02:00
|
|
|
#include <string>
|
2017-05-27 04:33:47 +02:00
|
|
|
#include <utility>
|
2022-04-13 12:24:00 +02:00
|
|
|
#include <vector>
|
2010-06-14 22:18:09 +02:00
|
|
|
|
2011-10-13 20:53:06 +02:00
|
|
|
class TestThreadExecutor : public TestFixture {
|
2010-06-14 22:18:09 +02:00
|
|
|
public:
|
2021-08-07 20:51:18 +02:00
|
|
|
TestThreadExecutor() : TestFixture("TestThreadExecutor") {}
|
2010-06-14 22:18:09 +02:00
|
|
|
|
|
|
|
private:
|
2015-10-07 18:33:57 +02:00
|
|
|
Settings settings;
|
2010-06-14 22:18:09 +02:00
|
|
|
|
2010-06-17 23:42:01 +02:00
|
|
|
/**
|
|
|
|
* Execute check using n jobs for y files which are have
|
|
|
|
* identical data, given within data.
|
|
|
|
*/
|
2022-08-23 20:30:45 +02:00
|
|
|
void check(unsigned int jobs, int files, int result, const std::string &data, SHOWTIME_MODES showtime = SHOWTIME_MODES::SHOWTIME_NONE) {
|
2010-06-14 22:18:09 +02:00
|
|
|
errout.str("");
|
|
|
|
output.str("");
|
2010-06-17 23:42:01 +02:00
|
|
|
|
2012-07-08 23:39:46 +02:00
|
|
|
std::map<std::string, std::size_t> filemap;
|
2011-10-13 20:53:06 +02:00
|
|
|
for (int i = 1; i <= files; ++i) {
|
2010-06-17 23:42:01 +02:00
|
|
|
std::ostringstream oss;
|
|
|
|
oss << "file_" << i << ".cpp";
|
2022-03-02 11:10:29 +01:00
|
|
|
filemap[oss.str()] = data.size();
|
2010-06-17 23:42:01 +02:00
|
|
|
}
|
|
|
|
|
2016-01-03 16:18:17 +01:00
|
|
|
settings.jobs = jobs;
|
2022-08-23 20:30:45 +02:00
|
|
|
settings.showtime = showtime;
|
2012-02-19 17:22:59 +01:00
|
|
|
ThreadExecutor executor(filemap, settings, *this);
|
2022-03-02 11:10:29 +01:00
|
|
|
std::vector<ScopedFile> scopedfiles;
|
|
|
|
scopedfiles.reserve(filemap.size());
|
2022-12-20 20:32:16 +01:00
|
|
|
for (std::map<std::string, std::size_t>::const_iterator i = filemap.cbegin(); i != filemap.cend(); ++i)
|
2022-03-02 11:10:29 +01:00
|
|
|
scopedfiles.emplace_back(i->first, data);
|
2010-06-17 23:42:01 +02:00
|
|
|
|
2010-07-07 13:59:42 +02:00
|
|
|
ASSERT_EQUALS(result, executor.check());
|
2010-06-14 22:18:09 +02:00
|
|
|
}
|
|
|
|
|
2022-02-10 23:02:24 +01:00
|
|
|
void run() override {
|
2015-11-19 17:33:52 +01:00
|
|
|
LOAD_LIB_2(settings.library, "std.cfg");
|
|
|
|
|
2010-07-07 14:42:39 +02:00
|
|
|
TEST_CASE(deadlock_with_many_errors);
|
2014-04-13 11:51:29 +02:00
|
|
|
TEST_CASE(many_threads);
|
2022-08-23 20:30:45 +02:00
|
|
|
TEST_CASE(many_threads_showtime);
|
2010-07-07 13:59:42 +02:00
|
|
|
TEST_CASE(no_errors_more_files);
|
|
|
|
TEST_CASE(no_errors_less_files);
|
|
|
|
TEST_CASE(no_errors_equal_amount_files);
|
|
|
|
TEST_CASE(one_error_less_files);
|
|
|
|
TEST_CASE(one_error_several_files);
|
2010-06-14 22:18:09 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void deadlock_with_many_errors() {
|
2010-06-17 23:42:01 +02:00
|
|
|
std::ostringstream oss;
|
|
|
|
oss << "int main()\n"
|
|
|
|
<< "{\n";
|
2010-07-31 14:44:08 +02:00
|
|
|
for (int i = 0; i < 500; i++)
|
2011-11-30 19:43:02 +01:00
|
|
|
oss << " {char *a = malloc(10);}\n";
|
2010-06-17 23:42:01 +02:00
|
|
|
|
2013-08-07 17:55:31 +02:00
|
|
|
oss << " return 0;\n"
|
|
|
|
<< "}\n";
|
2010-07-31 14:44:08 +02:00
|
|
|
check(2, 3, 3, oss.str());
|
2010-07-07 13:59:42 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void many_threads() {
|
2015-11-28 12:04:03 +01:00
|
|
|
check(16, 100, 100,
|
2015-10-18 20:28:17 +02:00
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" char *a = malloc(10);\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2014-04-13 11:51:29 +02:00
|
|
|
}
|
|
|
|
|
2022-08-23 20:30:45 +02:00
|
|
|
// #11249 - reports TSAN errors - only applies to threads not processes though
|
|
|
|
void many_threads_showtime() {
|
|
|
|
REDIRECT;
|
|
|
|
check(16, 100, 100,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" char *a = malloc(10);\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}", SHOWTIME_MODES::SHOWTIME_SUMMARY);
|
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void no_errors_more_files() {
|
2015-10-18 20:28:17 +02:00
|
|
|
check(2, 3, 0,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2010-07-07 13:59:42 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void no_errors_less_files() {
|
2015-10-18 20:28:17 +02:00
|
|
|
check(2, 1, 0,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2010-07-07 13:59:42 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void no_errors_equal_amount_files() {
|
2015-10-18 20:28:17 +02:00
|
|
|
check(2, 2, 0,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2010-07-07 13:59:42 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void one_error_less_files() {
|
2015-10-18 20:28:17 +02:00
|
|
|
check(2, 1, 1,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" {char *a = malloc(10);}\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2010-07-07 13:59:42 +02:00
|
|
|
}
|
|
|
|
|
2014-11-20 14:20:09 +01:00
|
|
|
void one_error_several_files() {
|
2015-10-18 20:28:17 +02:00
|
|
|
check(2, 20, 20,
|
|
|
|
"int main()\n"
|
|
|
|
"{\n"
|
|
|
|
" {char *a = malloc(10);}\n"
|
|
|
|
" return 0;\n"
|
|
|
|
"}");
|
2010-06-14 22:18:09 +02:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
REGISTER_TEST(TestThreadExecutor)
|