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 |