commit a2587ef26d802ccc00b7853ffdab7b8070a67ad8
author DeLesley Hutchins <delesley@google.com> Fri Mar 02 22:02:58 2012 +0000
committer DeLesley Hutchins <delesley@google.com> Fri Mar 02 22:02:58 2012 +0000
tree 746b1d40dee65884c13a9d79ce7b9bd9237e6936
parent ccec40d9b75602c35025140fff5c4cdbd5f99f8d

Thread safety analysis: handle CFG blocks which call functions marked as noreturn.

llvm-svn: 151944

clang/lib/Analysis/ThreadSafety.cpp

diff --git a/clang/lib/Analysis/ThreadSafety.cpp b/clang/lib/Analysis/ThreadSafety.cpp
index 1370d5d..40ad79b 100644
--- a/clang/lib/Analysis/ThreadSafety.cpp
+++ b/clang/lib/Analysis/ThreadSafety.cpp
@@ -1526,6 +1526,10 @@
       if (*PI == 0 || !VisitedBlocks.alreadySet(*PI))
         continue;
 
+      // Ignore edges from blocks that can't return.
+      if ((*PI)->hasNoReturnElement())
+        continue;
+
       // If the previous block ended in a 'continue' or 'break' statement, then
       // a difference in locksets is probably due to a bug in that block, rather
       // than in some other predecessor. In that case, keep the other