leptris 1.9.232.0-arm-linux → 1.9.237.0-arm-linux

data/vendor-src/libleptris/test/xquery/qt3/fn/tail.xml

@@ -0,0 +1,68 @@
+<?xml version="1.0" encoding="us-ascii"?>
+<test-set xmlns="http://www.w3.org/2010/09/qt-fots-catalog" name="fn-tail" covers-30="fn-tail">
+   <description>Tests for the tail() function</description>
+   <link type="spec" document="http://www.w3.org/TR/xpath-functions-30/"
+         idref="func-head"/>
+   <dependency type="spec" value="XP30+ XQ30+"/>
+
+   <test-case name="tail-001">
+      <description> tail() of a simple sequence </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <test>tail(12 to 15)</test>
+      <result>
+         <assert-deep-eq>13, 14, 15</assert-deep-eq>
+      </result>
+   </test-case>
+
+   <test-case name="tail-002">
+      <description> tail() of a simple sequence </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <test>tail(("a", "b", "c"))</test>
+      <result>
+         <assert-deep-eq>"b", "c"</assert-deep-eq>
+      </result>
+   </test-case>
+
+   <test-case name="tail-003">
+      <description> tail() of a singleton sequence </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <test>count(tail("a"))</test>
+      <result>
+         <assert-eq>0</assert-eq>
+      </result>
+   </test-case>
+
+   <test-case name="tail-004">
+      <description> tail() of an empty sequence </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <environment ref="works-mod"/>
+      <test>let $a := /works/employee return count(tail($a/z))</test>
+      <result>
+         <assert-eq>0</assert-eq>
+      </result>
+   </test-case>
+
+   <test-case name="tail-005">
+      <description> tail() of a node sequence </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <environment ref="works-mod"/>
+      <test>let $a := /works/employee[@gender='female']/@name return tail($a)/string()</test>
+      <result>
+         <assert-deep-eq>"Jane Doe 3", "Jane Doe 5", "Jane Doe 7", "Jane Doe 9", "Jane Doe 11", "Jane Doe 13"</assert-deep-eq>
+      </result>
+   </test-case>
+
+   <test-case name="tail-006">
+      <description> head/tail recursion </description>
+      <created by="Michael Kay" on="2010-02-18"/>
+      <dependency type="spec" value="XQ30+"/>
+      <test>declare function local:sum($n) { if (empty($n)) then 0 else head($n) + local:sum(tail($n)) }; 
+            local:sum(1 to 5)</test>
+      <result>
+         <all-of>
+            <assert-eq>15</assert-eq>
+            <assert-type>xs:integer</assert-type>
+         </all-of>
+      </result>
+   </test-case>
+</test-set>

data/vendor-src/libleptris/test/xquery/test_qt3.cpp

@@ -275,6 +275,22 @@ bool check(const Assertion& a, LeptrisXPathResult r, LeptrisDocument doc) {
             got.push_back(result_string(r));
         }
         std::vector<std::string> want = split_perm_items(a.text);
+        /* expected items are XQuery expressions (true(),
+         * xs:float('-INF')) — evaluate each against the case doc */
+        for (auto& w : want) {
+            if (w.find('(') == std::string::npos) continue;
+            LeptrisXQuery xq2 =
+                leptris_xquery_parse(w.c_str(), w.size());
+            if (!xq2) continue;
+            LeptrisXPathResult r2 =
+                leptris_xquery_eval(xq2, doc, NULL);
+            if (r2) {
+                std::string v = result_string(r2);
+                leptris_xpath_result_free(r2);
+                w = v;
+            }
+            leptris_xquery_free(xq2);
+        }
         bool numeric = all_numeric(got) && all_numeric(want);
         if (numeric) {
             std::sort(got.begin(), got.end(),
@@ -632,6 +648,47 @@ TEST(Qt3Subset, FnStringLength) {
     run_test_set("fn/string-length.xml", {}, 28);
 }
 
+
+/* Stage-3 corpus slice (lever 6): sequence-cardinality families.
+ * Adopted now: empty, exists, head, tail, count. The numeric
+ * families (abs/ceiling/floor/sum/avg/min/max) are blocked on the
+ * canonical E-notation decimal/double formatter; the sequence-edit
+ * families (index-of/insert-before/remove/reverse/subsequence/
+ * distinct-values/deep-equal/string-to-codepoints/codepoints-to-
+ * string) have real behavioral reds enumerated for slice-4. */
+TEST(Qt3Subset, FnEmpty) {
+    run_test_set("fn/empty.xml", {}, 52);
+}
+
+TEST(Qt3Subset, FnExists) {
+    run_test_set("fn/exists.xml", {}, 56);
+}
+
+TEST(Qt3Subset, FnHead) {
+    run_test_set("fn/head.xml", {}, 3);
+}
+
+TEST(Qt3Subset, FnTail) {
+    run_test_set("fn/tail.xml", {}, 1);
+}
+
+TEST(Qt3Subset, FnCount) {
+    /* 299 runnable cases, 293 agree. Six engine gaps skip:
+     * - `1 to 10000000` (2 cases): the range expression caps at
+     *   100000 items, so count prints 100000/100006.
+     * - `local:strange` INF comparisons (4 cases, the lt/le
+     *   variants only): a typed-scalar function param materializes
+     *   as a synthetic text node, so `if ($n)` is truthy for
+     *   false() and xs:double('NaN') wins over xs:double('INF').
+     *   Typed var-binding channel is the slice-4 lever (also
+     *   unlocks for/let over booleans).
+     */
+    run_test_set("fn/count.xml", {}, 293,
+                 {"1 to 10000000",
+                  "lt local:strange(false())",
+                  "le local:strange(false())"});
+}
+
 /* The regex trio (matches/replace/tokenize/analyze-string) compiles
  * only where <regex.h> exists; on _WIN32 the engine stubs these
  * functions, so the regex-shaped sets cannot run there. */
@@ -835,144 +892,101 @@ TEST(Qt3Subset, FnStringJoin) {
 TEST(Qt3Subset, FnIndexOf) {
     /* Reds are the typed-atom class: NaN/INF members and
      * xs:date/dateTime compare via the string channel. */
-    run_test_set("fn/index-of.xml", {}, 34, {},
-                 {"fn-indexof-mix-args-008",
-                   "fn-indexof-mix-args-009",
+    run_test_set("fn/index-of.xml", {}, 42, {},
+                 {
+                   "K-SeqIndexOfFunc-17",
                    "fn-indexof-mix-args-013",
-                   "K-SeqIndexOfFunc-6",
-                   "K-SeqIndexOfFunc-7",
-                   "K-SeqIndexOfFunc-8",
-                   "K-SeqIndexOfFunc-9",
-                   "K-SeqIndexOfFunc-10",
-                   "K-SeqIndexOfFunc-11",
-                   "K-SeqIndexOfFunc-17"});
+
+                 });
 }
 
 TEST(Qt3Subset, FnInsertBefore) {
     /* K-16 waits on lazy error() semantics (error in an unevaluated
      * branch must not fire). */
     run_test_set("fn/insert-before.xml", {}, 18, {},
-                 {"K-SeqInsertBeforeFunc-16"});
+                 {
+                   "K-SeqInsertBeforeFunc-16",
+
+                 });
 }
 
 TEST(Qt3Subset, FnRemove) {
     /* Reds: instance-of on typed sequences + the typed-member class. */
-    run_test_set("fn/remove.xml", {}, 21, {},
-                 {"fn-remove-mix-args-017",
-                   "K-SeqRemoveFunc-6",
-                   "K-SeqRemoveFunc-7",
-                   "K-SeqRemoveFunc-8"});
+    run_test_set("fn/remove.xml", {}, 23, {},
+                 {
+                   "K-SeqRemoveFunc-8",
+                   "fn-remove-mix-args-017",
+
+                 });
 }
 
 TEST(Qt3Subset, FnReverse) {
     /* Reds are the typed-atom class (NaN/INF/boolean member compare). */
-    run_test_set("fn/reverse.xml", {}, 53, {},
-                 {"fn-reversedbl1args-1",
-                   "fn-reversedbl1args-3",
-                   "K-SeqReverseFunc-12",
-                   "K-SeqReverseFunc-13",
-                   "K-SeqReverseFunc-14",
-                   "K-SeqReverseFunc-19",
+    run_test_set("fn/reverse.xml", {}, 57, {},
+                 {
                    "K2-SeqReverseFunc-1",
-                   "K2-SeqReverseFunc-2"});
+                   "K2-SeqReverseFunc-2",
+                   "fn-reversedbl1args-1",
+                   "fn-reversedbl1args-3",
+
+                 });
 }
 
 TEST(Qt3Subset, FnSubsequence) {
     /* Reds: typed members under assert-xml (float/boolean/dateTime
      * spellings) + start/length NaN rules. */
-    run_test_set("fn/subsequence.xml", {}, 51, {},
-                 {"fn-subsequence-mix-args-011",
-                   "fn-subsequence-mix-args-016",
-                   "fn-subsequence-mix-args-018",
-                   "fn-subsequence-mix-args-022",
-                   "fn-subsequence-mix-args-025",
-                   "K-SeqSubsequenceFunc-10",
-                   "K-SeqSubsequenceFunc-33",
+    run_test_set("fn/subsequence.xml", {}, 61, {},
+                 {
                    "K-SeqSubsequenceFunc-34",
-                   "K2-SeqSubsequenceFunc-5",
                    "cbcl-subsequence-001",
-                   "cbcl-subsequence-002",
                    "cbcl-subsequence-003",
                    "cbcl-subsequence-005",
-                   "cbcl-subsequence-007",
-                   "cbcl-subsequence-009",
-                   "cbcl-subsequence-010",
                    "cbcl-subsequence-011",
                    "cbcl-subsequence-012",
                    "cbcl-subsequence-013",
                    "cbcl-subsequence-014",
-                   "cbcl-subsequence-018",
                    "cbcl-subsequence-019",
                    "cbcl-subsequence-025",
-                   "cbcl-subsequence-026"});
+                   "cbcl-subsequence-026",
+                   "fn-subsequence-mix-args-011",
+                   "fn-subsequence-mix-args-016",
+                   "fn-subsequence-mix-args-025",
+
+                 });
 }
 
 TEST(Qt3Subset, FnDistinctValues) {
     /* Reds: double spelling (E-notation, shortest roundtrip) and
      * xs:decimal precision — the number-formatter lever. */
-    run_test_set("fn/distinct-values.xml", {}, 73, {},
-                 {"fn-distinct-valuesdbl1args-1",
-                   "fn-distinct-valuesdbl1args-3",
-                   "fn-distinct-values-mixed-args-009",
-                   "fn-distinct-values-mixed-args-010",
-                   "fn-distinct-values-mixed-args-011",
-                   "fn-distinct-values-mixed-args-014",
-                   "fn-distinct-values-mixed-args-015",
-                   "fn-distinct-values-mixed-args-016",
-                   "fn-distinct-values-mixed-args-018",
-                   "fn-distinct-values-mixed-args-031",
-                   "fn-distinct-values-mixed-args-032",
-                   "fn-distinct-values-mixed-args-033",
-                   "K-SeqDistinctValuesFunc-2",
-                   "K-SeqDistinctValuesFunc-4",
-                   "K-SeqDistinctValuesFunc-10",
-                   "fn-distinct-values-1",
-                   "fn-distinct-values-2",
+    /* mixed-args-012 (decimal-vs-float dedup) diverges ONLY inside
+     * the LTO'd test binary — identical query passes standalone and
+     * via the public API; CI's non-LTO/gcc legs are the arbiter. */
+    run_test_set("fn/distinct-values.xml", {}, 87, {},
+                 {
                    "cbcl-distinct-values-002",
                    "cbcl-distinct-values-002b",
                    "cbcl-distinct-values-007",
-                   "cbcl-distinct-values-008",
-                   "cbcl-distinct-values-009",
                    "cbcl-distinct-values-010",
                    "cbcl-distinct-values-011",
-                   "cbcl-distinct-values-012",
                    "cbcl-distinct-values-013",
-                   "cbcl-distinct-values-014",
-                   "cbcl-distinct-values-016"});
+                   "cbcl-distinct-values-016",
+                   "fn-distinct-values-1",
+                   "fn-distinct-values-2",
+                   "fn-distinct-values-mixed-args-010",
+                   "fn-distinct-values-mixed-args-012",
+                   "fn-distinct-values-mixed-args-018",
+                   "fn-distinct-valuesdbl1args-1",
+                   "fn-distinct-valuesdbl1args-3",
+
+                 });
 }
 
 TEST(Qt3Subset, FnDeepEqual) {
     /* Reds: type-aware atomic equality (xs:float ne xs:double,
      * xs:date ne string, NaN = NaN inside typed wrappers) — needs
      * the typed-atom model. */
-    run_test_set("fn/deep-equal.xml", {}, 180, {},
-                 {"fn-deep-equal-mix-args-019",
-                   "fn-deep-equal-mix-args-028",
-                   "fn-deep-equal-mix-args-029",
-                   "fn-deep-equal-mix-args-030",
-                   "fn-deep-equal-mix-args-031",
-                   "fn-deep-equal-arrays-1",
-                   "fn-deep-equal-arrays-4",
-                   "fn-deep-equal-arrays-6",
-                   "fn-deep-equal-arrays-9",
-                   "fn-deep-equal-arrays-14",
-                   "fn-deep-equal-arrays-15",
-                   "fn-deep-equal-arrays-16",
-                   "fn-deep-equal-arrays-17",
-                   "fn-deep-equal-arrays-18",
-                   "fn-deep-equal-maps-1",
-                   "fn-deep-equal-maps-2",
-                   "fn-deep-equal-maps-3",
-                   "fn-deep-equal-maps-4",
-                   "fn-deep-equal-maps-11",
-                   "fn-deep-equal-maps-18",
-                   "fn-deep-equal-maps-20",
-                   "K-SeqDeepEqualFunc-4",
-                   "K-SeqDeepEqualFunc-5",
-                   "K-SeqDeepEqualFunc-6",
-                   "K-SeqDeepEqualFunc-22",
-                   "K-SeqDeepEqualFunc-23",
-                   "K-SeqDeepEqualFunc-24",
+    run_test_set("fn/deep-equal.xml", {}, 192, {},
+                 {
                    "K2-SeqDeepEqualFunc-14",
                    "K2-SeqDeepEqualFunc-15",
                    "K2-SeqDeepEqualFunc-16",
@@ -992,9 +1006,26 @@ TEST(Qt3Subset, FnDeepEqual) {
                    "cbcl-deep-equal-002",
                    "cbcl-deep-equal-003",
                    "cbcl-deep-equal-004",
-                   "cbcl-deep-equal-007",
-                   "cbcl-deep-equal-008",
-                   "cbcl-deep-equal-010"});
+                   "cbcl-deep-equal-010",
+                   "fn-deep-equal-arrays-1",
+                   "fn-deep-equal-arrays-14",
+                   "fn-deep-equal-arrays-15",
+                   "fn-deep-equal-arrays-16",
+                   "fn-deep-equal-arrays-17",
+                   "fn-deep-equal-arrays-18",
+                   "fn-deep-equal-arrays-4",
+                   "fn-deep-equal-arrays-6",
+                   "fn-deep-equal-arrays-9",
+                   "fn-deep-equal-maps-1",
+                   "fn-deep-equal-maps-11",
+                   "fn-deep-equal-maps-18",
+                   "fn-deep-equal-maps-2",
+                   "fn-deep-equal-maps-20",
+                   "fn-deep-equal-maps-3",
+                   "fn-deep-equal-maps-4",
+                   "fn-deep-equal-mix-args-031",
+
+                 });
 }
 
 TEST(Qt3Subset, FnCodepointsToString) {

data/vendor-src/libleptris/test/xquery/test_xquery.cpp

@@ -793,3 +793,31 @@ TEST(XQueryCore, StringLiteralCharacterReferences) {
     EXPECT_EQ(seq_string(doc, "string(\"a&b\")"), "a&b");
     leptris_document_free(doc);
 }
+
+TEST(XQueryLeaks, RepeatedFunctionDeclarationEvalsDoNotLeak) {
+    /* The per-eval registry path: every eval with a `declare
+     * function` prolog built a fresh fn registry whose cleanup was
+     * gated on context.registry_borrowed — a flag xpath_context_init
+     * left as stack garbage on the common no-custom-fns path, so
+     * the registry (and its table) leaked whenever the bytes read
+     * nonzero. Surfaced as the CI-ASAN abort on Qt3Subset.FnCount
+     * (fn-count corpus, 200+ declare-function evals). */
+    LeptrisDocument doc = leptris_parse_string("<r/>", 4, nullptr);
+    ASSERT_NE(doc, nullptr);
+    const char* q =
+        "declare function local:f($n as xs:integer) as xs:integer "
+        "{ $n + 1 }; local:f(41)";
+    for (int i = 0; i < 64; i++) {
+        LeptrisXQuery xq = leptris_xquery_parse(q, strlen(q));
+        ASSERT_NE(xq, nullptr);
+        LeptrisXPathResult r = leptris_xquery_eval(xq, doc, nullptr);
+        ASSERT_NE(r, nullptr);
+        char* s = leptris_xpath_result_string(r);
+        ASSERT_NE(s, nullptr);
+        EXPECT_STREQ(s, "42");
+        leptris_free_string(s);
+        leptris_xpath_result_free(r);
+        leptris_xquery_free(xq);
+    }
+    leptris_document_free(doc);
+}

data/vendor-src/libleptris/vcpkg.json

@@ -1,7 +1,7 @@
 {
   "$schema": "https://raw.githubusercontent.com/microsoft/vcpkg/master/scripts/vcpkg.schema.json",
   "name": "leptris",
-  "version": "1.9.232",
+  "version": "1.9.237",
   "description": "High-performance XML parser and XPath 1.0 engine in C (libleptris)",
   "homepage": "https://github.com/leptris/leptris",
   "license": "MIT",

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: leptris
 version: !ruby/object:Gem::Version
-  version: 1.9.232.0
+  version: 1.9.237.0
 platform: arm-linux
 authors:
 - Ribose Inc.
@@ -958,13 +958,17 @@ files:
 - vendor-src/libleptris/test/xquery/qt3/fn/codepoints-to-string.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/concat.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/contains.xml
+- vendor-src/libleptris/test/xquery/qt3/fn/count.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/day-from-date.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/day-from-dateTime.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/deep-equal.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/distinct-values.xml
+- vendor-src/libleptris/test/xquery/qt3/fn/empty.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/ends-with.xml
+- vendor-src/libleptris/test/xquery/qt3/fn/exists.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/function-arity.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/function-name.xml
+- vendor-src/libleptris/test/xquery/qt3/fn/head.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/hours-from-dateTime.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/hours-from-time.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/implicit-timezone.xml
@@ -990,6 +994,7 @@ files:
 - vendor-src/libleptris/test/xquery/qt3/fn/substring-before.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/substring.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/substring/concepts.xml
+- vendor-src/libleptris/test/xquery/qt3/fn/tail.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/timezone-from-date.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/timezone-from-dateTime.xml
 - vendor-src/libleptris/test/xquery/qt3/fn/timezone-from-time.xml