Commit 8d7f4f37 authored by pfdietz's avatar pfdietz

Added string comparison failures for cmucl, sbcl

parent 2b5554fe
......@@ -356,3 +356,48 @@
(packagep x)))
t)
nil)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; There were many failures in string comparison functions
;;; Some are that C::WIN strange template problem, but others
;;; are not.
;;; 0 is not of type (INTEGER 0 (0))
(deftest cmucl-type-prop.32
(funcall
(compile
nil
'(lambda (p4)
(declare (optimize (speed 1) (safety 1) (debug 1) (space 0))
(type (integer -2040 9) p4))
(string< "bbaa" "" :start1 p4)))
2)
nil)
;;; 2 is not of type (INTEGER 0 (2))
(deftest cmucl-type-prop.33
(funcall
(compile
nil
'(lambda (p4)
(declare (optimize (speed 0) (safety 0) (debug 2) (space 0))
(type (integer -52340 *) p4))
(string< "baabbb" "bb" :start2 p4)))
1)
nil)
;;; Incorrect return value
(deftest cmucl-type-prop.34
(funcall
(compile
nil
'(lambda (p1 p4)
(declare (optimize (speed 2) (safety 0) (debug 3) (space 0))
(type (simple-string) p1) (type real p4))
(string< (the array p1)
"bbbba"
:start1 (the (integer -16382 *) p4)
:end1 7)))
"J4sPI71C3Xn" 5)
5)
......@@ -10410,3 +10410,59 @@ Broken at C::WT-MAKE-CLOSURE.
(list c1 c2)
nil)))
nil)
;;; sbcl 0.8.20.19
;;; The value 22 is not of type (MOD 22).
(deftest misc.572
(funcall
(compile
nil
'(lambda (p4)
(declare (optimize (speed 1) (safety 2) (debug 1) (space 1))
(type (integer -59 65558) p4))
(string<= #.(coerce "1yapt1l7eeenz72u6xqhdfimcyk" 'base-string)
#.(coerce "bababababbbabbabbababb" 'base-string)
:start2
(the (integer -3735 *) p4))))
22)
nil)
;;; The value 0 is not of type NIL.
(deftest misc.573
(funcall
(compile
nil
'(lambda (p4)
(declare (optimize (speed 2) (safety 1) (debug 2) (space 2))
(type unsigned-byte p4))
(string<= (coerce "pdhd5oeynvqlthz3xrrdycotf" 'base-string)
(coerce "" 'base-string)
:start1 (the (integer * 81) p4))))
10)
nil)
;;; incorrect return value
(deftest misc.574
(funcall
(compile
nil
'(lambda (p4)
(declare (optimize (speed 3) (safety 1)
(debug 1) (space 2))
(type (integer * 397079023) p4))
(string<= "e99mo7yAJ6oU4"
"aaABAAbaa"
:start1
(the
(member -34
131074
67108872
9
-3305367300
335)
p4))))
9)
9)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment