[Sbcl-commits] master: Mark DATA-VECTOR-REF[-WITH-OFFSET] as unsafely flushable

[Paul K. <pk...@us...>]

The branch "master" has been updated in SBCL:
       via  8de43b3a81c0ad229a62289c712f72c09fe4d9f1 (commit)
      from  f69e89d31d95c15469110ba75ae1da8ac7cf3f32 (commit)

- Log -----------------------------------------------------------------
commit 8de43b3a81c0ad229a62289c712f72c09fe4d9f1
Author: Paul Khuong <pv...@pv...>
Date:   Fri Jun 7 22:26:59 2013 -0400

    Mark DATA-VECTOR-REF[-WITH-OFFSET] as unsafely flushable
    
     Unsafe code will be able to eliminate array reads as dead code.
---
 src/compiler/fndb.lisp |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index daf94bc..30fc30b 100644
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -1472,9 +1472,9 @@
 (defknown %check-bound (array index fixnum) index
   (movable foldable flushable dx-safe))
 (defknown data-vector-ref (simple-array index) t
-  (foldable explicit-check always-translatable))
+  (foldable unsafely-flushable explicit-check always-translatable))
 (defknown data-vector-ref-with-offset (simple-array index fixnum) t
-  (foldable explicit-check always-translatable))
+  (foldable unsafely-flushable explicit-check always-translatable))
 (defknown data-vector-set (array index t) t
   (explicit-check always-translatable))
 (defknown data-vector-set-with-offset (array index fixnum t) t

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL