This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.
Closed by commit rG880f306226fc: [clang][dataflow] Add a test for a struct that
is directly self-referential… (authored by mboehme).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D154421/new/
https://reviews.llvm.org/D154421
Files:
clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
Index: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
===================================================================
--- clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
+++ clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
@@ -656,6 +656,30 @@
});
}
+TEST(TransferTest, DirectlySelfReferentialReference) {
+ std::string Code = R"(
+ struct target {
+ target() {
+ (void)0;
+ // [[p]]
+ }
+ target &self = *this;
+ };
+ )";
+ runDataflow(
+ Code,
+ [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
+ ASTContext &ASTCtx) {
+ const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
+ const ValueDecl *SelfDecl = findValueDecl(ASTCtx, "self");
+
+ auto *ThisLoc = Env.getThisPointeeStorageLocation();
+ auto *RefVal =
+ cast<ReferenceValue>(Env.getValue(ThisLoc->getChild(*SelfDecl)));
+ ASSERT_EQ(&RefVal->getReferentLoc(), ThisLoc);
+ });
+}
+
TEST(TransferTest, MultipleVarsDecl) {
std::string Code = R"(
void target() {
Index: clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
===================================================================
--- clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
+++ clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
@@ -656,6 +656,30 @@
});
}
+TEST(TransferTest, DirectlySelfReferentialReference) {
+ std::string Code = R"(
+ struct target {
+ target() {
+ (void)0;
+ // [[p]]
+ }
+ target &self = *this;
+ };
+ )";
+ runDataflow(
+ Code,
+ [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
+ ASTContext &ASTCtx) {
+ const Environment &Env = getEnvironmentAtAnnotation(Results, "p");
+ const ValueDecl *SelfDecl = findValueDecl(ASTCtx, "self");
+
+ auto *ThisLoc = Env.getThisPointeeStorageLocation();
+ auto *RefVal =
+ cast<ReferenceValue>(Env.getValue(ThisLoc->getChild(*SelfDecl)));
+ ASSERT_EQ(&RefVal->getReferentLoc(), ThisLoc);
+ });
+}
+
TEST(TransferTest, MultipleVarsDecl) {
std::string Code = R"(
void target() {
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
