(defun ck (v tp) "stub" (declare (ignore v tp)) nil)
(defun f397 (a b c)
(declare (type (integer 143 62823) b))
(declare (ignorable a b c))
(declare (optimize (safety 0) (debug 2)))
(let ((v6 (if nil a a)))
(if (< v6 0)
(if (= 0 v6)
(if (position
(multiple-value-bind (v1 v7 v8)
(if (<= 2911720429840448654 b)
(values 0 0 0 0)
(values a 288230376151711735 a a))
(incf v8
(let* ((v2
(multiple-value-setq (b)
(let ((x (if nil
-195
(if t
v1
v8))))
(ck x '(integer 143 62823))
x))))
(let ((v2 58988650205754) (v7 b))
(if (<= v2 v7)
(if (>= v7 v2)
109888
b)
4663000864424660066)))))
#(1 2 3 4 5 6 7 8 9 10))
0
(shiftf v6 (let ((v1 0) (v4 a)) v6)))
(let ((v7 v6) (v2 0)) b))
-157054747)))
==>
failed AVER:
(NOT
(LOGTEST
(+ (SB-ASSEM:SEGMENT-HEADER-SKEW SB-ASSEM:SEGMENT)
SB-INT:INDEX)
SB-VM:LOWTAG-MASK))
[...]
0: (SB-ASSEM:ASSEMBLE-SECTIONS #S(SB-ASSEM::ASMSTREAM :DATA-SECTION (#<SB-ASSEM::STMT IGNORE {102370E043}> . #<SB-ASSEM::STMT .ALIGN {1023710783}>) :CODE-SECTION (#1=#<SB-ASSEM::STMT IGNORE {102370E093}>..
1: (SB-C::GENERATE-CODE #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL V1 V7 V8 &REST #:G0) :IN F397) {1023694153}>)
2: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL V1 V7 V8 &REST #:G0) :IN F397) {1023694153}>)
3: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL V1 V7 V8 &REST #:G0) :IN F397) {1023694153}>)
4: (SB-C::%COMPILE (SB-INT:NAMED-LAMBDA F397 (A B C) (DECLARE (TYPE # B)) (DECLARE (IGNORABLE A B C)) (DECLARE (OPTIMIZE # #)) ...) #<SB-C::CORE-OBJECT {10236235C3}> :NAME NIL :PATH (SB-C::ORIGINAL-SOURC..
[...]
(defun test (a b)
(declare ((integer 0 10) b)
(if (< a 0)
(if (> a 0)
(if (let ((x a)) (eval a) (setf b x) nil)
0
a)
b)))