diff options
| author | DeLesley Hutchins <delesley@google.com> | 2014-04-09 22:39:43 +0000 |
|---|---|---|
| committer | DeLesley Hutchins <delesley@google.com> | 2014-04-09 22:39:43 +0000 |
| commit | 7e615c2f655ba1c0a4c72ce75d49029546de713a (patch) | |
| tree | 58a158ad7386c5627474039e8f829156ad9866b7 /clang/lib/Analysis | |
| parent | b49fee0b414ee2acfcd5e9cd1cf801af0ed1308f (diff) | |
| download | bcm5719-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.cpp | 1 | ||||
| -rw-r--r-- | clang/lib/Analysis/ThreadSafetyCommon.cpp | 8 |
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; |

