tests/bugs150/pr117854/BrokenSwitch.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14

public class BrokenSwitch {
  public static void main(String []argv) {
    int i = 1;
    switch (i) {
      case -845341380: System.err.println("a");break;
      case 1730110032: System.err.println("a");break;
      default: System.err.println("c");break;
    }
  }
}

aspect X {
  before(): execution(* BrokenSwitch.main(..)) {}
}