failed AVER: (NOT (SB-C:TN-REF-WRITE-P SB-C::REF))

[Paul F. Dietz]

(lambda (x y z a)
  (do ((i (1+ y) (1+ i))) ((> i z))
    (multiple-value-bind (b w p)
        (%s nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil
            nil nil nil nil nil)
      (when p
        (setf a (nunion b a))
        (return-from bad-block-name ;; not a valid block name
          (values i a w t))))))

==>

failed AVER: (NOT (SB-C:TN-REF-WRITE-P SB-C::REF))
[...]
  0: (SB-C::CONFLICT-ANALYZE-1-BLOCK #<SB-C::IR2-BLOCK :START-VOP #1=#<SB-C::VOP :INFO SB-C:CALL-NAMED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN t1 :NORMAL> :WRITE-P NIL :VOP SB-C:CALL-NAMED> :RESULTS #<SB-C:TN-R..
  1: (SB-C::LIFETIME-POST-PASS #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL B W P &REST #:G2)) {1001967CF3}>)
  2: (SB-C::LIFETIME-ANALYZE #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL B W P &REST #:G2)) {1001967CF3}>)
  3: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME (LAMBDA (&OPTIONAL B W P &REST #:G2)) {1001967CF3}>)

[Stas Boukarev (stassats)]

8fbd2be3a56f361ec9b8f9684445bf020e8f201c