first part of 117854

1 files changed, 14 insertions, 0 deletions

diff --git a/tests/bugs150/pr117854/BrokenSwitch.java b/tests/bugs150/pr117854/BrokenSwitch.java
new file mode 100644
index 000000000..2c3ab0395
--- /dev/null
+++ b/tests/bugs150/pr117854/BrokenSwitch.java
@@ -0,0 +1,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(..)) {}
+}