tests: Port recursion tests from avmplus

These tests have been adapted from the avmplus repo.
See https://github.com/adobe/avmplus/tree/858d034a3bd3a54d9b70909386435cf4aec81d21/test

Author: kjarosh

tests/tests/swfs/from_avmplus/recursion/pcre_could_be_empty_branch/Test.as

@@ -0,0 +1,44 @@
+/* -*- mode: java; tab-width: 4 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+package {
+import flash.display.MovieClip; public class Test extends MovieClip {}
+}
+
+import com.adobe.test.Assert;
+//-----------------------------------------------------------------------------
+
+// var SECTION = "pcre_could_be_empty_branch";
+// var VERSION = "";
+// var TITLE   = "Shouldn't crash on regexps with many nested parentheses embedded in ()* constructs";
+
+var testcases = getTestCases();
+
+function getTestCases()
+{
+    var array = new Array();
+    var item = 0;
+
+    // setting this to < 407 results in evaluating the 'search' to 0, from 407, it is -1
+    var NUM_PAREN = 406;
+
+    var pattern = '';
+    for (var i = 0; i < NUM_PAREN; i++) pattern += '(';
+    for (var i = 0; i < NUM_PAREN; i++) pattern += 'a)';
+    pattern += '*';
+
+    try {
+    var re = new RegExp(pattern);
+
+    var res = "aaaaa".search(re);
+    array[item++] = Assert.expectEq( "'aaaaa'.search(re)", 0, res);
+    }
+    catch (e: Error) {
+    if (e.message.match("#1023"))
+        array[item++] = Assert.expectEq( "'aaaaa'.search(re)", 0, 0);
+    else
+        throw(e);
+    }
+    return array;
+}

tests/tests/swfs/from_avmplus/recursion/pcre_could_be_empty_branch/config.xml

@@ -0,0 +1,13 @@
+<flex-config>
+    <compiler>
+        <source-path>
+            <path-element>.</path-element>
+            <path-element>../../lib</path-element>
+        </source-path>
+        <debug>false</debug>
+        <omit-trace-statements>false</omit-trace-statements>
+        <show-actionscript-warnings>false</show-actionscript-warnings>
+        <strict>false</strict>
+    </compiler>
+    <output>test.swf</output>
+</flex-config>

tests/tests/swfs/from_avmplus/recursion/pcre_could_be_empty_branch/output.txt

@@ -0,0 +1 @@
+'aaaaa'.search(re) PASSED!

tests/tests/swfs/from_avmplus/recursion/pcre_could_be_empty_branch/test.swf

@@ -0,0 +1 @@
+num_ticks = 1

tests/tests/swfs/from_avmplus/recursion/pcre_could_be_empty_branch/test.toml

@@ -0,0 +1,80 @@
+/* -*- mode: java; tab-width: 4 -*- */
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+package {
+import flash.display.MovieClip; public class Test extends MovieClip {}
+}
+
+import com.adobe.test.Assert;
+//-----------------------------------------------------------------------------
+
+// var SECTION = "pcre_is_startline";
+// var VERSION = "";
+// var TITLE   = "Shouldn't crash on regexps with many nested parentheses";
+
+var testcases = getTestCases();
+
+function getTestCases()
+{
+    var array = new Array();
+    var item = 0;
+
+    var NO_BACKREFS = false;
+    var DO_BACKREFS = true;
+
+    //--------------------------------------------------
+
+    // causes recursion
+    testThis(500, NO_BACKREFS, 'a', 'b');
+    // no recursion in this case
+    testThis(500, DO_BACKREFS, 'a', 'b');
+
+    //--------------------------------------------------
+
+    /*
+     * Creates a regexp pattern like ((..(((?=a)a|(?=a)b)))..)) + using non-capturing brackets instead
+     * of capturing ones.
+     * and tests str.search()
+     *
+     * It is essential for this test pattern to contain a a|b alternating construct.
+     * Using such construct triggers the recursive execution of pcre_compile.cpp::is_startline.
+     * If | is not used, there is no recursion at all, which is interesting because this means,
+     * pcre is able to find out somehow, that the regex contains a | somewhere deep.
+     * A regexp like /(((((a)))))(a|b)/ cause only a 1-2 level deep recursion of is_startline.
+     *
+     * It may worth playing with conditional and assertion brackets too.
+     * */
+    function testThis(numParens, doBackRefs, strAlt1, strAlt2)
+    {
+    var openParen = doBackRefs? '(' : '(?:';
+    var closeParen = ')';
+    var pattern = '';
+
+    for (var i=0; i<numParens; i++)
+        pattern += openParen;
+    pattern += "(?=" + strAlt1 + ")" + strAlt1 + "|(?=" + strAlt1 + ")" + strAlt2;
+    for (i=0; i<numParens; i++)
+        pattern += closeParen;
+
+    try {
+        var re = new RegExp(pattern);
+
+        if (doBackRefs) {
+        var res = strAlt1.search(re);
+        array[item++] = Assert.expectEq( "strAlt1.search(re)", -1, res);
+        } else {
+        var res = strAlt1.search(re);
+        array[item++] = Assert.expectEq( "strAlt1.search(re)", 0, res);
+        }
+    }
+    catch (e: Error) {
+        if (e.message.match("#1023"))
+        array[item++] = Assert.expectEq( "strAlt1.search(re)", 0, 0);
+        else
+        throw(e);
+    }
+    }
+
+    return array;
+}

tests/tests/swfs/from_avmplus/recursion/pcre_find_firstassertedchar/Test.as

@@ -0,0 +1,13 @@
+<flex-config>
+    <compiler>
+        <source-path>
+            <path-element>.</path-element>
+            <path-element>../../lib</path-element>
+        </source-path>
+        <debug>false</debug>
+        <omit-trace-statements>false</omit-trace-statements>
+        <show-actionscript-warnings>false</show-actionscript-warnings>
+        <strict>false</strict>
+    </compiler>
+    <output>test.swf</output>
+</flex-config>

tests/tests/swfs/from_avmplus/recursion/pcre_find_firstassertedchar/config.xml

@@ -0,0 +1,2 @@
+strAlt1.search(re) PASSED!
+strAlt1.search(re) FAILED! expected: -1 got: 0

tests/tests/swfs/from_avmplus/recursion/pcre_find_firstassertedchar/output.txt

@@ -0,0 +1 @@
+num_ticks = 1