langtools/test/tools/javac/6558548/T6558548.java
author hannesw
Tue, 22 Mar 2016 14:23:16 +0100
changeset 36690 06b714373aa4
parent 9601 a1b1716231ca
permissions -rw-r--r--
8151810: for-in iteration does not provide per-iteration scope Reviewed-by: attila, lagergren
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     1
/*
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     2
 * @test /nodynamiccopyright/
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
     3
 * @bug     6558548 7039937
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     4
 * @summary The compiler needs to be aligned with clarified specification of throws
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     5
 * @compile/fail/ref=T6558548_latest.out -XDrawDiagnostics T6558548.java
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
     6
 * @compile/fail/ref=T6558548_6.out -source 6 -Xlint:-options -XDrawDiagnostics T6558548.java
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     7
 */
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     8
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
     9
class T6558548 {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    10
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    11
    void nothing() {}
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    12
    void checked() throws InterruptedException {}
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    13
    void runtime() throws IllegalArgumentException {}
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    14
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    15
    void m1a() {
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    16
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    17
            throw new java.io.FileNotFoundException();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    18
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    19
        catch(java.io.FileNotFoundException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    20
        catch(java.io.IOException exc) { } // 6: ok; latest: unreachable
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    21
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    22
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    23
    void m1b() {
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    24
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    25
            throw new java.io.IOException();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    26
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    27
        catch(java.io.FileNotFoundException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    28
        catch(java.io.IOException exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    29
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    30
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    31
    void m1c() {
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    32
        try {
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    33
            throw new java.io.FileNotFoundException();
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    34
        }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    35
        catch(java.io.FileNotFoundException exc) { }
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    36
        catch(Exception ex) { } //ok (Exception/Throwable always allowed)
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    37
    }
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    38
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    39
    void m1d() {
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    40
        try {
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    41
            throw new java.io.FileNotFoundException();
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    42
        }
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    43
        catch(java.io.FileNotFoundException exc) { }
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
    44
        catch(Throwable ex) { } //ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    45
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    46
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    47
    void m3() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    48
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    49
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    50
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    51
        catch(Exception exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    52
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    53
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    54
    void m4() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    55
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    56
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    57
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    58
        catch(Exception exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    59
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    60
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    61
    void m5() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    62
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    63
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    64
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    65
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    66
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    67
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    68
    void m6() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    69
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    70
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    71
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    72
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    73
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    74
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    75
    void m7() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    76
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    77
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    78
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    79
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    80
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    81
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    82
    void m9() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    83
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    84
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    85
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    86
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    87
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    88
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    89
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    90
    void m10() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    91
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    92
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    93
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    94
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    95
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    96
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    97
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    98
    void m11() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
    99
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   100
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   101
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   102
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   103
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   104
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   105
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   106
    void m12() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   107
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   108
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   109
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   110
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   111
        catch(Throwable exc) { } // ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   112
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   113
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   114
    void m13() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   115
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   116
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   117
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   118
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   119
        catch(Throwable exc) { } // ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   120
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   121
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   122
    void m14() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   123
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   124
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   125
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   126
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   127
        catch(Throwable exc) { } // ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   128
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   129
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   130
    void m15() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   131
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   132
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   133
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   134
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   135
        catch(Exception exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   136
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   137
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   138
    void m16() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   139
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   140
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   141
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   142
        catch(RuntimeException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   143
        catch(Exception exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   144
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   145
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   146
    void m17() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   147
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   148
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   149
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   150
        catch(RuntimeException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   151
        catch(Exception exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   152
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   153
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   154
    void m18() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   155
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   156
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   157
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   158
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   159
        catch(InterruptedException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   160
        catch(Exception exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   161
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   162
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   163
    void m19() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   164
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   165
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   166
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   167
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   168
        catch(InterruptedException exc) { } //never thrown in try
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   169
        catch(Exception exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   170
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   171
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   172
    void m20() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   173
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   174
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   175
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   176
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   177
        catch(InterruptedException exc) { } //never thrown in try
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   178
        catch(Exception exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   179
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   180
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   181
    void m21() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   182
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   183
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   184
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   185
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   186
        catch(Exception exc) { } // ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   187
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   188
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   189
    void m22() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   190
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   191
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   192
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   193
        catch(RuntimeException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   194
        catch(Exception exc) { } // 6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   195
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   196
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   197
    void m23() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   198
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   199
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   200
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   201
        catch(RuntimeException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   202
        catch(Exception exc) { } // 6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   203
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   204
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   205
    void m24() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   206
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   207
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   208
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   209
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   210
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   211
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   212
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   213
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   214
    void m25() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   215
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   216
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   217
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   218
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   219
        catch(Error exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   220
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   221
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   222
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   223
    void m26() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   224
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   225
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   226
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   227
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   228
        catch(Error exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   229
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   230
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   231
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   232
    void m27() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   233
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   234
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   235
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   236
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   237
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   238
        catch(InterruptedException exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   239
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   240
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   241
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   242
    void m28() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   243
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   244
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   245
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   246
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   247
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   248
        catch(InterruptedException exc) { } //never thrown in try
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   249
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   250
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   251
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   252
    void m29() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   253
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   254
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   255
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   256
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   257
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   258
        catch(InterruptedException exc) { } //never thrown in try
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   259
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   260
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   261
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   262
    void m30() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   263
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   264
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   265
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   266
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   267
        catch(Error exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   268
        catch(Throwable exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   269
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   270
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   271
    void m31() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   272
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   273
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   274
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   275
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   276
        catch(Error exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   277
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   278
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   279
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   280
    void m32() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   281
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   282
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   283
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   284
        catch(RuntimeException exc) { }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   285
        catch(Error exc) { }
9601
a1b1716231ca 7039937: Improved catch analysis fails to handle a common idiom in the libraries
mcimadamore
parents: 8849
diff changeset
   286
        catch(Throwable exc) { } //6: ok; latest: ok (Exception/Throwable always allowed)
8849
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   287
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   288
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   289
    void m33() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   290
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   291
            checked();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   292
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   293
        catch(InterruptedException exc) { } //ok
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   294
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   295
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   296
    void m34() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   297
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   298
            runtime();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   299
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   300
        catch(InterruptedException exc) { } //never thrown in try
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   301
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   302
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   303
    void m35() {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   304
        try {
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   305
            nothing();
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   306
        }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   307
        catch(InterruptedException exc) { } //never thrown in try
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   308
    }
4189ac38ddc9 6558548: The compiler needs to be aligned with clarified specification of throws
mcimadamore
parents:
diff changeset
   309
}