Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv955
* Fix argument type checking in =, /=, <, <=, >, >=,
PEEK-CHAR. (reported by Peter Graves).
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.364
retrieving revision 1.365
diff -u -d -r1.364 -r1.365
--- BUGS 1 Jan 2004 22:02:49 -0000 1.364
+++ BUGS 7 Jan 2004 09:10:32 -0000 1.365
@@ -1242,3 +1242,11 @@
function %THROW, unknown values stack after the call is empty, so
the unknown values LVAR (*) is considered to be dead after the call
and, thus, before it and is popped by the stack analysis.
+300: (reported by Peter Graves) Function PEEK-CHAR checks PEEK-TYPE
+ argument type only after having read a character. This is caused
+ with EXPLICIT-CHECK attribute in DEFKNOWN. The similar problem
+ exists with =, /=, <, >, <=, >=. They were fixed, but it is probably
+ less error prone to have EXPLICIT-CHECK be a local declaration,
+ being put into the definition, instead of an attribute being kept in
+ a separate file; maybe also put it into SB-EXT?
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.461
retrieving revision 1.462
diff -u -d -r1.461 -r1.462
--- NEWS 2 Jan 2004 09:37:32 -0000 1.461
+++ NEWS 7 Jan 2004 09:10:33 -0000 1.462
@@ -2239,6 +2239,10 @@
(thanks to Vincent Arkesteijn)
* optimization: implemented multiplication as a modular
(UNSIGNED-BYTE 32) operation on the x86 backend.
+ * bug fix: functions =, /=, <, <=, >, >= did not check the argument
+ type when called with 1 argument; PEEK-CHAR checked type of
+ PEEK-TYPE only after having read first character from a
+ stream. (reported by Peter Graves)
planned incompatible changes in 0.8.x:
* (not done yet, but planned:) When the profiling interface settles
Get latest updates about Open Source Projects, Conferences and News.