From b112c13a41674e9c307f42c6054e3036ca3e6960 Mon Sep 17 00:00:00 2001
From: Andrea Faulds <ajf@ajf.me>
Date: Sun, 25 Jan 2015 02:18:58 +0000
Subject: [PATCH] Test strict code calling weak code and vice-versa

---
 Zend/tests/typehints/strict_call_weak.phpt      | 17 +++++++++++++++++
 Zend/tests/typehints/strict_call_weak_2.inc     |  7 +++++++
 .../typehints/strict_call_weak_explicit.phpt    | 17 +++++++++++++++++
 .../typehints/strict_call_weak_explicit_2.inc   |  7 +++++++
 Zend/tests/typehints/weak_call_strict.phpt      | 16 ++++++++++++++++
 Zend/tests/typehints/weak_call_strict_2.inc     |  7 +++++++
 .../typehints/weak_explicit_call_strict.phpt    | 16 ++++++++++++++++
 7 files changed, 87 insertions(+)
 create mode 100644 Zend/tests/typehints/strict_call_weak.phpt
 create mode 100644 Zend/tests/typehints/strict_call_weak_2.inc
 create mode 100644 Zend/tests/typehints/strict_call_weak_explicit.phpt
 create mode 100644 Zend/tests/typehints/strict_call_weak_explicit_2.inc
 create mode 100644 Zend/tests/typehints/weak_call_strict.phpt
 create mode 100644 Zend/tests/typehints/weak_call_strict_2.inc
 create mode 100644 Zend/tests/typehints/weak_explicit_call_strict.phpt

diff --git a/Zend/tests/typehints/strict_call_weak.phpt b/Zend/tests/typehints/strict_call_weak.phpt
new file mode 100644
index 00000000000..45b87b042ab
--- /dev/null
+++ b/Zend/tests/typehints/strict_call_weak.phpt
@@ -0,0 +1,17 @@
+--TEST--
+strict_types=1 code calling strict_types=0 code
+--FILE--
+<?php
+
+declare(strict_types=1);
+
+// file that's implicitly weak
+require 'strict_call_weak_2.inc';
+
+// Will succeed: Function was declared in weak mode, but that does not matter
+// This file uses strict mode, so the call is strict, and float denied for int
+function_declared_in_weak_mode(1.0);
+?>
+--EXPECTF--
+Catchable fatal error: Argument 1 passed to function_declared_in_weak_mode() must be of the type integer, float given, called in %sstrict_call_weak.php on line 10 and defined in %sstrict_call_weak_2.inc on line 5
+
diff --git a/Zend/tests/typehints/strict_call_weak_2.inc b/Zend/tests/typehints/strict_call_weak_2.inc
new file mode 100644
index 00000000000..cba55128977
--- /dev/null
+++ b/Zend/tests/typehints/strict_call_weak_2.inc
@@ -0,0 +1,7 @@
+<?php
+
+// implicitly weak code
+
+function function_declared_in_weak_mode(int $x) {
+    echo "Success!";
+}
diff --git a/Zend/tests/typehints/strict_call_weak_explicit.phpt b/Zend/tests/typehints/strict_call_weak_explicit.phpt
new file mode 100644
index 00000000000..07a311b06c2
--- /dev/null
+++ b/Zend/tests/typehints/strict_call_weak_explicit.phpt
@@ -0,0 +1,17 @@
+--TEST--
+strict_types=1 code calling explicitly strict_types=0 code
+--FILE--
+<?php
+
+declare(strict_types=1);
+
+// file that's explicitly weak
+require 'strict_call_weak_explicit_2.inc';
+
+// Will succeed: Function was declared in weak mode, but that does not matter
+// This file uses strict mode, so the call is strict, and float denied for int
+function_declared_in_weak_mode(1.0);
+?>
+--EXPECTF--
+Catchable fatal error: Argument 1 passed to function_declared_in_weak_mode() must be of the type integer, float given, called in %sstrict_call_weak_explicit.php on line 10 and defined in %sstrict_call_weak_explicit_2.inc on line 5
+
diff --git a/Zend/tests/typehints/strict_call_weak_explicit_2.inc b/Zend/tests/typehints/strict_call_weak_explicit_2.inc
new file mode 100644
index 00000000000..d26c84761c0
--- /dev/null
+++ b/Zend/tests/typehints/strict_call_weak_explicit_2.inc
@@ -0,0 +1,7 @@
+<?php
+
+declare(strict_types=0);
+
+function function_declared_in_weak_mode(int $x) {
+    echo "Success!";
+}
diff --git a/Zend/tests/typehints/weak_call_strict.phpt b/Zend/tests/typehints/weak_call_strict.phpt
new file mode 100644
index 00000000000..b0ea78ce67c
--- /dev/null
+++ b/Zend/tests/typehints/weak_call_strict.phpt
@@ -0,0 +1,16 @@
+--TEST--
+strict_types=0 code calling strict_types=1 code
+--FILE--
+<?php
+
+// implicitly strict_types=0
+
+// file with strict_types=1
+require 'weak_call_strict_2.inc';
+
+// Will succeed: Function was declared in strict mode, but that does not matter
+// This file uses weak mode, so the call is weak, and float accepted for int
+function_declared_in_strict_mode(1.0);
+?>
+--EXPECT--
+Success!
diff --git a/Zend/tests/typehints/weak_call_strict_2.inc b/Zend/tests/typehints/weak_call_strict_2.inc
new file mode 100644
index 00000000000..fe2a17f6820
--- /dev/null
+++ b/Zend/tests/typehints/weak_call_strict_2.inc
@@ -0,0 +1,7 @@
+<?php
+
+declare(strict_types=1);
+
+function function_declared_in_strict_mode(int $x) {
+    echo "Success!";
+}
diff --git a/Zend/tests/typehints/weak_explicit_call_strict.phpt b/Zend/tests/typehints/weak_explicit_call_strict.phpt
new file mode 100644
index 00000000000..b07cef5ece8
--- /dev/null
+++ b/Zend/tests/typehints/weak_explicit_call_strict.phpt
@@ -0,0 +1,16 @@
+--TEST--
+Explicitly strict_types=0 code calling strict_types=1 code
+--FILE--
+<?php
+
+declare(strict_types=0);
+
+// file with strict_types=1
+require 'weak_call_strict_2.inc';
+
+// Will succeed: Function was declared in strict mode, but that does not matter
+// This file uses weak mode, so the call is weak, and float accepted for int
+function_declared_in_strict_mode(1.0);
+?>
+--EXPECT--
+Success!