xref: /llvm-project/clang/unittests/AST/DeclTest.cpp (revision a732899cb43e887464e9a9134c5166e06672eacc)
1 //===- unittests/AST/DeclTest.cpp --- Declaration tests -------------------===//
2 //
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // Unit tests for Decl nodes in the AST.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #include "clang/ASTMatchers/ASTMatchFinder.h"
15 #include "clang/Tooling/Tooling.h"
16 #include "gtest/gtest.h"
17 
18 using namespace clang::ast_matchers;
19 using namespace clang::tooling;
20 
21 TEST(Decl, CleansUpAPValues) {
22   MatchFinder Finder;
23   llvm::OwningPtr<FrontendActionFactory> Factory(
24       newFrontendActionFactory(&Finder));
25 
26   // This is a regression test for a memory leak in APValues for structs that
27   // allocate memory. This test only fails if run under valgrind with full leak
28   // checking enabled.
29   std::vector<std::string> Args(1, "-std=c++11");
30   ASSERT_TRUE(runToolOnCodeWithArgs(
31       Factory->create(),
32       "struct X { int a; }; constexpr X x = { 42 };"
33       "union Y { constexpr Y(int a) : a(a) {} int a; }; constexpr Y y = { 42 };"
34       "constexpr int z[2] = { 42, 43 };"
35       "constexpr int __attribute__((vector_size(16))) v1 = {};"
36       "constexpr __uint128_t large_int = 0xffffffffffffffff;"
37       "constexpr __uint128_t small_int = 1;"
38       "constexpr double d1 = 42.42;"
39       "constexpr long double d2 = 42.42;"
40       "constexpr _Complex long double c1 = 42.0i;"
41       "constexpr _Complex long double c2 = 42.0;"
42       "template<int N> struct A : A<N-1> {};"
43       "template<> struct A<0> { int n; }; A<50> a;"
44       "constexpr int &r = a.n;"
45       "constexpr int A<50>::*p = &A<50>::n;"
46       "void f() { foo: bar: constexpr int k = __builtin_constant_p(0) ?"
47       "                         (char*)&&foo - (char*)&&bar : 0; }",
48       Args));
49 
50   // FIXME: Once this test starts breaking we can test APValue::needsCleanup
51   // for ComplexInt.
52   ASSERT_FALSE(runToolOnCodeWithArgs(
53       Factory->create(),
54       "constexpr _Complex __uint128_t c = 0xffffffffffffffff;",
55       Args));
56 }
57