Clang Project

clang_source_code/unittests/AST/DeclTest.cpp
1//===- unittests/AST/DeclTest.cpp --- Declaration tests -------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Unit tests for Decl nodes in the AST.
10//
11//===----------------------------------------------------------------------===//
12
13#include "clang/ASTMatchers/ASTMatchFinder.h"
14#include "clang/Tooling/Tooling.h"
15#include "gtest/gtest.h"
16
17using namespace clang::ast_matchers;
18using namespace clang::tooling;
19
20TEST(Decl, CleansUpAPValues) {
21  MatchFinder Finder;
22  std::unique_ptr<FrontendActionFactory> Factory(
23      newFrontendActionFactory(&Finder));
24
25  // This is a regression test for a memory leak in APValues for structs that
26  // allocate memory. This test only fails if run under valgrind with full leak
27  // checking enabled.
28  std::vector<std::string> Args(1"-std=c++11");
29  Args.push_back("-fno-ms-extensions");
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      "\n#ifdef __SIZEOF_INT128__\n"
37      "constexpr __uint128_t large_int = 0xffffffffffffffff;"
38      "constexpr __uint128_t small_int = 1;"
39      "\n#endif\n"
40      "constexpr double d1 = 42.42;"
41      "constexpr long double d2 = 42.42;"
42      "constexpr _Complex long double c1 = 42.0i;"
43      "constexpr _Complex long double c2 = 42.0;"
44      "template<int N> struct A : A<N-1> {};"
45      "template<> struct A<0> { int n; }; A<50> a;"
46      "constexpr int &r = a.n;"
47      "constexpr int A<50>::*p = &A<50>::n;"
48      "void f() { foo: bar: constexpr int k = __builtin_constant_p(0) ?"
49      "                         (char*)&&foo - (char*)&&bar : 0; }",
50      Args));
51
52  // FIXME: Once this test starts breaking we can test APValue::needsCleanup
53  // for ComplexInt.
54  ASSERT_FALSE(runToolOnCodeWithArgs(
55      Factory->create(),
56      "constexpr _Complex __uint128_t c = 0xffffffffffffffff;",
57      Args));
58}
59