failed AVER: (AND (NULL (TN-READS TN)) (NULL (TN-WRITES TN)))

Bug #1390149 reported by Paul F. Dietz on 2014-11-06
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
High
Unassigned

Bug Description

(defparameter *f2*
  '(lambda (b)
    (declare (type (integer -7 -7) b))
    (declare (optimize (speed 2) (space 0) (safety 0) (debug 2)
       (compilation-speed 0)))
    #'(lambda (x) (logorc1 x b))
    ))

#|

* (compile nil *f2*)

debugger invoked on a SB-INT:BUG in thread
#<THREAD "main thread" RUNNING {1003016813}>:
    failed AVER: (AND (NULL (TN-READS TN)) (NULL (TN-WRITES TN)))
  This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
  corrupted by bad user code, e.g. by an undefined Lisp operation like
  (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
  Lisp code; or there might be a bug in the OS or hardware that SBCL is running
  on.) If it seems to be a bug in SBCL itself, the maintainers would like to
  know about it. Bug reports are welcome on the SBCL mailing lists, which you
  can find at <http://sbcl.sourceforge.net/>.

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-INT:BUG "~@<failed AVER: ~2I~_~A~:>" (AND (NULL (SB-C::TN-READS SB-C:TN)) (NULL (SB-C::TN-WRITES SB-C:TN))))
0]

|#

Found by the random tester on SBCL 1.2.5.

Stas Boukarev (stassats) wrote :

Reduced:
(lambda (b)
  (declare ((eql -7) b))
  (lambda (x) (logior x b)))

Changed in sbcl:
importance: Undecided → High
status: New → Triaged
tags: added: sb-regalloc
Stas Boukarev (stassats) wrote :

Rather
(lambda (b)
  (declare ((eql -7) b) (optimize debug))
  (lambda (x) (logior x b)))

Stas Boukarev (stassats) on 2015-07-10
Changed in sbcl:
assignee: nobody → Stas Boukarev (stassats)
Stas Boukarev (stassats) wrote :

In 5b4dae02596a5d6a6c5db9fed2de089d1bd5481f

Changed in sbcl:
assignee: Stas Boukarev (stassats) → nobody
status: Triaged → Fix Committed
Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers