| commit | 6610e7ee74ba1e7c4d8d113b71d1f20ae3a37a43 | [log] [tgz] |
|---|---|---|
| author | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Sep 02 01:42:44 2010 +0000 |
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | Thu Sep 02 01:42:44 2010 +0000 |
| tree | 89bf3524ac86da242f22cd79b88bbba9d14c6e2f | |
| parent | a423e81a4d04b7c1882d2787d1189cbc14540c16 [diff] |
Tweak test case. 'int' would introduce out-of-bound issues. We focus on array index constraints in this case. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@112794 91177308-0d34-0410-b5e6-96231b3b80d8