(defun f336 (a c f)
(declare (type (integer -1111868182375 1874303539234) a))
(- (rem (funcall f) (max 23 (* 45092832376540563 a -4469591966)))
(signum c)))
==>
The value
NIL
is not of type
REAL
[...]
0: (SB-KERNEL:MAKE-NUMERIC-TYPE :CLASS FLOAT :FORMAT NIL :COMPLEXP :REAL :LOW (NIL) :HIGH (NIL) :ENUMERABLE NIL)
1: (SB-KERNEL::%TYPE-INTERSECTION2 #<SB-KERNEL:NUMERIC-TYPE (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773))> #<SB-KERNEL:NUMERIC-TYPE FLOAT>)
2: (SB-KERNEL:TYPE-INTERSECTION2 #<SB-KERNEL:NUMERIC-TYPE (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773))> #<SB-KERNEL:NUMERIC-TYPE FLOAT>)
3: (SB-KERNEL::SIMPLIFY-INTERSECTIONS (#<SB-KERNEL:NUMERIC-TYPE (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773))> #<SB-KERNEL:NUMERIC-TYPE FLOAT>))
4: (SB-KERNEL::%TYPE-INTERSECTION (#<SB-KERNEL:NUMERIC-TYPE (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773))> #<SB-KERNEL:NUMERIC-TYPE FLOAT>))
5: (SB-KERNEL::UNION-COMPLEX-SUBTYPEP-ARG2 #<SB-KERNEL:NUMERIC-TYPE (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773))> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-2..
6: (SB-INT:EVERY/TYPE #<CLOSURE (LAMBDA (SB-IMPL::X SB-IMPL::Y) :IN SB-INT:SWAPPED-ARGS-FUN) {10229A17FB}> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-224093208792540493447984877233330977751) (2240932087925..
7: (SB-KERNEL::UNION-SIMPLE-INTERSECTION2-TYPE-METHOD #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773)))> #<SB-KERNEL:UNION-TYPE..
8: (SB-KERNEL::%TYPE-INTERSECTION2 #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773)))> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-..
9: (SB-KERNEL:TYPE-INTERSECTION2 #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-377759433191966803741876743335513006773) (377759433191966803741876743335513006773)))> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL (-22..
10: (SB-KERNEL::SIMPLIFY-INTERSECTIONS (#<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))>))
11: (SB-KERNEL::%TYPE-INTERSECTION (#<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))> #<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))>))
12: (SB-KERNEL::FIXED-VALUES-OP (#<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))>) (#<SB-KERNEL:UNION-TYPE (OR FLOAT (REAL # #))>) #<SB-KERNEL:NAMED-TYPE T> #<FUNCTION SB-KERNEL:TYPE-INTERSECTION>)
13: (SB-KERNEL::ARGS-TYPE-OP #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &OPTIONAL)> #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &REST T)> #<FUNCTION SB-KERNEL:TYPE-INTERSECTION> #<FUN..
14: (SB-KERNEL::VALUES-TYPE-OP #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &OPTIONAL)> #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &REST T)> #<FUNCTION SB-KERNEL:TYPE-INTERSECTION> #<F..
15: (SB-KERNEL:VALUES-TYPE-INTERSECTION #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &OPTIONAL)> #<SB-KERNEL:VALUES-TYPE (VALUES (OR FLOAT (REAL # #)) &REST T)>)
16: (SB-C::DERIVE-NODE-TYPE #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME - :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FUNCTION {..
17: ((FLET SB-C::PROCESS-INFO :IN SB-C::IR1-OPTIMIZE-COMBINATION))
18: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME - :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-FU..
19: (SB-C::IR1-OPTIMIZE-BLOCK #<SB-C::CBLOCK 4 :START c1 {102297B7E3}>)
20: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME F336 {102297C253}> NIL)
21: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME F336 {102297C253}>)
22: (SB-C::IR1-OPTIMIZE-PHASE-1 #<SB-C:COMPONENT :NAME F336 {102297C253}>)
23: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME F336 {102297C253}>)
24: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME F336 {102297C253}>)
25: (SB-C::%COMPILE (SB-INT:NAMED-LAMBDA F336 (A C F) (DECLARE (TYPE # A)) (BLOCK F336 (- # #))) #<SB-C::CORE-OBJECT {10229710D3}> :NAME NIL :PATH (SB-C::ORIGINAL-SOURCE-START 0 0))
[...]
d5abf0e5c027c1f