| commit | b18d52bdff35851a1441f561e36be910f8e887d7 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Oct 23 04:19:25 2008 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Oct 23 04:19:25 2008 +0000 |
| tree | 3480c01e67f274d0b21227632b19ce021c4023fe | |
| parent | c127c0da121537163cc2c857cc82d960820abb20 [diff] |
Add an assertion to make our intention more clear. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58030 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp index 4d771fb..cbda7be 100644 --- a/lib/Analysis/GRExprEngine.cpp +++ b/lib/Analysis/GRExprEngine.cpp
@@ -1506,6 +1506,8 @@ // StoreManager casts array to different values. if (ExTy->isArrayType()) { + assert(T->isPointerType()); + V = StateMgr.ArrayToPointer(V); MakeNode(Dst, CastE, N, SetSVal(St, CastE, V)); continue;