- // modeled on jacks 16.2.7-final-4: A final variable
- // must be definitely unassigned if it
- // is to be assigned inside an if (false) block.
- // if false is no protection for evildoers
-
- public class UnderIfFalse {
- static int foo() { return 0; }
- static final int val = foo();
- public static void main(String[] args) {
- if (false) {
- val = 1;
- }
- }
- }
|