Custom Query (1030 matches)

It seems very surprising to get a segmentation fault with safety 3. Below are instructions from the README file of the attached gzipped tarfile, which show how to re-create that behavior. This example is a lightly modified version of a real problem we are having, where we cannot debug the problem because of the segmentation fault. Note: We did this on linux:

dunnottar:~% uname -a Linux dunnottar 3.13.0-110-generic #157-Ubuntu SMP Mon Feb 20 11:54:05 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux dunnottar:~%

But we have seen this problem on Mac as well.

Note: We have reproduced this bug using this CCL

Welcome to Clozure Common Lisp Version 1.12-dev-r16783M-trunk (LinuxX8664)!

but also ones as recent as last weekend.

.....

wget https://github.com/acl2-devel/acl2-devel/releases/download/7.3/acl2-7.3.tar.gz
tar xfz acl2-7.3.tar.gz
# Save disk space
rm -rf acl2-7.3/books
rm acl2-7.3.tar.gz
cd acl2-7.3
(time nice make LISP=ccl ACL2_SAFETY=3) >& make-safety-3.log
cd ..
./acl2-7.3/saved_acl2
(value :q)
(load "clrat-parser.lisp")
(clrat-read-file "R_4_4_18.clrat" state)

Clozure does not work on Windows 2000 because it uses Windows XP specific API functions such as AddVectoredExceptionHandler()

Hi,

Is this a known bug? I don't have the expertise to describe the problem in a sensible way--I'm not even sure whether it has to do with 'do' per se--but you'll see what I mean. This is on: 1.6-r14468M (DarwinX8664)!

Line breaks added for readability:

? (setf (get 'sym1 'prop) '(this that theother))
(THIS THAT THEOTHER)
? (setf sym2 'sym1)
SYM1
? (do ((lst (symbol-plist 'sym1) (cdr lst))) 
      ((null lst) t) 
   (princ (car lst)))
PROP(THIS THAT THEOTHER)
T
? (do ((lst (symbol-plist sym2) (cdr lst))) 
      ((null lst) t) 
    (princ (car lst)))
;Compiler warnings :
;   In an anonymous lambda form at position 24: Undeclared free variable SYM2PROP(THIS THAT THEOTHER)
T
? 

Thank you for ccl, btw. It seems incredibly fast, which matters for my application.

Marshall