blob: da0de8fadfa2e12ff9f3f13dc78fd28aff2d719e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
// Licensed to the .NET Foundation under one or more agreements.
// The .NET Foundation licenses this file to you under the MIT license.
// See the LICENSE file in the project root for more information.
using System;
using System.Diagnostics;
using System.Runtime.CompilerServices;
class Runtime_1104
{
static int TestOutOfBoundProxy(Func<int> actualTest)
{
try
{
actualTest();
}
catch (IndexOutOfRangeException)
{
Console.WriteLine("caught IndexOutOfRangeException");
return 100;
}
Debug.Fail("unreached");
return 101;
}
[MethodImpl(MethodImplOptions.NoInlining)]
static int TestOutOfBoundLowerDecreasing()
{
int[] arr = new int[10];
int i = 9;
int j = 15;
int sum = 0;
// our range check optimizer is very naive, so if you don't have
// i < 10, then it thinks `i` can overflow and doesn't bother
// calling `Widen` at all.
//
while (j >= 0 && i < 10)
{
--j;
--i;
sum += arr[i]; // range check will use 9 as lower bound.
Console.WriteLine("i = " + i + ", j = " + j);
}
return sum;
}
public static int Main()
{
try
{
TestOutOfBoundProxy(TestOutOfBoundLowerDecreasing);
}
catch (Exception)
{
return 101;
}
return 100;
}
}
|