From 8cba02dc669a5835cb25e328480d79814646cb24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Sun, 11 Dec 2016 21:24:12 +0100
Subject: [PATCH] Readd test case I removed in
 b098d5fbd60e09f6ce2a57de213ee0812358042d

---
 test/testother.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/test/testother.cpp b/test/testother.cpp
index 3c2b82545..4f7bc9b48 100644
--- a/test/testother.cpp
+++ b/test/testother.cpp
@@ -264,6 +264,11 @@ private:
               "    cout << 42 / (float)0;\n"
               "}");
         ASSERT_EQUALS("", errout.str());
+
+        check("void foo() {\n"
+              "    cout << 42 / (int)0;\n"
+              "}");
+        TODO_ASSERT_EQUALS("[test.cpp:2]: (error) Division by zero.\n", "", errout.str());
     }
 
     void zeroDiv2() {