Activity log for bug #1740929

Date Who What changed Old value New value Message
2018-01-02 19:48:26 Paul F. Dietz bug added bug
2018-01-02 19:49:48 Paul F. Dietz description (defun f61 (a) (declare (notinline + logbitp > zerop gcd)) (declare (optimize (debug 3))) (gcd (block b3 (loop for lv2 below 1 count (zerop (progn (if (logbitp 0 (if (> 0) (return-from b3 b) a)) 0 0) 0)))) (if (logbitp 0 (+ 0)) 0 0))) ===> failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) [...] 0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))) 1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE))) 2: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1008B30523}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# {1008B508D3}> #<SB-C::IR2-BLOCK :STAR.. 3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c2 {1008B30633}>) [...] (defun f61 (a)   (declare (notinline + logbitp > zerop gcd))   (declare (optimize (debug 3)))   (gcd    (block b3      (loop for lv2 below 1  count (zerop          (progn     (if (logbitp 0           (if (> 0)        (return-from b3 b)        a))       0         0)    0))))    (if (logbitp 0 (+ 0))        0        0))) ===> failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) [...]   0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   2: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1008B30523}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# {1008B508D3}> #<SB-C::IR2-BLOCK :STAR..   3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c2 {1008B30633}>) [...]
2018-01-02 19:51:18 Paul F. Dietz description (defun f61 (a)   (declare (notinline + logbitp > zerop gcd))   (declare (optimize (debug 3)))   (gcd    (block b3      (loop for lv2 below 1  count (zerop          (progn     (if (logbitp 0           (if (> 0)        (return-from b3 b)        a))       0         0)    0))))    (if (logbitp 0 (+ 0))        0        0))) ===> failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) [...]   0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   2: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1008B30523}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# {1008B508D3}> #<SB-C::IR2-BLOCK :STAR..   3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c2 {1008B30633}>) [...] (defun f61 (a) (declare (notinline + logbitp > zerop gcd)) (declare (optimize (debug 3))) (gcd (block b3 (loop for lv2 below 1 count (zerop (progn (if (logbitp 0 (if (> 0) (return-from b3 b) a)) 0 0) 0)))) (if (logbitp 0 (+ 0)) 0 0))) ===> failed AVER: (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)) [...]   0: (SB-INT:BUG "~@<failed AVER: ~2I~_~S~:>" (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   1: (SB-IMPL::%FAILED-AVER (NOT (SB-C::CAST-TYPE-CHECK SB-C::NODE)))   2: (SB-C::IR2-CONVERT-CAST #<SB-ALIEN:CAST :%TYPE-CHECK T :VALUE #<SB-C::LVAR 1 {1008B30523}> :ASSERTED-TYPE #1=#<SB-KERNEL:NUMERIC-TYPE INTEGER> :TYPE-TO-CHECK #1# {1008B508D3}> #<SB-C::IR2-BLOCK :STAR..   3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c2 {1008B30633}>) [...]
2018-01-02 21:19:57 Stas Boukarev sbcl: status New Fix Committed
2018-01-31 14:32:57 Stas Boukarev sbcl: status Fix Committed Fix Released