summaryrefslogtreecommitdiff
path: root/tests/src/JIT/Regression/JitBlue/DevDiv_284785/DevDiv_284785.cs
blob: 944993f0383cbddb37fcab828a8399fab4d2ff59 (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
// 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.

// This test exercises expression folding in the place of overflowing operations. The original failure was SBCG due to
// an incorrect application of the same: in the program below, the checked int -> ulong cast on line 24 was folded to a
// long -> ulong cast with an incorrect constant value that fit in a ulong, resulting in no overflow exception being
// thrown.

using System;

static class C
{
    static int Main()
    {
        int i = -4;
        ulong l = 0;

        int rv = 0;
        try
        {
            checked
            {
                l = (ulong)i;
            }
        }
        catch (OverflowException)
        {
            rv = 100;
        }
        catch (Exception)
        {
            i = 0;
            l = 0;
        }

        return rv;
    }
}