From ec766958eace1acdb36abfce888f7d539b49c72c Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Thu, 28 May 2020 12:40:08 +0200
Subject: [PATCH] Add test

---
 .../functions/internal_call_state_var_init.sol               | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 test/libsolidity/smtCheckerTests/functions/internal_call_state_var_init.sol

diff --git a/test/libsolidity/smtCheckerTests/functions/internal_call_state_var_init.sol b/test/libsolidity/smtCheckerTests/functions/internal_call_state_var_init.sol
new file mode 100644
index 000000000..8f6276e0e
--- /dev/null
+++ b/test/libsolidity/smtCheckerTests/functions/internal_call_state_var_init.sol
@@ -0,0 +1,5 @@
+pragma experimental SMTChecker;
+contract c {
+	bool b = (f() == 0) && (f() == 0);
+	function f() internal returns (uint) {}
+}