From d42476e241489447e5dc4f5b1fafc8000e635fbc Mon Sep 17 00:00:00 2001
From: Daniel Kirchner <daniel@ekpyron.org>
Date: Thu, 12 Apr 2018 10:39:13 +0200
Subject: [PATCH] Add test to check ConstantEvaluator for pure non-rational
 functions.

---
 .../syntaxTests/constants/pure_non_rational.sol       | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/libsolidity/syntaxTests/constants/pure_non_rational.sol

diff --git a/test/libsolidity/syntaxTests/constants/pure_non_rational.sol b/test/libsolidity/syntaxTests/constants/pure_non_rational.sol
new file mode 100644
index 000000000..4b96f1c7d
--- /dev/null
+++ b/test/libsolidity/syntaxTests/constants/pure_non_rational.sol
@@ -0,0 +1,11 @@
+// Tests that the ConstantEvaluator does not crash for pure non-rational functions.
+// Currently it does not evaluate such functions, but this may change in the future
+// causing a division by zero error for a.
+contract C {
+	uint constant a = 1 / (uint(keccak256([0])[0]) - uint(keccak256([0])[0]));
+	uint constant b = 1 / uint(keccak256([0]));
+	uint constant c = uint(keccak256([0]));
+	uint[c] mem;
+}
+// ----
+// TypeError: (392-393): Invalid array length, expected integer literal or constant expression.