tests/bugs1920/github_190/SwitchCaseWith_Integer_MAX_VALUE.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

public class SwitchCaseWith_Integer_MAX_VALUE {
  public static void main(String[] args) {
    System.out.println(switchTest(Integer.MAX_VALUE));
  }

  static String switchTest(int i) {
    switch (i) {
      case Integer.MAX_VALUE:
        return "CASE_1";
      default:
        return "";
    }
  }
}

aspect MyAspect {
  before() : execution(* switchTest(*)) {
    System.out.println(thisJoinPoint);
  }
}