commit f1a311653a70afd668e2a09087d3e0916653aae0
author DeLesley Hutchins <delesley@google.com> Tue Apr 22 17:31:23 2014 +0000
committer DeLesley Hutchins <delesley@google.com> Tue Apr 22 17:31:23 2014 +0000
tree ad0007882d26fb387ca5da5b9908d6ea3a6944fa
parent 96918bc40625f47f99316499d04ebab1f90b09c0

Thread safety analysis: add array operations to SExpr.

llvm-svn: 206907

clang/lib/Analysis/ThreadSafetyCommon.cpp

diff --git a/clang/lib/Analysis/ThreadSafetyCommon.cpp b/clang/lib/Analysis/ThreadSafetyCommon.cpp
index b22d642..3916809 100644
--- a/clang/lib/Analysis/ThreadSafetyCommon.cpp
+++ b/clang/lib/Analysis/ThreadSafetyCommon.cpp
@@ -399,7 +399,10 @@
 til::SExpr *
 SExprBuilder::translateArraySubscriptExpr(const ArraySubscriptExpr *E,
                                           CallingContext *Ctx) {
-  return new (Arena) til::Undefined(E);
+  til::SExpr *E0 = translate(E->getBase(), Ctx);
+  til::SExpr *E1 = translate(E->getIdx(), Ctx);
+  auto *AA = new (Arena) til::ArrayAdd(E0, E1);
+  return new (Arena) til::ArrayFirst(AA);
 }