tree 55a29783b1c2078c95b589bca73335b6707da09b
parent d5b499d43c3526fae7f9ebb6e2d50e79d3496ced
author Zhongxing Xu <xuzhongxing@gmail.com> 1227861699 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> 1227861699 +0000

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