Commit test case for array-bounds const-folding