Merge pull request #1641 from waywardmonkeys/fix-negative-zero-bug

Fix negative zero bug

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/test_core.py b/tests/test_core.py
index ea2fe49e..d1d3bab0 100644
--- a/tests/test_core.py
+++ b/tests/test_core.py
@@ -1399,6 +1399,23 @@ f5: nan
 f6: nan
 ''')
 
+  def test_zero_multiplication(self):
+    src = '''
+      #include <stdio.h>
+      int main(int argc, char * argv[]) {
+        int one = argc;
+
+        printf("%d ", 0 * one);
+        printf("%d ", 0 * -one);
+        printf("%d ", -one * 0);
+        printf("%g ", 0.0 * one);
+        printf("%g ", 0.0 * -one);
+        printf("%g", -one * 0.0);
+        return 0;
+      }
+    '''
+    self.do_run(src, '0 0 0 0 -0 -0')
+
   def test_isnan(self):
     src = r'''
       #include <stdio.h>