Custom Query (1030 matches)

? (compile nil '(lambda (c)
                  (declare (optimize (safety 1)))
                  (declare (type (integer 30074 1948824693) c))
                  (ash c (min 82 -28192897))))
> Error: 28192897 : value doesn't match constraint :U8CONST in template for NATURAL-SHIFT-RIGHT .
> While executing: MATCH-VREG, in process listener(1).
> Type :POP to abort, :R for a list of available restarts.
> Type :? for other options.

x8664::max-1-bit-constant-index seems to be too big.

The maximum displacement in an x86 memory operand is a 32-bit signed displacement. This limit can be exceeded in the set-constant-bit vinsns.

For example,

(defun foo (b)
       (declare (type (simple-array bit (*)) b))
       (setf (aref b x8664::max-1-bit-constant-index) 1))

produces bogus code.

Typep doesn't check array type dimensions:

(typep "" '(string 3)) => T, should be nil