From: Paul Khuong <pvk@pvk.ca>
Date: Sat, 8 Jun 2013 02:26:59 +0000 (-0400)
Subject: Mark DATA-VECTOR-REF[-WITH-OFFSET] as unsafely flushable
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=8de43b3a81c0ad229a62289c712f72c09fe4d9f1;p=sbcl.git

Mark DATA-VECTOR-REF[-WITH-OFFSET] as unsafely flushable

 Unsafe code will be able to eliminate array reads as dead code.
---

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