commit | 96cb9fb62008276266257ae7b53fa4b64224290d | [log] [tgz] |
---|---|---|
author | Zhongxing Xu <xuzhongxing@gmail.com> | Fri Nov 28 08:41:39 2008 +0000 |
committer | Zhongxing Xu <xuzhongxing@gmail.com> | Fri Nov 28 08:41:39 2008 +0000 |
tree | 55a29783b1c2078c95b589bca73335b6707da09b | |
parent | d5b499d43c3526fae7f9ebb6e2d50e79d3496ced [diff] |
Fix a serious bug. When initialized, the index of the ElementRegion was unsigned. But the index value of the ArraySubscriptExpr is signed. This inconsistency caused the value of the array element retrieved to be UnknownVal despite it was initialized to symbolic. This is only a hack. Real fix of this problem is required. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60207 91177308-0d34-0410-b5e6-96231b3b80d8