Fix: Java switch expression w/o default branch does not PE well

Author: steve-s

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/lib/PyObjectRichCompareBool.java

@@ -46,6 +46,7 @@
 import com.oracle.graal.python.nodes.object.IsNode;
 import com.oracle.graal.python.nodes.truffle.PythonIntegerTypes;
 import com.oracle.graal.python.util.PythonUtils;
+import com.oracle.truffle.api.CompilerDirectives;
 import com.oracle.truffle.api.dsl.Bind;
 import com.oracle.truffle.api.dsl.Cached;
 import com.oracle.truffle.api.dsl.Fallback;
@@ -107,6 +108,7 @@ public static boolean compareWithFakeIdentity(RichCmpOp op, double a, double b)
             case Py_EQ, Py_NE -> PFloat.areIdentical(a, b) == op.isEq();
             case Py_GT -> a > b;
             case Py_GE -> a >= b;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/lib/RichCmpOp.java

@@ -147,6 +147,7 @@ public final boolean compareResultToBool(int result) {
             case Py_NE -> result != 0;
             case Py_GT -> result > 0;
             case Py_GE -> result >= 0;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 
@@ -158,6 +159,7 @@ public final boolean compare(double a, double b) {
             case Py_NE -> a != b;
             case Py_GT -> a > b;
             case Py_GE -> a >= b;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 
@@ -169,6 +171,7 @@ public final boolean compare(long a, long b) {
             case Py_NE -> a != b;
             case Py_GT -> a > b;
             case Py_GE -> a >= b;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 
@@ -180,6 +183,7 @@ public final boolean compare(int a, int b) {
             case Py_NE -> a != b;
             case Py_GT -> a > b;
             case Py_GE -> a >= b;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 
@@ -191,6 +195,7 @@ public final boolean compare(byte a, byte b) {
             case Py_NE -> a != b;
             case Py_GT -> a > b;
             case Py_GE -> a >= b;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 
@@ -209,6 +214,7 @@ public final RichCmpOp getSwapped() {
             case Py_NE -> Py_NE;
             case Py_GT -> Py_LT;
             case Py_GE -> Py_LE;
+            default -> throw CompilerDirectives.shouldNotReachHere();
         };
     }
 }