Add use after free tests

Author: mlazdans

tests/common.inc

@@ -0,0 +1,26 @@
+<?php
+
+function test_use_after_ibase_free_query() {
+	$batch_count = 5;
+
+	ibase_query("DELETE FROM TEST1");
+	$query = ibase_prepare("INSERT INTO TEST1 (I, C) VALUES (?, ?)");
+	for($i = 1; $i <= $batch_count; $i++) {
+		ibase_execute($query, $i, "ROW 1 (batch $i)");
+		ibase_execute($query, $i, "ROW 2 (batch $i)");
+	}
+	ibase_free_query($query);
+
+	$query = ibase_prepare("SELECT * FROM TEST1 WHERE I = ?");
+	$res = array();
+	for($i = 1; $i <= $batch_count; $i++) {
+		$res[$i] = ibase_execute($query, $i);
+	}
+	ibase_free_query($query);
+
+	foreach ($res as $batch=>$r) {
+		print "---- Batch $batch ----\n";
+		dump_rows($r);
+		ibase_free_result($r);
+	}
+}

tests/use_after_free-001.phpt

@@ -0,0 +1,38 @@
+--TEST--
+InterBase: use after ibase_free_query()
+--SKIPIF--
+<?php
+include("skipif.inc");
+if(defined('IBASE_VER') && (IBASE_VER >= 61)) print "Skip IBASE_VER < 6.1";
+?>
+--FILE--
+<?php
+
+// Related to the "test execute procedure" part of tests/006.phpt. This
+// ilustrates incorrect use of ibase_free_query(). If you follow the same logic
+// as in 006.phpt, you would expect 5 batches with 2 rows printed with
+// incremented I but it doesn't of course.
+
+require("interbase.inc");
+require("common.inc");
+test_use_after_ibase_free_query();
+
+?>
+--EXPECT--
+---- Batch 1 ----
+array(2) {
+  ["I"]=>
+  int(5)
+  ["C"]=>
+  string(15) "ROW 1 (batch 5)"
+}
+array(2) {
+  ["I"]=>
+  int(5)
+  ["C"]=>
+  string(15) "ROW 2 (batch 5)"
+}
+---- Batch 2 ----
+---- Batch 3 ----
+---- Batch 4 ----
+---- Batch 5 ----

tests/use_after_free-002.phpt

@@ -0,0 +1,26 @@
+--TEST--
+InterBase: use after ibase_free_query()
+--SKIPIF--
+<?php
+include("skipif.inc");
+if(!defined('IBASE_VER') || (IBASE_VER < 61)) print "Skip IBASE_VER >= 6.1";
+?>
+--FILE--
+<?php
+
+// Related to the "test execute procedure" part of tests/006.phpt. This
+// ilustrates incorrect use of ibase_free_query(). If you follow the same logic
+// as in 006.phpt, you would expect 5 batches with 2 rows printed with
+// incremented I but it doesn't of course.
+
+require("interbase.inc");
+require("common.inc");
+
+set_exception_handler("php_ibase_exception_handler");
+
+test_use_after_ibase_free_query();
+
+?>
+--EXPECT--
+---- Batch 1 ----
+Fatal error: Uncaught TypeError: ibase_fetch_assoc(): supplied resource is not a valid Firebird/InterBase query resource