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