Thread-safety analysis: better handling of unreachable blocks. Fixes a bug
where a call to function marked 'noreturn' is followed by unreachable
implicit destructor calls.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@164394 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/SemaCXX/warn-thread-safety-analysis.cpp b/test/SemaCXX/warn-thread-safety-analysis.cpp
index fa8786a..fd3577c 100644
--- a/test/SemaCXX/warn-thread-safety-analysis.cpp
+++ b/test/SemaCXX/warn-thread-safety-analysis.cpp
@@ -64,6 +64,7 @@
void endNoWarnOnWrites() UNLOCK_FUNCTION("*");
+// For testing handling of smart pointers.
template<class T>
class SmartPtr {
public:
@@ -80,6 +81,15 @@
};
+// For testing destructor calls and cleanup.
+class MyString {
+public:
+ MyString(const char* s);
+ ~MyString();
+};
+
+
+
Mutex sls_mu;
Mutex sls_mu2 __attribute__((acquired_after(sls_mu)));
@@ -3250,12 +3260,6 @@
namespace TrylockWithCleanups {
-class MyString {
-public:
- MyString(const char* s);
- ~MyString();
-};
-
struct Foo {
Mutex mu_;
int a GUARDED_BY(mu_);
@@ -3460,6 +3464,7 @@
};
void exitNow() __attribute__((noreturn));
+void exitDestruct(const MyString& ms) __attribute__((noreturn));
Mutex fatalmu_;
@@ -3482,6 +3487,10 @@
}
}
+void test4() EXCLUSIVE_LOCKS_REQUIRED(fatalmu_) {
+ exitDestruct("foo");
+}
+
} // end namespace UnreachableExitTest