blob: d6dfcaac6f3bdc41bd97f7f23af81a6f70bba45f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
#include "clang/ASTMatchers/ASTMatchFinder.h"
#include "clang/ASTMatchers/ASTMatchers.h"
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Frontend/ASTUnit.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h"
#include "clang/Tooling/Tooling.h"
#include "gtest/gtest.h"
#include <memory>
using namespace clang;
using namespace ento;
using namespace ast_matchers;
class IsCLibraryFunctionTest : public testing::Test {
std::unique_ptr<ASTUnit> ASTUnitP;
const FunctionDecl *Result = nullptr;
public:
const FunctionDecl *getFunctionDecl() const { return Result; }
testing::AssertionResult buildAST(StringRef Code) {
ASTUnitP = tooling::buildASTFromCode(Code);
if (!ASTUnitP)
return testing::AssertionFailure() << "AST construction failed";
ASTContext &Context = ASTUnitP->getASTContext();
if (Context.getDiagnostics().hasErrorOccurred())
return testing::AssertionFailure() << "Compilation error";
auto Matches = ast_matchers::match(functionDecl().bind("fn"), Context);
if (Matches.empty())
return testing::AssertionFailure() << "No function declaration found";
if (Matches.size() > 1)
return testing::AssertionFailure()
<< "Multiple function declarations found";
Result = Matches[0].getNodeAs<FunctionDecl>("fn");
return testing::AssertionSuccess();
}
};
TEST_F(IsCLibraryFunctionTest, AcceptsGlobal) {
ASSERT_TRUE(buildAST(R"cpp(void fun();)cpp"));
EXPECT_TRUE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, AcceptsExternCGlobal) {
ASSERT_TRUE(buildAST(R"cpp(extern "C" { void fun(); })cpp"));
EXPECT_TRUE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, RejectsNoInlineNoExternalLinkage) {
// Functions that are neither inlined nor externally visible cannot be C
// library functions.
ASSERT_TRUE(buildAST(R"cpp(static void fun();)cpp"));
EXPECT_FALSE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, RejectsAnonymousNamespace) {
ASSERT_TRUE(buildAST(R"cpp(namespace { void fun(); })cpp"));
EXPECT_FALSE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, AcceptsStdNamespace) {
ASSERT_TRUE(buildAST(R"cpp(namespace std { void fun(); })cpp"));
EXPECT_TRUE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, RejectsOtherNamespaces) {
ASSERT_TRUE(buildAST(R"cpp(namespace stdx { void fun(); })cpp"));
EXPECT_FALSE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, RejectsClassStatic) {
ASSERT_TRUE(buildAST(R"cpp(class A { static void fun(); };)cpp"));
EXPECT_FALSE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
TEST_F(IsCLibraryFunctionTest, RejectsClassMember) {
ASSERT_TRUE(buildAST(R"cpp(class A { void fun(); };)cpp"));
EXPECT_FALSE(CheckerContext::isCLibraryFunction(getFunctionDecl()));
}
|
