Add missing checks for div by zero

Author: msimacek

graalpython/com.oracle.graal.python.test/src/tests/unittest_tags/test_types.txt

@@ -44,3 +44,4 @@
 *graalpython.lib-python.3.test.test_types.TypesTests.test_strings
 *graalpython.lib-python.3.test.test_types.TypesTests.test_truth_values
 *graalpython.lib-python.3.test.test_types.TypesTests.test_type_function
+*graalpython.lib-python.3.test.test_types.TypesTests.test_zero_division

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/floats/FloatBuiltins.java

@@ -855,26 +855,31 @@ public static double op(double left, double right) {
     abstract static class DivNode extends FloatBinaryBuiltinNode {
         @Specialization
         double doDD(double left, double right) {
+            raiseDivisionByZero(right == 0.0);
             return left / right;
         }
 
         @Specialization
         double doDL(double left, long right) {
+            raiseDivisionByZero(right == 0);
             return left / right;
         }
 
         @Specialization
         double doDPi(double left, PInt right) {
+            raiseDivisionByZero(right.isZero());
             return left / right.doubleValueWithOverflow(getRaiseNode());
         }
 
         @Specialization
         double div(long left, double right) {
+            raiseDivisionByZero(right == 0.0);
             return left / right;
         }
 
         @Specialization
         double div(PInt left, double right) {
+            raiseDivisionByZero(right == 0.0);
             return left.doubleValueWithOverflow(getRaiseNode()) / right;
         }
 
@@ -883,6 +888,7 @@ Object doDP(VirtualFrame frame, long left, PythonNativeObject right,
                         @Cached FromNativeSubclassNode getFloat) {
             Double rPrimitive = getFloat.execute(frame, right);
             if (rPrimitive != null) {
+                raiseDivisionByZero(rPrimitive == 0.0);
                 return left / rPrimitive;
             } else {
                 return PNotImplemented.NOT_IMPLEMENTED;