int F(int x) { if (x >= 0) goto x; x = -x; x: return x; }is valid and uses the name x as both a parameter and a label. end example] Paragraph 51 Execution of a labeled statement corresponds exactly to execution of the statement following the label. Paragraph 61 In addition to the reachability provided by normal flow of control, a labeled statement is reachable if the label is referenced by a reachable goto statement. 2 (Exception: If a goto statement is inside a try that includes a finally block, and the labeled statement is outside the try, and the end point of the finally block is unreachable, then the labeled statement is not reachable from that goto statement.)
| |
Jagger Software Ltd | |
Company # 4070126 | |
VAT # 762 5213 42 |