(defun f363 (a c) (declare (type (integer -33858777614780 30667847479992) a)) (case (ceiling 3 (min -24 a)) ((3) :bad1) ((4) :bad2) ((1 0 -1) c) (t :bad3)))
(defun bug363 () (values (ceiling 3 -100) (f363 -100 :good)))
(bug363) ==> 0, :BAD2
x86-64, "2.4.2.216-82fdcdd87"
Bug watches keep track of this bug in other bug trackers.