summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis
diff options
context:
space:
mode:
authorDeLesley Hutchins <delesley@google.com>2014-04-09 22:39:43 +0000
committerDeLesley Hutchins <delesley@google.com>2014-04-09 22:39:43 +0000
commit7e615c2f655ba1c0a4c72ce75d49029546de713a (patch)
tree58a158ad7386c5627474039e8f829156ad9866b7 /clang/lib/Analysis
parentb49fee0b414ee2acfcd5e9cd1cf801af0ed1308f (diff)
downloadbcm5719-llvm-7e615c2f655ba1c0a4c72ce75d49029546de713a.tar.gz
bcm5719-llvm-7e615c2f655ba1c0a4c72ce75d49029546de713a.zip
Thread Safety Analysis: reorganized SExpr header files. No change in
functionality. llvm-svn: 205936
Diffstat (limited to 'clang/lib/Analysis')
-rw-r--r--clang/lib/Analysis/ThreadSafety.cpp1
-rw-r--r--clang/lib/Analysis/ThreadSafetyCommon.cpp8
2 files changed, 9 insertions, 0 deletions
diff --git a/clang/lib/Analysis/ThreadSafety.cpp b/clang/lib/Analysis/ThreadSafety.cpp
index 9cc2a55f0af..b6a73bd2d89 100644
--- a/clang/lib/Analysis/ThreadSafety.cpp
+++ b/clang/lib/Analysis/ThreadSafety.cpp
@@ -23,6 +23,7 @@
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafety.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
+#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/Analyses/ThreadSafetyCommon.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/CFG.h"
diff --git a/clang/lib/Analysis/ThreadSafetyCommon.cpp b/clang/lib/Analysis/ThreadSafetyCommon.cpp
index b916c75db92..7413a3373c9 100644
--- a/clang/lib/Analysis/ThreadSafetyCommon.cpp
+++ b/clang/lib/Analysis/ThreadSafetyCommon.cpp
@@ -18,6 +18,7 @@
#include "clang/AST/StmtCXX.h"
#include "clang/Analysis/Analyses/PostOrderCFGView.h"
#include "clang/Analysis/Analyses/ThreadSafetyTIL.h"
+#include "clang/Analysis/Analyses/ThreadSafetyTraverse.h"
#include "clang/Analysis/AnalysisContext.h"
#include "clang/Analysis/CFG.h"
#include "clang/Basic/OperatorKinds.h"
@@ -26,6 +27,7 @@
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringRef.h"
+
#include <vector>
@@ -299,8 +301,14 @@ til::SExpr *SExprBuilder::translateBinaryConditionalOperator(
return new (Arena) til::Undefined(C);
}
+
+
// Build a complete SCFG from a clang CFG.
class SCFGBuilder {
+ class BBInfo {
+
+ };
+
void addStatement(til::SExpr* E, const Stmt *S) {
if (!E)
return;
OpenPOWER on IntegriCloud