// Ġ! LANGUAGE : Ġ+ New Inference Ċ // Ġ! DIAG NO ST ICS : Ġ- ASS IGNED _ B UT _ NE VER _ ACC ES SED _ VARIABLE Ġ- UNUSED _ VALUE Ċ // ĠSKIP _ TXT Ċ Ċ /* Ċ Ġ* ĠK OT LIN ĠDI AG NO ST ICS ĠSPEC ĠTEST Ġ( POSITIVE ) Ċ Ġ* Ċ Ġ* ĠSPEC ĠVERSION : Ġ 0 . 1 - 2 1 8 Ċ Ġ* ĠPL ACE : Ġexpressions , Ġtry - expression Ġ-> Ġparagraph Ġ 5 Ġ-> Ġsentence Ġ 2 Ċ Ġ* ĠRE LE V ANT ĠPL ACES : Ġexpressions , Ġtry - expression Ġ-> Ġparagraph Ġ 4 Ġ-> Ġsentence Ġ 1 Ċ Ġ* ĠNUMBER : Ġ 1 Ċ Ġ* ĠDESCRIPTION : ĠIf Ġan Ġexception Ġwas Ġthrown , Ġbut Ġno Ġcatch Ġblock Ġmatched Ġits Ġtype , Ġthe Ġfinally Ġblock Ġis Ġevaluated Ġbefore Ġpropag ating Ġthe Ġexception Ġup Ġthe Ġcall Ġstack . Ċ Ġ*/ Ċ Ċ /* Ċ Ġ* ĠTEST CASE ĠNUMBER : Ġ 1 Ċ Ġ* ĠUN EXPECTED ĠBE HAV IO UR Ċ Ġ* ĠISS UES : ĠK T - 2 3 6 8 0 Ċ Ġ*/ Ċ fun Ġcase 1 (): ĠInt Ġ{ ĊĠĠĠ Ġvar Ġa Ġ= Ġ 1 ĊĠĠĠ Ġtry Ġ{ ĊĠĠĠĠĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> throw <! > ĠException () Ġ// invalid ĠUN RE ACH ABLE _ CODE Ġdiagnostic ĊĠĠĠ Ġ} Ġcatch Ġ( e : ĠException ) Ġ{ ĊĠĠĠĠĠĠĠ Ġa Ġ= Ġ 5 ĊĠĠĠĠĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> return <! > ++ a ĊĠĠĠ Ġ} Ġfinally Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġa ĊĠĠĠ Ġ} ĊĠĠĠ Ġ<! UN RE ACH ABLE _ CODE !> return Ġ 0 <! > Ċ }