Don't give an error for 1.0/0 and 0.0/0

jyn514 · May 21, 2020 · a4a2442 · a4a2442
1 parent 091c247
commit a4a2442
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/fold.rs b/src/fold.rs
@@ -323,7 +323,7 @@ fn fold_binary(
             Mul,
         ),
         Div => {
-            if right.is_zero() {
+            if right.ctype.is_integral() && right.is_zero() {
                 return Err(location.error(SemanticError::DivideByZero));
             }
             left.literal_bin_op(

diff --git a/tests/runner-tests/decls/float-limits.c b/tests/runner-tests/decls/float-limits.c
@@ -0,0 +1,12 @@
+// output: inf nan
+int printf(const char *format, ...);
+
+float INF = 1.0 / 0;
+float NaN = 0.0 / 0;
+
+int main() {
+    // work around bugs in rustc: https://github.com/rust-lang/rust/issues/72411
+    int NaN_positive_int = (*(int*)&NaN) & 0x7fffffff;
+    float NaN_positive = *(float*)&NaN_positive_int;
+    printf("%f %f\n", INF, NaN_positive);
+}