Skip to content
Snippets Groups Projects
  1. Oct 18, 2003
  2. Oct 17, 2003
  3. Oct 16, 2003
  4. Oct 15, 2003
  5. Oct 14, 2003
  6. Oct 13, 2003
  7. Oct 12, 2003
    • gerd's avatar
      (defun foo (c) · 40847b05
      gerd authored
      	  (declare (type (integer 46156191457 126998564334) c))
      	  (truncate c (min -1 0)))
      	 => code being generated that falls through to invalid argument
      	    count trap.
      
      	This is caused by a transformer bug causing type derivation
      	inconsistencies that can be seen by setting c::*check-consistency*
      	to true.
      
      	* src/compiler/srctran.lisp (truncate) <deftransform>: Fix the
      	case of x >= 0, y < 0.
      40847b05
  8. Oct 11, 2003
    • gerd's avatar
      ANSI test misc.14 · cd94d2e4
      gerd authored
      	 => case failure in continuation-proven-type
      
      	* src/compiler/ir1opt.lisp (continuation-proven-type):
      	Return *empty-type* for unused continuations.
      cd94d2e4
    • gerd's avatar
      ANSI test misc.16 · 4e34c8ae
      gerd authored
      	 => assertion failure in insert-let-body
      
      	* src/compiler/locall.lisp (maybe-let-convert): Don't convert
      	if the call's block doesn't have successors and we are not
      	converting for interpretation.
      4e34c8ae
    • gerd's avatar
      ANSI test misc.9 and others · 4f8cab88
      gerd authored
      	 => assertion failure in delete-block
      
      	* src/compiler/ir1util.lisp (delete-lambda): Mark blocks of
      	lambda-refs for deletion.  Protect the unlink of the bind-block
      	against it being marked for deletion.
      	(delete-block) <entry>: Mark blocks of exits for deletion.
      	Delete the entry from lambda-entries.
      4f8cab88
    • gerd's avatar
      (compile nil '(lambda () · db41c940
      gerd authored
      	    (flet ((%f13 () (rem 1 (min 0 (return-from %f13 17)))))
      	      (%f13))))
      	 => nil is not of type node
      
      	* src/compiler/locall.lisp (unconvert-tail-calls): Ignore
      	refs whose values aren't used.
      db41c940
  9. Oct 10, 2003
    • gerd's avatar
      (funcall (compile nil · aab6df3b
      gerd authored
       	  '(lambda () (flet ((%f2 () 288213285))
       	                 (+ (%f2) (* 13 (%f2)))))))
      	 => segmentation violation
      
      	(funcall (compile nil
      	  '(lambda ()
      	      (let ((v9 (labels ((%f13 () nil)) nil)))
      		 (let ((v3 (logandc2 97 3)))
      		      (* v3 (- 37391897 (logand v3 -66))))))))
      	 => invalid argument count
      
      	* src/compiler/srctran.lisp (*) <deftransform>: #+nil because it's
      	lying to the compiler, leading to compiler inconsistencies.
      	Reported by Paul Dietz.
      aab6df3b
  10. Oct 09, 2003
Loading