blob: bbbf68851a552336a7abfcc7c4e0944111e59708 (
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
|
//===- unittests/StaticAnalyzer/SymbolReaperTest.cpp ----------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
#include "Reusables.h"
#include "clang/Tooling/Tooling.h"
#include "gtest/gtest.h"
namespace clang {
namespace ento {
namespace {
class SuperRegionLivenessConsumer : public ExprEngineConsumer {
void performTest(const Decl *D) {
const auto *FD = findDeclByName<FieldDecl>(D, "x");
const auto *VD = findDeclByName<VarDecl>(D, "s");
assert(FD && VD);
// The variable must belong to a stack frame,
// otherwise SymbolReaper would think it's a global.
const StackFrameContext *SFC =
Eng.getAnalysisDeclContextManager().getStackFrame(D);
// Create regions for 's' and 's.x'.
const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC);
const FieldRegion *FR = Eng.getRegionManager().getFieldRegion(FD, VR);
// Pass a null location context to the SymbolReaper so that
// it was thinking that the variable is dead.
SymbolReaper SymReaper((StackFrameContext *)nullptr, (Stmt *)nullptr,
Eng.getSymbolManager(), Eng.getStoreManager());
SymReaper.markLive(FR);
EXPECT_TRUE(SymReaper.isLiveRegion(VR));
}
public:
SuperRegionLivenessConsumer(CompilerInstance &C) : ExprEngineConsumer(C) {}
~SuperRegionLivenessConsumer() override {}
bool HandleTopLevelDecl(DeclGroupRef DG) override {
for (const auto *D : DG)
performTest(D);
return true;
}
};
class SuperRegionLivenessAction : public ASTFrontendAction {
public:
SuperRegionLivenessAction() {}
std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &Compiler,
StringRef File) override {
return std::make_unique<SuperRegionLivenessConsumer>(Compiler);
}
};
// Test that marking s.x as live would also make s live.
TEST(SymbolReaper, SuperRegionLiveness) {
EXPECT_TRUE(
tooling::runToolOnCode(std::make_unique<SuperRegionLivenessAction>(),
"void foo() { struct S { int x; } s; }"));
}
} // namespace
} // namespace ento
} // namespace clang
|
