Main.java

public class Main {
    public static void main(String[] args) throws Exception {
        User user1 = new User();
        user1.setAge(1);
        //@ reachable;
        int[] test = new int[-1]; //ESC finds no errors in this program
    }
    
    public static void main2(String[] args) throws Exception {
        User user1 = new User();
        int[] test = new int[-1]; //correctly marked for negative length array
        user1.setAge(1);
    }

}