Package: gcc-5 Version: 5.2.1-22 Severity: normal The following gcl routine (equal1) is not tail recursion optimized (first recursive call, line 463 predicate.c) on s390 when compiled with -G -O2, unlike on other Debian release platforms:
============================================================================= preproced source to equal1 ============================================================================= bool equal1(register object x, register object y) { # 463 "predicate.c" if ((!(x)->d.e || (((ufixnum)((*(object *)(x))))>=0x8000000000000000))) return (!(y)->d.e || (((ufixnum)((*(object *)(y))))>=0x8000000000000000))&&({register object _a=(x->c.c_car);register object _b=(y->c.c_car);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));})&&({register object _a=(x->c.c_cdr);register object _b=(y->c.c_cdr);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}); if ((!(y)->d.e || (((ufixnum)((*(object *)(y))))>=0x8000000000000000))) return 0; if (x->d.t!=y->d.t) return 0; switch(x->d.t) { case t_string: return(string_eq(x, y)); case t_bitvector: { fixnum i, ox, oy; if (x->bv.bv_fillp != y->bv.bv_fillp) return(0); ox = ((({register object _z=(object)(x); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})==t_bitvector ? x->bv.bv_offset : ({register object _z=(object)(x); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})== t_array ? x->a.a_offset : (abort(),0))); oy = ((({register object _z=(object)(y); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})==t_bitvector ? y->bv.bv_offset : ({register object _z=(object)(y); ((((ufixnum)(_z))>=0x8000000000000000) ? t_fixnum : ((!(_z)->d.e || (((ufixnum)((*(object *)(_z))))>=0x8000000000000000)) ? (_z==((object)&Cnil_body) ? t_symbol : t_cons) : _z->d.t));})== t_array ? y->a.a_offset : (abort(),0))); for (i = 0; i < x->bv.bv_fillp; i++) if(((x->bv.bv_self[(i+ox)/8] & (0200>>(i+ox)%8)) ? 1 : 0) !=((y->bv.bv_self[(i+oy)/8] & (0200>>(i+oy)%8)) ? 1 : 0)) return(0); return(1); } case t_pathname: if (({register object _a=(x->pn.pn_host);register object _b=(y->pn.pn_host);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) && ({register object _a=(x->pn.pn_device);register object _b=(y->pn.pn_device);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) && ({register object _a=(x->pn.pn_directory);register object _b=(y->pn.pn_directory);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) && ({register object _a=(x->pn.pn_name);register object _b=(y->pn.pn_name);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) && ({register object _a=(x->pn.pn_type);register object _b=(y->pn.pn_type);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));}) && ({register object _a=(x->pn.pn_version);register object _b=(y->pn.pn_version);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&equal1(_a,_b));})) return(1); else return(0); case t_fixnum: return (({register object _q2=(x);register fixnum _q3; _q3=(((ufixnum)(_q2))>=0x8000000000000000) ? ((fixnum)(((fixnum)(_q2))-(0x8000000000000000 +(0x4000000000000000>>1)))) : (_q2)->FIX.FIXVAL;_q3;})==({register object _q2=(y);register fixnum _q3; _q3=(((ufixnum)(_q2))>=0x8000000000000000) ? ((fixnum)(((fixnum)(_q2))-(0x8000000000000000 +(0x4000000000000000>>1)))) : (_q2)->FIX.FIXVAL;_q3;})) ? 1 : 0; case t_bignum: return big_compare(x,y) ? 0 : 1; case t_ratio: return (({register object _a=(x->rat.rat_num);register object _b=(y->rat.rat_num);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));}) && ({register object _a=(x->rat.rat_den);register object _b=(y->rat.rat_den);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));})) ? 1 : 0; case t_shortfloat: return (x)->SF.SFVAL==(y)->SF.SFVAL ? 1 : 0; case t_longfloat: return (x)->LF.LFVAL==(y)->LF.LFVAL ? 1 : 0; case t_complex: return (({register object _a=(x->cmp.cmp_real);register object _b=(y->cmp.cmp_real);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));}) && ({register object _a=(x->cmp.cmp_imag);register object _b=(y->cmp.cmp_imag);_a==_b || (!((((ufixnum)(_a))>=0x8000000000000000)||_a==((object)&Cnil_body))&&!((((ufixnum)(_b))>=0x8000000000000000)||_b==((object)&Cnil_body))&&eql1(_a,_b));})) ? 1 : 0; default: return 0;; } } ============================================================================= gdb session showing failure, compiled with -g -O2 ============================================================================= camm@zelenka:~/gcl/gcl$ schroot -r -c sid_s390x-dchroot-6d5d7b4f-49d5-4301-9fa6-d203d48497ea (sid_s390x-dchroot)camm@zelenka:~/gcl/gcl$ ulimit -a core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size (blocks, -f) unlimited pending signals (-i) 3915 max locked memory (kbytes, -l) 64 max memory size (kbytes, -m) unlimited open files (-n) 65536 pipe size (512 bytes, -p) 8 POSIX message queues (bytes, -q) 819200 real-time priority (-r) 0 stack size (kbytes, -s) 8192 cpu time (seconds, -t) unlimited max user processes (-u) 3915 virtual memory (kbytes, -v) unlimited file locks (-x) unlimited (sid_s390x-dchroot)camm@zelenka:~/gcl/gcl$ cd (sid_s390x-dchroot)camm@zelenka:~$ cd acl2* (sid_s390x-dchroot)camm@zelenka:~/acl2-7.1dfsg$ cd books/system/hons-check/ (sid_s390x-dchroot)camm@zelenka:~/acl2-7.1dfsg/books/system/hons-check$ gdb ../../../saved_acl2.c GNU gdb (Debian 7.10-1) 7.10 Copyright (C) 2015 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "s390x-linux-gnu". Type "show configuration" for configuration details. For bug reporting instructions, please see: <http://www.gnu.org/software/gdb/bugs/>. Find the GDB manual and other documentation resources online at: <http://www.gnu.org/software/gdb/documentation/>. For help, type "help". Type "apropos word" to search for commands related to "word"... Reading symbols from ../../../saved_acl2.c...done. (gdb) b gcl_init_alloc Breakpoint 1 at 0xff750: file alloc.c, line 1211. (gdb) r The program being debugged has been started already. Start it from the beginning? (y or n) y Starting program: /home/camm/acl2-7.1dfsg/saved_acl2.c Breakpoint 1, gcl_init_alloc (cs_start=cs_start@entry=0x3fffffff8c8) at alloc.c:1211 1211 gcl_init_alloc(void *cs_start) { (gdb) n 1215 prelink_init(); (gdb) 1236 massert(!getrlimit(RLIMIT_DATA, &rl)); (gdb) 1237 if (rl.rlim_cur != RLIM_INFINITY && (rl.rlim_max == RLIM_INFINITY || rl.rlim_max > rl.rlim_cur)) { (gdb) 1242 massert(!getrlimit(RLIMIT_STACK, &rl)); (gdb) 1243 if (rl.rlim_cur!=RLIM_INFINITY && (rl.rlim_max == RLIM_INFINITY || rl.rlim_max > rl.rlim_cur)) { (gdb) 1245 massert(!setrlimit(RLIMIT_STACK,&rl)); (gdb) 1244 rl.rlim_cur = rl.rlim_max == RLIM_INFINITY ? rl.rlim_max : rl.rlim_max/64; (gdb) 1245 massert(!setrlimit(RLIMIT_STACK,&rl)); (gdb) p rl $5 = {rlim_cur = 18446744073709551615, rlim_max = 18446744073709551615} (gdb) p/x rl $6 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff} (gdb) p setrlimit(3, &rl) $7 = 0 (gdb) p/x rf No symbol "rf" in current context. (gdb)p/x rl $8 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff} (gdb) p getrlimit(3, &rl) $9 = 0 (gdb) p/x rl $10 = {rlim_cur = 0xffffffffffffffff, rlim_max = 0xffffffffffffffff} (gdb) b error Breakpoint 2 at 0x19178: error. (2 locations) (gdb) c Continuing. GCL (GNU Common Lisp) 2.6.12 ANSI Oct 22 2015 14:23:50 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) Binary License: GPL due to GPL'ed components: (XGCL READLINE UNEXEC) Modifications of this banner must retain notice of a compatible license Dedicated to the memory of W. Schelter Use (help) to get some basic information on how to use GCL. Temporary directory for compiler files set to /tmp/ ACL2 Version 7.1 built October 22, 2015 15:20:51 then October 22, 2015 15:37:32. Copyright (C) 2015, Regents of the University of Texas ACL2 comes with ABSOLUTELY NO WARRANTY. This is free software and you are welcome to redistribute it under certain conditions. For details, see the LICENSE file distributed with ACL2. Initialized with (INITIALIZE-ACL2 'INCLUDE-BOOK *ACL2-PASS-2-FILES*). Includes support for hash cons, memoization, and applicative hash tables. See the documentation topic note-7-1 for recent changes. Note: We have modified the prompt in some underlying Lisps to further distinguish it from the ACL2 prompt. MODIFICATION NOTICE: Modified to produce final certification files ACL2 Version 7.1. Level 1. Cbd "/home/camm/acl2-7.1dfsg/books/system/hons-check/". System books directory "/home/camm/acl2-7.1dfsg/books/". Type :help for help. Type (good-bye) to quit completely out of ACL2. ACL2 !>(acl2::value :q) (acl2::in-package "ACL2") #+acl2-hons (profile-fn 'prove) #+acl2-hons (profile-fn 'certify-book-fn) (acl2::lp) (acl2::in-package "ACL2") (set-ld-error-action (quote (:exit 1)) state) (set-inhibit-output-lst (list (quote prove) (quote proof-tree) (quote warning) (quote observation) (quote event) (quote history))) (acl2::assign acl2::get-internal-time-as-realtime acl2::t) #-cmucl (acl2::gc-verbose t) ; instructions from .acl2 file cert.acl2: ; Hons Sanity Checking ; Copyright (C) 2010 Centaur Technology ; ; Contact: ; Centaur Technology Formal Verification Group ; 7600-C N. Capital of Texas Highway, Suite 300, Austin, TX 78731, USA. ; http://www.centtech.com/ ; ; License: (An MIT/X11-style license) ; ; Permission is hereby granted, free of charge, to any person obtaining a ; copy of this software and associated documentation files (the "Software"), ; to deal in the Software without restriction, including without limitation ; the rights to use, copy, modify, merge, publish, distribute, sublicense, ; and/or sell copies of the Software, and to permit persons to whom the ; Software is furnished to do so, subject to the following conditions: ; ; The above copyright notice and this permission notice shall be included in ; all copies or substantial portions of the Software. ; ; THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR ; IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, ; FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE ; AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER ; LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING ; FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER ; DEALINGS IN THE SOFTWARE. ; ; Original author: Jared Davis <ja...@centtech.com> ; cert-flags: ? t :ttags :all :skip-proofs-okp t ; Prevent reset-prehistory while loading .port files (acl2::assign acl2::skip-reset-prehistory acl2::t) ; portculli for included books: (acl2::ld "misc/assert.port" :dir :system :ld-missing-input-ok t) (acl2::ld "std/lists/flatten.port" :dir :system :ld-missing-input-ok t) (acl2::ld "std/util/bstar.port" :dir :system :ld-missing-input-ok t) #!ACL2 (set-ld-error-action (quote :continue) state) ; certify-book command flags: ? t :ttags :all :skip-proofs-okp t #!ACL2 (er-progn (time$ (certify-book "memoize-tests" ? t :ttags :all :skip-proofs-okp t )) (value (prog2$ #+acl2-hons (memsum) #-acl2-hons nil (exit 43)))) Exiting the ACL2 read-eval-print loop. To re-enter, execute (LP). ACL2> #<"ACL2" package> ACL2> ACL2 Version 7.1. Level 1. Cbd "/home/camm/acl2-7.1dfsg/books/system/hons-check/". System books directory "/home/camm/acl2-7.1dfsg/books/". Type :help for help. Type (good-bye) to quit completely out of ACL2. ACL2 !> "ACL2" ACL2 !> (:EXIT 1) ACL2 !> (PROVE PROOF-TREE WARNING OBSERVATION EVENT HISTORY) ACL2 !> T ACL2 !>NIL ACL2 !> T ACL2 !> ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/misc/". System books directory "/home/camm/acl2-7.1dfsg/books/". Type :help for help. Type (good-bye) to quit completely out of ACL2. ACL2 !>> "ACL2" ACL2 !>> Loading /home/camm/acl2-7.1dfsg/books/std/portcullis.o Unrelocated non-local symbol: __stack_chk_fail ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/portcullis" ...): The following raw Lisp error occurred when loading file /home/camm/acl2-7.1dfsg/books/std/portcullis.o: Condition in LP [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/portcullis" ...): Unable to load compiled file for book /home/camm/acl2-7.1dfsg/books/std/portcullis.lisp because an error occurred in raw Lisp (see above). See :DOC include- book. No load was in progress for any parent book. Summary Form: ( INCLUDE-BOOK "std/portcullis" ...) Rules: NIL Warnings: Compiled file Time: 1.46 seconds (prove: 0.00, print: 0.00, other: 1.46) "/home/camm/acl2-7.1dfsg/books/std/portcullis.lisp" ACL2 !>>Bye. :EOF ACL2 !> ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/std/lists/". System books directory "/home/camm/acl2-7.1dfsg/books/". Type :help for help. Type (good-bye) to quit completely out of ACL2. ACL2 !>> "ACL2" ACL2 !>> Summary Form: ( INCLUDE-BOOK "../portcullis" ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :REDUNDANT ACL2 !>> Loading /home/camm/acl2-7.1dfsg/books/cowles/portcullis.o Unrelocated non-local symbol: __stack_chk_fail ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "cowles/portcullis" ...): The following raw Lisp error occurred when loading file /home/camm/acl2-7.1dfsg/books/cowles/portcullis.o: Condition in LP [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "cowles/portcullis" ...): Unable to load compiled file for book /home/camm/acl2-7.1dfsg/books/cowles/portcullis.lisp because an error occurred in raw Lisp (see above). See :DOC include- book. No load was in progress for any parent book. Summary Form: ( INCLUDE-BOOK "cowles/portcullis" ...) Rules: NIL Warnings: Compiled file Time: 0.46 seconds (prove: 0.00, print: 0.00, other: 0.46) "/home/camm/acl2-7.1dfsg/books/cowles/portcullis.lisp" ACL2 !>>Bye. :EOF ACL2 !> ACL2 Version 7.1. Level 2. Cbd "/home/camm/acl2-7.1dfsg/books/std/util/". System books directory "/home/camm/acl2-7.1dfsg/books/". Type :help for help. Type (good-bye) to quit completely out of ACL2. ACL2 !>> "ACL2" ACL2 !>> Summary Form: ( INCLUDE-BOOK "../portcullis" ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :REDUNDANT ACL2 !>>Bye. :EOF ACL2 !> :CONTINUE ACL2 !> Loading /home/camm/acl2-7.1dfsg/books/misc/assert.o Unrelocated non-local symbol: __stack_chk_fail ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "misc/assert" ...): The following raw Lisp error occurred when loading file /home/camm/acl2-7.1dfsg/books/misc/assert.o: Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "misc/assert" ...): Unable to load compiled file for book /home/camm/acl2-7.1dfsg/books/misc/assert.lisp because an error occurred in raw Lisp (see above). See :DOC include- book. No load was in progress for any parent book. Summary Form: ( INCLUDE-BOOK "misc/assert" ...) Rules: NIL Warnings: Compiled file Time: 0.13 seconds (prove: 0.00, print: 0.00, other: 0.13) "/home/camm/acl2-7.1dfsg/books/misc/assert.lisp" Loading /home/camm/acl2-7.1dfsg/books/std/lists/flatten.o Unrelocated non-local symbol: __stack_chk_fail ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/lists/flatten" ...): The following raw Lisp error occurred when loading file /home/camm/acl2-7.1dfsg/books/std/lists/flatten.o: Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/lists/flatten" ...): Unable to load compiled file for book /home/camm/acl2-7.1dfsg/books/std/lists/flatten.lisp because an error occurred in raw Lisp (see above). See :DOC include- book. No load was in progress for any parent book. Summary Form: ( INCLUDE-BOOK "std/lists/flatten" ...) Rules: NIL Warnings: Compiled file Time: 0.07 seconds (prove: 0.00, print: 0.00, other: 0.07) "/home/camm/acl2-7.1dfsg/books/std/lists/flatten.lisp" Loading /home/camm/acl2-7.1dfsg/books/std/util/bstar.o Unrelocated non-local symbol: __stack_chk_fail ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/util/bstar" ...): The following raw Lisp error occurred when loading file /home/camm/acl2-7.1dfsg/books/std/util/bstar.o: Condition in EV-REC [or a callee]: INTERNAL-SIMPLE-ERROR: The assertion !emsg("Unrelocated non-local symbol: %s\n",st1+sym->st_name) on line 236 of sfaslelf.c in function relocate_symbols failed ACL2 Warning [Compiled file] in ( INCLUDE-BOOK "std/util/bstar" ...): Unable to load compiled file for book /home/camm/acl2-7.1dfsg/books/std/util/bstar.lisp because an error occurred in raw Lisp (see above). See :DOC include- book. No load was in progress for any parent book. Summary Form: ( INCLUDE-BOOK "std/util/bstar" ...) Rules: NIL Warnings: Compiled file Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) "/home/camm/acl2-7.1dfsg/books/std/util/bstar.lisp" Summary Form: ( DEFUN F1 ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F1 Summary Form: ( DEFUN F1-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F1-LIST-TAILREC Summary Form: ( DEFUN F1-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F1-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F1-LIST Summary Form: ( DEFUN F2 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F2 Summary Form: ( DEFUN F2-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F2-LIST-TAILREC Summary Form: ( DEFUN F2-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F2-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F2-LIST Summary Form: ( DEFUN F3 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F3 Summary Form: ( DEFUN F3-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F3-LIST-TAILREC Summary Form: ( DEFUN F3-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F3-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F3-LIST Summary Form: ( DEFUN F4 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F4 Summary Form: ( DEFUN F4-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F4-LIST-TAILREC Summary Form: ( DEFUN F4-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F4-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F4-LIST Summary Form: ( DEFUN F5 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F5 Summary Form: ( DEFUN F5-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F5-LIST-TAILREC Summary Form: ( DEFUN F5-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F5-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F5-LIST Summary Form: ( DEFUN F6 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F6 Summary Form: ( DEFUN F6-LIST-TAILREC ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION REVERSE)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F6-LIST-TAILREC Summary Form: ( DEFUN F6-LIST ...) Rules: ((:EXECUTABLE-COUNTERPART TRUE-LISTP) (:TYPE-PRESCRIPTION F6-LIST-TAILREC)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F6-LIST Summary Form: ( DEFCONST *STUFF* ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) *STUFF* Summary Form: ( DEFUN NATS ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) NATS Compiling /tmp/TMP@6921@.lisp. End of Pass 1. ;; Note: Tail-recursive call of F6-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of F5-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of F4-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of F3-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of F2-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of F1-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of PATBIND-LOCAL-STOBJ-ARGLISTP was replaced by iteration. ;; Note: Tail-recursive call of PATBIND-LOCAL-STOBJS-HELPER was replaced by iteration. ;; Note: Tail-recursive call of B*-ASSOC-SYMBOL-NAME was replaced by iteration. ;; Note: Tail-recursive call of VAR-IGNORE-LIST-FOR-PATBIND-MV was replaced by iteration. ;; Note: Tail-recursive call of DEBUGGABLE-BINDER-LIST-P was replaced by iteration. ;; Note: Tail-recursive call of FAST-LIST-EQUIV was replaced by iteration. ;; Note: Tail-recursive call of OUTELEMENT-LIST-P was replaced by iteration. ;; Note: Tail-recursive call of ELEMENT-LIST-P was replaced by iteration. ;; Note: Tail-recursive call of RULETABLE-KEEP-TAGS was replaced by iteration. ;; Note: Tail-recursive call of RULETABLE-DELETE-TAGS was replaced by iteration. ;; Note: Tail-recursive call of XDOC::FORMULA-INFO-TO-DEFS1 was replaced by iteration. ;; Note: Tail-recursive call of XDOC::THROW-AWAY-KEYWORD-PARTS was replaced by iteration. ;; Note: Tail-recursive call of XDOC::EXTRACT-KEYWORD-FROM-ARGS was replaced by iteration. ;; Note: Tail-recursive call of NEW-FORMULA-INFO was replaced by iteration. ;; Note: Tail-recursive call of REVERSED-WORLD-SINCE-EVENT was replaced by iteration. ;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of XDOC::FIND-TOPIC was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6921@.lisp. Loading /tmp/TMP@6921@.o start address -T 0xc33cfb0 Finished loading /tmp/TMP@6921@.o Compiling /tmp/TMP@6...@1.lisp. End of Pass 1. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::PATBIND-LOCAL-STOBJ-ARGLISTP was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::PATBIND-LOCAL-STOBJS-HELPER was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_XDOC::FORMULA-INFO-TO-DEFS1 was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEW-FORMULA-INFO was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::REVERSED-WORLD-SINCE-EVENT was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::NEWLY-DEFINED-TOP-LEVEL-THMS-REC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_XDOC::FIND-TOPIC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_XDOC::EXTRACT-KEYWORD-FROM-ARGS was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::RULETABLE-DELETE-TAGS was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::RULETABLE-KEEP-TAGS was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::ELEMENT-LIST-P was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::OUTELEMENT-LIST-P was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::VAR-IGNORE-LIST-FOR-PATBIND-MV was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::B*-ASSOC-SYMBOL-NAME was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F1-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F2-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F3-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F4-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F5-LIST-TAILREC was replaced by iteration. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::F6-LIST-TAILREC was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6...@1.lisp. Loading /tmp/TMP@6921@1.o start address -T 0xc34c6d0 Finished loading /tmp/TMP@6921@1.o T Summary Form: ( DEFCONST *DATA* ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) *DATA* Summary Form: ( DEFCONST *F1-TEST* ...) Rules: NIL Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) *F1-TEST* Summary Form: ( DEFCONST *F2-TEST* ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) *F2-TEST* Summary Form: ( DEFCONST *F3-TEST* ...) Rules: NIL Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) *F3-TEST* Summary Form: ( DEFCONST *F4-TEST* ...) Rules: NIL Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) *F4-TEST* Summary Form: ( DEFCONST *F5-TEST* ...) Rules: NIL Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) *F5-TEST* Summary Form: ( DEFCONST *F6-TEST* ...) Rules: NIL Time: 0.01 seconds (prove: 0.00, print: 0.00, other: 0.01) *F6-TEST* Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc369d10 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18) MEMOIZE-TABLE F1 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.19 seconds (prove: 0.00, print: 0.00, other: 0.19) F1 Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc36af90 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18) MEMOIZE-TABLE F2 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.18 seconds (prove: 0.00, print: 0.00, other: 0.18) F2 Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc36c240 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23) MEMOIZE-TABLE F3 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23) F3 Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc36d7e0 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21) MEMOIZE-TABLE F4 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21) F4 Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc36edd0 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) MEMOIZE-TABLE F5 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) F5 Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc370650 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21) MEMOIZE-TABLE F6 Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.21 seconds (prove: 0.00, print: 0.00, other: 0.21) F6 Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Sorted by *memoize-summary-order-list* = (TOTAL-TIME NUMBER-OF-CALLS). (F2 Hits/calls 8.19S+4/ 8.20S+4 = 99.9% Time of all outermost calls 0.02 Time per call 2.43E-7 Time per missed call 5.40E-4 From other functions 8.20S+4 calls took 2.00E-2; 100.0% Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%) (F4 Hits/calls 8.19S+4/ 8.19S+4 = 99.9% Time of all outermost calls 0.02 Time per call 2.43E-7 Pons calls 8.19S+4; 25.0% Time per missed call 4.87E-4 From other functions 8.19S+4 calls took 2.00E-2; 100.0% Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3% (Pons table count/size 37/60 = 61.6%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 41)) (F6 Hits/calls 8.19S+4/ 8.19S+4 = 99.9% Time of all outermost calls 0.02 Time per call 2.43E-7 Pons calls 1.63S+5; 49.9% Time per missed call 4.87E-4 From other functions 8.19S+4 calls took 2.00E-2; 100.0% Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3% (Pons table count/size 78/135 = 57.7%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 82)) (F1 Hits/calls 8.19S+4/ 8.20S+4 = 99.9% Time of all outermost calls 1.00E-2 Time per call 1.21E-7 Time per missed call 2.70E-4 From other functions 8.20S+4 calls took 1.00E-2; 100.0% Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%) (F3 Hits/calls 8.19S+4/ 8.20S+4 = 99.9% Time of all outermost calls 1.00E-2 Time per call 1.21E-7 Time per missed call 2.70E-4 From other functions 8.20S+4 calls took 1.00E-2; 100.0% Memoize table count/size 3.70S+1/ 6.00S+1 = 61.6%) (F5 Hits/calls 8.19S+4/ 8.19S+4 = 99.9% Time of all outermost calls 1.00E-2 Time per call 1.21E-7 Pons calls 8.19S+4; 25.0% Time per missed call 2.43E-4 From other functions 8.19S+4 calls took 1.00E-2; 100.0% Memoize table count/size 4.10S+1/ 6.00S+1 = 68.3% (Pons table count/size 37/60 = 61.6%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 41)) NIL F1 F2 F3 F4 F5 F6 Summary Form: ( DEFUN F1-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F1-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F1-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F1-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc371c50 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) MEMOIZE-TABLE F1 Summary Form: ( PROGN (DEFUN F1-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) F1 Summary Form: ( DEFUN F2-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F2-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F2-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F2-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc372fb0 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) MEMOIZE-TABLE F2 Summary Form: ( PROGN (DEFUN F2-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.20 seconds (prove: 0.00, print: 0.00, other: 0.20) F2 Summary Form: ( DEFUN F3-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F3-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F3-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F3-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc374370 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23) MEMOIZE-TABLE F3 Summary Form: ( PROGN (DEFUN F3-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.23 seconds (prove: 0.00, print: 0.00, other: 0.23) F3 Summary Form: ( DEFUN F4-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F4-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F4-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F4-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc375aa0 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) MEMOIZE-TABLE F4 Summary Form: ( PROGN (DEFUN F4-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) F4 Summary Form: ( DEFUN F5-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F5-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F5-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F5-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc377190 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26) MEMOIZE-TABLE F5 Summary Form: ( PROGN (DEFUN F5-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.26 seconds (prove: 0.00, print: 0.00, other: 0.26) F5 Summary Form: ( DEFUN F6-MEMOIZE-CONDITION ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F6-MEMOIZE-CONDITION Summary Form: ( VERIFY-GUARDS F6-MEMOIZE-CONDITION) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) F6-MEMOIZE-CONDITION Compiling /tmp/gazonk_6921_0.lsp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/gazonk_6921_0.lsp. Loading /tmp/gazonk_6921_0.o start address -T 0xc378b30 Finished loading /tmp/gazonk_6921_0.o Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) MEMOIZE-TABLE F6 Summary Form: ( PROGN (DEFUN F6-MEMOIZE-CONDITION ...) ...) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) Summary Form: ( MAKE-EVENT (LET* ...)) Rules: NIL Time: 0.22 seconds (prove: 0.00, print: 0.00, other: 0.22) F6 Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.02 seconds (prove: 0.00, print: 0.00, other: 0.02) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.03 seconds (prove: 0.00, print: 0.00, other: 0.03) :SUCCESS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.04 seconds (prove: 0.00, print: 0.00, other: 0.04) :SUCCESS Sorted by *memoize-summary-order-list* = (TOTAL-TIME NUMBER-OF-CALLS). (F4 Hits/calls 7.99S+4/ 1.63S+5 = 48.7% Time of all outermost calls 0.05 Time per call 3.04E-7 Pons calls 7.99S+4; 25.0% Time per missed call 5.94E-7 From other functions 1.63S+5 calls took 5.00E-2; 100.0% Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6% (Pons table count/size 36/60 = 60.0%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 40)) (F3 Hits/calls 7.99S+4/ 1.64S+5 = 48.7% Time of all outermost calls 0.03 Time per call 1.82E-7 Time per missed call 3.56E-7 From other functions 1.64S+5 calls took 3.00E-2; 100.0% Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%) (F5 Hits/calls 7.99S+4/ 1.63S+5 = 48.7% Time of all outermost calls 0.03 Time per call 1.82E-7 Pons calls 7.99S+4; 25.0% Time per missed call 3.56E-7 From other functions 1.63S+5 calls took 3.00E-2; 100.0% Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6% (Pons table count/size 36/60 = 60.0%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 40)) (F6 Hits/calls 7.99S+4/ 1.63S+5 = 48.7% Time of all outermost calls 0.03 Time per call 1.82E-7 Pons calls 1.59S+5; 49.9% Time per missed call 3.56E-7 From other functions 1.63S+5 calls took 3.00E-2; 100.0% Memoize table count/size 4.00S+1/ 6.00S+1 = 66.6% (Pons table count/size 76/135 = 56.2%) (Number of pons sub tables 0) (Sum of pons sub table sizes 0) (Number of ponses 80)) (F2 Hits/calls 7.99S+4/ 1.64S+5 = 48.7% Time of all outermost calls 0.02 Time per call 1.21E-7 Time per missed call 2.37E-7 From other functions 1.64S+5 calls took 2.00E-2; 100.0% Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%) (F1 Hits/calls 7.99S+4/ 1.64S+5 = 48.7% Time of all outermost calls 1.00E-2 Time per call 6.09E-8 Time per missed call 1.18E-7 From other functions 1.64S+5 calls took 1.00E-2; 100.0% Memoize table count/size 3.60S+1/ 6.00S+1 = 60.0%) NIL F1 F2 F3 F4 F5 F6 Summary Form: ( DEFUN TEST-SIMULTANEOUSLY-ACONS ...) Rules: ((:TYPE-PRESCRIPTION BINARY-PAND)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) TEST-SIMULTANEOUSLY-ACONS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :SUCCESS Summary Form: ( DEFUN TEST-SIMULTANEOUSLY-ACONS-WITH-SPEC-MV-LET ...) Rules: ((:DEFINITION HONS-ACONS) (:EXECUTABLE-COUNTERPART ACL2-NUMBERP) (:EXECUTABLE-COUNTERPART BINARY-+) (:EXECUTABLE-COUNTERPART CAR) (:EXECUTABLE-COUNTERPART CDR) (:EXECUTABLE-COUNTERPART CONS) (:EXECUTABLE-COUNTERPART CONSP) (:EXECUTABLE-COUNTERPART EQUAL) (:EXECUTABLE-COUNTERPART IF) (:EXECUTABLE-COUNTERPART MV-NTH) (:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) Prover steps counted: 133 TEST-SIMULTANEOUSLY-ACONS-WITH-SPEC-MV-LET Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :SUCCESS Summary Form: ( DEFUN TEST-SIMULTANEOUSLY-HONS ...) Rules: ((:TYPE-PRESCRIPTION BINARY-PAND)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) TEST-SIMULTANEOUSLY-HONS Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :SUCCESS Summary Form: ( DEFUN TEST-SIMULTANEOUSLY-HONS-WITH-SPEC-MV-LET ...) Rules: ((:DEFINITION HONS) (:EXECUTABLE-COUNTERPART ACL2-NUMBERP) (:EXECUTABLE-COUNTERPART BINARY-+) (:EXECUTABLE-COUNTERPART CAR) (:EXECUTABLE-COUNTERPART CDR) (:EXECUTABLE-COUNTERPART CONS) (:EXECUTABLE-COUNTERPART CONSP) (:EXECUTABLE-COUNTERPART EQUAL) (:EXECUTABLE-COUNTERPART IF) (:EXECUTABLE-COUNTERPART MV-NTH) (:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) Prover steps counted: 95 TEST-SIMULTANEOUSLY-HONS-WITH-SPEC-MV-LET Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :SUCCESS Summary Form: ( DEFUN MAKE-MEMOIZED-ALIST ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION MAKE-FAST-ALIST)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) MAKE-MEMOIZED-ALIST Summary Form: ( TABLE MEMOIZE-TABLE ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) MEMOIZE-TABLE MAKE-MEMOIZED-ALIST Summary Form: ( PROGN (TABLE MEMOIZE-TABLE ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) MAKE-MEMOIZED-ALIST Summary Form: ( DEFUN DO-STUFF-TO-FAST-ALIST ...) Rules: ((:COMPOUND-RECOGNIZER NATP-COMPOUND-RECOGNIZER) (:COMPOUND-RECOGNIZER ZP-COMPOUND-RECOGNIZER) (:FAKE-RUNE-FOR-TYPE-SET NIL) (:TYPE-PRESCRIPTION HONS-ACONS)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) DO-STUFF-TO-FAST-ALIST Compiling /tmp/TMP@6921@.lisp. End of Pass 1. ;; Note: Tail-recursive call of DO-STUFF-TO-FAST-ALIST was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6921@.lisp. Loading /tmp/TMP@6921@.o start address -T 0xc37a230 Finished loading /tmp/TMP@6921@.o Compiling /tmp/TMP@6...@1.lisp. End of Pass 1. ;; Note: Tail-recursive call of ACL2_*1*_ACL2::DO-STUFF-TO-FAST-ALIST was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6...@1.lisp. Loading /tmp/TMP@6921@1.o start address -T 0xc37b340 Finished loading /tmp/TMP@6921@1.o T Summary Form: ( DEFCONST *SPEC* ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) *SPEC* Summary Form: ( DEFUN CHECK-BOTH-WITH-PAND ...) Rules: ((:EXECUTABLE-COUNTERPART MAKE-FAST-ALIST) (:EXECUTABLE-COUNTERPART MAKE-MEMOIZED-ALIST) (:TYPE-PRESCRIPTION BINARY-PAND)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) CHECK-BOTH-WITH-PAND Summary Form: ( MAKE-EVENT (LET ...) ...) Rules: NIL Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) :SUCCESS Summary Form: ( DEFUN ADD-SOME-HONSES ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) ADD-SOME-HONSES Summary Form: ( DEFUN THREAD1 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) THREAD1 Summary Form: ( DEFUN THREAD2 ...) Rules: ((:FAKE-RUNE-FOR-TYPE-SET NIL)) Time: 0.00 seconds (prove: 0.00, print: 0.00, other: 0.00) THREAD2 Compiling /tmp/TMP@6921@.lisp. End of Pass 1. ;; Note: Tail-recursive call of ADD-SOME-HONSES was replaced by iteration. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6921@.lisp. Loading /tmp/TMP@6921@.o start address -T 0xc37c910 Finished loading /tmp/TMP@6921@.o Compiling /tmp/TMP@6...@1.lisp. End of Pass 1. End of Pass 2. OPTIMIZE levels: Safety=0 (No runtime error checking), Space=0, Speed=3 Finished compiling /tmp/TMP@6...@1.lisp. Loading /tmp/TMP@6921@1.o start address -T 0xc37d860 Finished loading /tmp/TMP@6921@1.o T Summary Form: ( DEFCONST *THREAD1-SPEC* ...) Rules: NIL Time: 0.19 seconds (prove: 0.00, print: 0.00, other: 0.19) *THREAD1-SPEC* [GC for 68983 CONS pages..(T=44).GC finished] Summary Form: ( DEFCONST *THREAD2-SPEC* ...) Rules: NIL Time: 0.66 seconds (prove: 0.00, print: 0.00, other: 0.66) *THREAD2-SPEC* Program received signal SIGSEGV, Segmentation fault. equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445 445 equal1(register object x, register object y) { (gdb) bt #0 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445 #1 0x00000000000e06c0 in equal1 (x=0x14864e50, y=0x13831830) at predicate.c:463 #2 0x00000000000e06c0 in equal1 (x=0x14864e40, y=0x13831820) at predicate.c:463 #3 0x00000000000e06c0 in equal1 (x=0x14864e30, y=0x13831810) at predicate.c:463 #4 0x00000000000e06c0 in equal1 (x=0x14864e20, y=0x13831800) at predicate.c:463 #5 0x00000000000e06c0 in equal1 (x=0x14864e10, y=0x138317f0) at predicate.c:463 #6 0x00000000000e06c0 in equal1 (x=0x14864e00, y=0x138317e0) at predicate.c:463 #7 0x00000000000e06c0 in equal1 (x=0x14864df0, y=0x138317d0) at predicate.c:463 #8 0x00000000000e06c0 in equal1 (x=0x14864de0, y=0x138317c0) at predicate.c:463 #9 0x00000000000e06c0 in equal1 (x=0x14864dd0, y=0x138317b0) at predicate.c:463 #10 0x00000000000e06c0 in equal1 (x=0x14864dc0, y=0x138317a0) at predicate.c:463 #11 0x00000000000e06c0 in equal1 (x=0x14864db0, y=0x13831790) at predicate.c:463 ---Type <return> to continue, or q <return> to quit---q at predicate.c:Quit (gdb) i reg all pswm 0x705200180000000 505845723963588608 pswa 0xe05a0 918944 r0 0x1121c50 17964112 r1 0x14864e60 344346208 r2 0x14864e60 344346208 r3 0x13831840 327358528 r4 0x40ae50 4238928 r5 0x0 0 r6 0x2 2 r7 0x927830 9599024 r8 0x714910 7424272 r9 0x4463a60 71711328 r10 0x14864e50 344346192 r11 0x3ffffffc278 4398046495352 r12 0x13831830 327358512 r13 0x412c98 4271256 r14 0xe06c0 919232 r15 0x3fffe000f60 4398012960608 acr0 0x3ff 1023 acr1 0xfdac5710 4255930128 acr2 0x0 0 acr3 0x0 0 acr4 0x0 0 ---Type <return> to continue, or q <return> to quit--- acr5 0x0 0 acr6 0x0 0 acr7 0x0 0 acr8 0x0 0 acr9 0x0 0 acr10 0x0 0 acr11 0x0 0 acr12 0x0 0 acr13 0x0 0 acr14 0x0 0 acr15 0x0 0 fpc 0x0 0 f0 0.0048216276392153493 (raw 0x3f73bfd7d061f988) f1 20454 (raw 0x40d3f98000000000) f2 0.95215910673141479 (raw 0x3fee781660000000) f3 0 (raw 0x0000000000000000) f4 0.69605225966521156 (raw 0x3fe6460f6372351d) f5 191046 (raw 0x4107523000000000) f6 0 (raw 0x0000000000000000) f7 0 (raw 0x0000000000000000) f8 0 (raw 0x0000000000000000) f9 0 (raw 0x0000000000000000) f10 0 (raw 0x0000000000000000) ---Type <return> to continue, or q <return> to quit--- f11 0 (raw 0x0000000000000000) f12 0 (raw 0x0000000000000000) f13 0 (raw 0x0000000000000000) f14 0 (raw 0x0000000000000000) f15 0 (raw 0x0000000000000000) orig_r2 0x1 1 last_break 0x10183bc 0x10183bc system_call 0x0 0 pc 0xe05a0 0xe05a0 <equal1> cc 0x2 2 (gdb) frame 0 #0 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445 445 equal1(register object x, register object y) { (gdb) disassemble Dump of assembler code for function equal1: => 0x00000000000e05a0 <+0>: stmg %r9,%r15,72(%r15) 0x00000000000e05a6 <+6>: larl %r13,0x412c98 0x00000000000e05ac <+12>: aghi %r15,-160 0x00000000000e05b0 <+16>: lg %r1,0(%r2) 0x00000000000e05b6 <+22>: tmll %r1,1 0x00000000000e05ba <+26>: lgr %r10,%r2 0x00000000000e05be <+30>: lgr %r12,%r3 0x00000000000e05c2 <+34>: je 0xe0622 <equal1+130> 0x00000000000e05c6 <+38>: ltgr %r1,%r1 0x00000000000e05ca <+42>: jl 0xe0622 <equal1+130> 0x00000000000e05ce <+46>: lg %r2,0(%r3) 0x00000000000e05d4 <+52>: tmll %r2,1 0x00000000000e05d8 <+56>: je 0xe06c6 <equal1+294> 0x00000000000e05dc <+60>: ltgr %r2,%r2 0x00000000000e05e0 <+64>: jl 0xe06c6 <equal1+294> 0x00000000000e05e4 <+68>: lgr %r3,%r1 0x00000000000e05e8 <+72>: xgr %r3,%r2 0x00000000000e05ec <+76>: tmll %r3,7936 0x00000000000e05f0 <+80>: jne 0xe06c6 <equal1+294> 0x00000000000e05f4 <+84>: srlg %r1,%r1,8 0x00000000000e05fa <+90>: n %r1,36(%r13) 0x00000000000e05fe <+94>: ahi %r1,-1 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0602 <+98>: cl %r1,32(%r13) 0x00000000000e0606 <+102>: jh 0xe06c6 <equal1+294> 0x00000000000e060a <+106>: llgfr %r1,%r1 0x00000000000e060e <+110>: sllg %r1,%r1,3 0x00000000000e0614 <+116>: larl %r3,0x412c50 0x00000000000e061a <+122>: lg %r1,0(%r1,%r3) 0x00000000000e0620 <+128>: br %r1 0x00000000000e0622 <+130>: tm 7(%r12),1 0x00000000000e0626 <+134>: jne 0xe06dc <equal1+316> 0x00000000000e062a <+138>: lg %r1,8(%r10) 0x00000000000e0630 <+144>: lg %r2,8(%r12) 0x00000000000e0636 <+150>: cgr %r1,%r2 0x00000000000e063a <+154>: je 0xe0676 <equal1+214> 0x00000000000e063e <+158>: ltgr %r1,%r1 0x00000000000e0642 <+162>: jl 0xe06c6 <equal1+294> 0x00000000000e0646 <+166>: cg %r1,24(%r13) 0x00000000000e064c <+172>: je 0xe06c6 <equal1+294> 0x00000000000e0650 <+176>: ltgr %r2,%r2 0x00000000000e0654 <+180>: jl 0xe06c6 <equal1+294> 0x00000000000e0658 <+184>: cg %r2,24(%r13) 0x00000000000e065e <+190>: je 0xe06c6 <equal1+294> 0x00000000000e0662 <+194>: lgr %r3,%r2 0x00000000000e0666 <+198>: lgr %r2,%r1 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e066a <+202>: brasl %r14,0xe05a0 <equal1> 0x00000000000e0670 <+208>: ltr %r2,%r2 0x00000000000e0672 <+210>: je 0xe06c6 <equal1+294> 0x00000000000e0676 <+214>: lg %r1,0(%r10) 0x00000000000e067c <+220>: lg %r2,0(%r12) 0x00000000000e0682 <+226>: cgr %r1,%r2 0x00000000000e0686 <+230>: je 0xe08c6 <equal1+806> 0x00000000000e068a <+234>: ltgr %r1,%r1 0x00000000000e068e <+238>: jl 0xe06c6 <equal1+294> 0x00000000000e0692 <+242>: cg %r1,24(%r13) 0x00000000000e0698 <+248>: je 0xe06c6 <equal1+294> 0x00000000000e069c <+252>: ltgr %r2,%r2 0x00000000000e06a0 <+256>: jl 0xe06c6 <equal1+294> 0x00000000000e06a4 <+260>: cg %r2,24(%r13) 0x00000000000e06aa <+266>: je 0xe06c6 <equal1+294> 0x00000000000e06ae <+270>: lg %r3,0(%r12) 0x00000000000e06b4 <+276>: lg %r2,0(%r10) 0x00000000000e06ba <+282>: brasl %r14,0xe05a0 <equal1> 0x00000000000e06c0 <+288>: ltr %r2,%r2 0x00000000000e06c2 <+290>: jne 0xe08c6 <equal1+806> 0x00000000000e06c6 <+294>: lhi %r2,0 0x00000000000e06ca <+298>: lg %r4,272(%r15) 0x00000000000e06d0 <+304>: lgfr %r2,%r2 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e06d4 <+308>: lmg %r9,%r15,232(%r15) 0x00000000000e06da <+314>: br %r4 0x00000000000e06dc <+316>: lg %r1,0(%r12) 0x00000000000e06e2 <+322>: cghi %r1,0 0x00000000000e06e6 <+326>: jhe 0xe06c6 <equal1+294> 0x00000000000e06ea <+330>: j 0xe062a <equal1+138> 0x00000000000e06ee <+334>: lg %r1,8(%r10) 0x00000000000e06f4 <+340>: lg %r2,8(%r12) 0x00000000000e06fa <+346>: cgr %r1,%r2 0x00000000000e06fe <+350>: je 0xe073a <equal1+410> 0x00000000000e0702 <+354>: ltgr %r1,%r1 0x00000000000e0706 <+358>: jl 0xe06c6 <equal1+294> 0x00000000000e070a <+362>: cg %r1,24(%r13) 0x00000000000e0710 <+368>: je 0xe06c6 <equal1+294> 0x00000000000e0714 <+372>: ltgr %r2,%r2 0x00000000000e0718 <+376>: jl 0xe06c6 <equal1+294> 0x00000000000e071c <+380>: cg %r2,24(%r13) 0x00000000000e0722 <+386>: je 0xe06c6 <equal1+294> 0x00000000000e0726 <+390>: lgr %r3,%r2 0x00000000000e072a <+394>: lgr %r2,%r1 0x00000000000e072e <+398>: brasl %r14,0xe05a0 <equal1> 0x00000000000e0734 <+404>: ltr %r2,%r2 0x00000000000e0736 <+406>: je 0xe06c6 <equal1+294> ---Type <return> to continue, or q <return> to quit--- 0x00000000000e073a <+410>: lg %r1,16(%r10) 0x00000000000e0740 <+416>: lg %r2,16(%r12) 0x00000000000e0746 <+422>: cgr %r1,%r2 0x00000000000e074a <+426>: je 0xe078a <equal1+490> 0x00000000000e074e <+430>: ltgr %r1,%r1 0x00000000000e0752 <+434>: jl 0xe06c6 <equal1+294> 0x00000000000e0756 <+438>: cg %r1,24(%r13) 0x00000000000e075c <+444>: je 0xe06c6 <equal1+294> 0x00000000000e0760 <+448>: ltgr %r2,%r2 0x00000000000e0764 <+452>: jl 0xe06c6 <equal1+294> 0x00000000000e0768 <+456>: cg %r2,24(%r13) 0x00000000000e076e <+462>: je 0xe06c6 <equal1+294> 0x00000000000e0772 <+466>: lg %r3,16(%r12) 0x00000000000e0778 <+472>: lg %r2,16(%r10) 0x00000000000e077e <+478>: brasl %r14,0xe05a0 <equal1> 0x00000000000e0784 <+484>: ltr %r2,%r2 0x00000000000e0786 <+486>: je 0xe06c6 <equal1+294> 0x00000000000e078a <+490>: lg %r1,24(%r10) 0x00000000000e0790 <+496>: lg %r2,24(%r12) 0x00000000000e0796 <+502>: cgr %r1,%r2 0x00000000000e079a <+506>: je 0xe07da <equal1+570> 0x00000000000e079e <+510>: ltgr %r1,%r1 0x00000000000e07a2 <+514>: jl 0xe06c6 <equal1+294> ---Type <return> to continue, or q <return> to quit--- 0x00000000000e07a6 <+518>: cg %r1,24(%r13) 0x00000000000e07ac <+524>: je 0xe06c6 <equal1+294> 0x00000000000e07b0 <+528>: ltgr %r2,%r2 0x00000000000e07b4 <+532>: jl 0xe06c6 <equal1+294> 0x00000000000e07b8 <+536>: cg %r2,24(%r13) 0x00000000000e07be <+542>: je 0xe06c6 <equal1+294> 0x00000000000e07c2 <+546>: lg %r3,24(%r12) 0x00000000000e07c8 <+552>: lg %r2,24(%r10) 0x00000000000e07ce <+558>: brasl %r14,0xe05a0 <equal1> 0x00000000000e07d4 <+564>: ltr %r2,%r2 0x00000000000e07d6 <+566>: je 0xe06c6 <equal1+294> 0x00000000000e07da <+570>: lg %r1,32(%r10) 0x00000000000e07e0 <+576>: lg %r2,32(%r12) 0x00000000000e07e6 <+582>: cgr %r1,%r2 0x00000000000e07ea <+586>: je 0xe0826 <equal1+646> 0x00000000000e07ee <+590>: ltgr %r1,%r1 0x00000000000e07f2 <+594>: jl 0xe06c6 <equal1+294> 0x00000000000e07f6 <+598>: cg %r1,24(%r13) 0x00000000000e07fc <+604>: je 0xe06c6 <equal1+294> 0x00000000000e0800 <+608>: ltgr %r2,%r2 0x00000000000e0804 <+612>: jl 0xe06c6 <equal1+294> 0x00000000000e0808 <+616>: cg %r2,24(%r13) 0x00000000000e080e <+622>: je 0xe06c6 <equal1+294> ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0812 <+626>: lgr %r3,%r2 0x00000000000e0816 <+630>: lgr %r2,%r1 0x00000000000e081a <+634>: brasl %r14,0xe05a0 <equal1> 0x00000000000e0820 <+640>: ltr %r2,%r2 0x00000000000e0822 <+642>: je 0xe06c6 <equal1+294> 0x00000000000e0826 <+646>: lg %r2,40(%r10) 0x00000000000e082c <+652>: lg %r1,40(%r12) 0x00000000000e0832 <+658>: cgr %r2,%r1 0x00000000000e0836 <+662>: je 0xe0876 <equal1+726> 0x00000000000e083a <+666>: ltgr %r2,%r2 0x00000000000e083e <+670>: jl 0xe06c6 <equal1+294> 0x00000000000e0842 <+674>: cg %r2,24(%r13) 0x00000000000e0848 <+680>: je 0xe06c6 <equal1+294> 0x00000000000e084c <+684>: ltgr %r1,%r1 0x00000000000e0850 <+688>: jl 0xe06c6 <equal1+294> 0x00000000000e0854 <+692>: cg %r1,24(%r13) 0x00000000000e085a <+698>: je 0xe06c6 <equal1+294> 0x00000000000e085e <+702>: lg %r3,40(%r12) 0x00000000000e0864 <+708>: lg %r2,40(%r10) 0x00000000000e086a <+714>: brasl %r14,0xe05a0 <equal1> 0x00000000000e0870 <+720>: ltr %r2,%r2 0x00000000000e0872 <+722>: je 0xe06c6 <equal1+294> 0x00000000000e0876 <+726>: lg %r2,48(%r10) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e087c <+732>: lg %r1,48(%r12) 0x00000000000e0882 <+738>: cgr %r2,%r1 0x00000000000e0886 <+742>: je 0xe08c6 <equal1+806> 0x00000000000e088a <+746>: ltgr %r2,%r2 0x00000000000e088e <+750>: jl 0xe06c6 <equal1+294> 0x00000000000e0892 <+754>: cg %r2,24(%r13) 0x00000000000e0898 <+760>: je 0xe06c6 <equal1+294> 0x00000000000e089c <+764>: ltgr %r1,%r1 0x00000000000e08a0 <+768>: jl 0xe06c6 <equal1+294> 0x00000000000e08a4 <+772>: cg %r1,24(%r13) 0x00000000000e08aa <+778>: je 0xe06c6 <equal1+294> 0x00000000000e08ae <+782>: lg %r3,48(%r12) 0x00000000000e08b4 <+788>: lg %r2,48(%r10) 0x00000000000e08ba <+794>: brasl %r14,0xe05a0 <equal1> 0x00000000000e08c0 <+800>: ltr %r2,%r2 0x00000000000e08c2 <+802>: je 0xe06c6 <equal1+294> 0x00000000000e08c6 <+806>: lhi %r2,1 0x00000000000e08ca <+810>: j 0xe06ca <equal1+298> 0x00000000000e08ce <+814>: lgr %r3,%r12 0x00000000000e08d2 <+818>: lgr %r2,%r10 0x00000000000e08d6 <+822>: lmg %r9,%r15,232(%r15) 0x00000000000e08dc <+828>: jg 0xa0398 <string_eq> 0x00000000000e08e2 <+834>: lg %r1,8(%r10) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e08e8 <+840>: lg %r2,8(%r12) 0x00000000000e08ee <+846>: cgr %r1,%r2 0x00000000000e08f2 <+850>: je 0xe092e <equal1+910> 0x00000000000e08f6 <+854>: ltgr %r1,%r1 0x00000000000e08fa <+858>: jl 0xe06c6 <equal1+294> 0x00000000000e08fe <+862>: cg %r1,24(%r13) 0x00000000000e0904 <+868>: je 0xe06c6 <equal1+294> 0x00000000000e0908 <+872>: ltgr %r2,%r2 0x00000000000e090c <+876>: jl 0xe06c6 <equal1+294> 0x00000000000e0910 <+880>: cg %r2,24(%r13) 0x00000000000e0916 <+886>: je 0xe06c6 <equal1+294> 0x00000000000e091a <+890>: lgr %r3,%r2 0x00000000000e091e <+894>: lgr %r2,%r1 0x00000000000e0922 <+898>: brasl %r14,0xe0220 <eql1> 0x00000000000e0928 <+904>: ltr %r2,%r2 0x00000000000e092a <+906>: je 0xe06c6 <equal1+294> 0x00000000000e092e <+910>: lg %r1,16(%r10) 0x00000000000e0934 <+916>: lg %r2,16(%r12) 0x00000000000e093a <+922>: cgr %r1,%r2 0x00000000000e093e <+926>: je 0xe08c6 <equal1+806> 0x00000000000e0942 <+930>: ltgr %r1,%r1 0x00000000000e0946 <+934>: jl 0xe06c6 <equal1+294> 0x00000000000e094a <+938>: cg %r1,24(%r13) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0950 <+944>: je 0xe06c6 <equal1+294> 0x00000000000e0954 <+948>: ltgr %r2,%r2 0x00000000000e0958 <+952>: jl 0xe06c6 <equal1+294> 0x00000000000e095c <+956>: cg %r2,24(%r13) 0x00000000000e0962 <+962>: je 0xe06c6 <equal1+294> 0x00000000000e0966 <+966>: lg %r3,16(%r12) 0x00000000000e096c <+972>: lg %r2,16(%r10) 0x00000000000e0972 <+978>: brasl %r14,0xe0220 <eql1> 0x00000000000e0978 <+984>: ltr %r2,%r2 0x00000000000e097a <+986>: je 0xe06c6 <equal1+294> 0x00000000000e097e <+990>: lhi %r2,1 0x00000000000e0982 <+994>: j 0xe06ca <equal1+298> 0x00000000000e0986 <+998>: ld %f0,8(%r10) 0x00000000000e098a <+1002>: cdb %f0,8(%r12) 0x00000000000e0990 <+1008>: lhi %r2,1 0x00000000000e0994 <+1012>: je 0xe06ca <equal1+298> 0x00000000000e0998 <+1016>: j 0xe06c6 <equal1+294> 0x00000000000e099c <+1020>: le %f0,8(%r10) 0x00000000000e09a0 <+1024>: ceb %f0,8(%r12) 0x00000000000e09a6 <+1030>: lhi %r2,1 0x00000000000e09aa <+1034>: je 0xe06ca <equal1+298> 0x00000000000e09ae <+1038>: j 0xe06c6 <equal1+294> 0x00000000000e09b2 <+1042>: lg %r1,16(%r10) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e09b8 <+1048>: lg %r2,16(%r12) 0x00000000000e09be <+1054>: cgr %r1,%r2 0x00000000000e09c2 <+1058>: je 0xe09fe <equal1+1118> 0x00000000000e09c6 <+1062>: ltgr %r1,%r1 0x00000000000e09ca <+1066>: jl 0xe06c6 <equal1+294> 0x00000000000e09ce <+1070>: cg %r1,24(%r13) 0x00000000000e09d4 <+1076>: je 0xe06c6 <equal1+294> 0x00000000000e09d8 <+1080>: ltgr %r2,%r2 0x00000000000e09dc <+1084>: jl 0xe06c6 <equal1+294> 0x00000000000e09e0 <+1088>: cg %r2,24(%r13) 0x00000000000e09e6 <+1094>: je 0xe06c6 <equal1+294> 0x00000000000e09ea <+1098>: lgr %r3,%r2 0x00000000000e09ee <+1102>: lgr %r2,%r1 0x00000000000e09f2 <+1106>: brasl %r14,0xe0220 <eql1> 0x00000000000e09f8 <+1112>: ltr %r2,%r2 0x00000000000e09fa <+1114>: je 0xe06c6 <equal1+294> 0x00000000000e09fe <+1118>: lg %r1,8(%r10) 0x00000000000e0a04 <+1124>: lg %r2,8(%r12) 0x00000000000e0a0a <+1130>: cgr %r1,%r2 0x00000000000e0a0e <+1134>: je 0xe08c6 <equal1+806> 0x00000000000e0a12 <+1138>: ltgr %r1,%r1 0x00000000000e0a16 <+1142>: jl 0xe06c6 <equal1+294> 0x00000000000e0a1a <+1146>: cg %r1,24(%r13) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0a20 <+1152>: je 0xe06c6 <equal1+294> 0x00000000000e0a24 <+1156>: ltgr %r2,%r2 0x00000000000e0a28 <+1160>: jl 0xe06c6 <equal1+294> 0x00000000000e0a2c <+1164>: cg %r2,24(%r13) 0x00000000000e0a32 <+1170>: je 0xe06c6 <equal1+294> 0x00000000000e0a36 <+1174>: lg %r3,8(%r12) 0x00000000000e0a3c <+1180>: lg %r2,8(%r10) 0x00000000000e0a42 <+1186>: brasl %r14,0xe0220 <eql1> 0x00000000000e0a48 <+1192>: ltr %r2,%r2 0x00000000000e0a4a <+1194>: je 0xe06c6 <equal1+294> 0x00000000000e0a4e <+1198>: lhi %r2,1 0x00000000000e0a52 <+1202>: j 0xe06ca <equal1+298> 0x00000000000e0a56 <+1206>: lgr %r3,%r12 0x00000000000e0a5a <+1210>: lgr %r2,%r10 0x00000000000e0a5e <+1214>: brasl %r14,0xd2d48 <big_compare> 0x00000000000e0a64 <+1220>: lpr %r2,%r2 0x00000000000e0a66 <+1222>: ahi %r2,-1 0x00000000000e0a6a <+1226>: srl %r2,31 0x00000000000e0a6e <+1230>: j 0xe06ca <equal1+298> 0x00000000000e0a72 <+1234>: ltgr %r10,%r10 0x00000000000e0a76 <+1238>: jl 0xe0ad6 <equal1+1334> 0x00000000000e0a7a <+1242>: lg %r1,8(%r10) 0x00000000000e0a80 <+1248>: ltgr %r12,%r12 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0a84 <+1252>: jl 0xe0aca <equal1+1322> 0x00000000000e0a88 <+1256>: lg %r2,8(%r12) 0x00000000000e0a8e <+1262>: xgr %r2,%r1 0x00000000000e0a92 <+1266>: lpgr %r2,%r2 0x00000000000e0a96 <+1270>: aghi %r2,-1 0x00000000000e0a9a <+1274>: srlg %r2,%r2,63 0x00000000000e0aa0 <+1280>: j 0xe06ca <equal1+298> 0x00000000000e0aa4 <+1284>: l %r3,36(%r10) 0x00000000000e0aa8 <+1288>: c %r3,36(%r12) 0x00000000000e0aac <+1292>: jne 0xe06c6 <equal1+294> 0x00000000000e0ab0 <+1296>: ltgr %r10,%r10 0x00000000000e0ab4 <+1300>: jl 0xe0ac4 <equal1+1316> 0x00000000000e0ab8 <+1304>: ltgr %r12,%r12 0x00000000000e0abc <+1308>: lh %r5,42(%r10) 0x00000000000e0ac0 <+1312>: jhe 0xe0ae4 <equal1+1348> 0x00000000000e0ac4 <+1316>: brasl %r14,0xefd0 <abort@plt> 0x00000000000e0aca <+1322>: llihh %r2,24576 0x00000000000e0ace <+1326>: la %r2,0(%r2,%r12) 0x00000000000e0ad2 <+1330>: j 0xe0a8e <equal1+1262> 0x00000000000e0ad6 <+1334>: lgr %r1,%r10 0x00000000000e0ada <+1338>: ag %r1,16(%r13) 0x00000000000e0ae0 <+1344>: j 0xe0a80 <equal1+1248> 0x00000000000e0ae4 <+1348>: srlg %r1,%r2,8 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0aea <+1354>: n %r1,36(%r13) 0x00000000000e0aee <+1358>: chi %r1,9 0x00000000000e0af2 <+1362>: jne 0xe0bfc <equal1+1628> 0x00000000000e0af6 <+1366>: lgh %r4,42(%r12) 0x00000000000e0afc <+1372>: ltr %r3,%r3 0x00000000000e0afe <+1374>: jle 0xe08c6 <equal1+806> 0x00000000000e0b02 <+1378>: sllg %r11,%r5,48 0x00000000000e0b08 <+1384>: lgr %r5,%r4 0x00000000000e0b0c <+1388>: srag %r11,%r11,48 0x00000000000e0b12 <+1394>: agfr %r5,%r3 0x00000000000e0b16 <+1398>: sgr %r11,%r4 0x00000000000e0b1a <+1402>: sgr %r5,%r4 0x00000000000e0b1e <+1406>: lg %r9,24(%r10) 0x00000000000e0b24 <+1412>: lg %r12,24(%r12) 0x00000000000e0b2a <+1418>: lhi %r0,128 0x00000000000e0b2e <+1422>: lgr %r1,%r11 0x00000000000e0b32 <+1426>: agr %r1,%r4 0x00000000000e0b36 <+1430>: ltgr %r1,%r1 0x00000000000e0b3a <+1434>: lgr %r2,%r1 0x00000000000e0b3e <+1438>: jl 0xe0bc8 <equal1+1576> 0x00000000000e0b42 <+1442>: srag %r2,%r2,3 0x00000000000e0b48 <+1448>: ng %r1,8(%r13) 0x00000000000e0b4e <+1454>: llgc %r3,0(%r2,%r9) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0b54 <+1460>: sll %r3,24 0x00000000000e0b58 <+1464>: sra %r3,24 0x00000000000e0b5c <+1468>: ltgr %r1,%r1 0x00000000000e0b60 <+1472>: jl 0xe0bea <equal1+1610> 0x00000000000e0b64 <+1476>: lr %r2,%r0 0x00000000000e0b66 <+1478>: sra %r2,0(%r1) 0x00000000000e0b6a <+1482>: nr %r3,%r2 0x00000000000e0b6c <+1484>: lnr %r3,%r3 0x00000000000e0b6e <+1486>: ltgr %r4,%r4 0x00000000000e0b72 <+1490>: srl %r3,31 0x00000000000e0b76 <+1494>: lgr %r1,%r4 0x00000000000e0b7a <+1498>: jl 0xe0be2 <equal1+1602> 0x00000000000e0b7e <+1502>: srag %r1,%r1,3 0x00000000000e0b84 <+1508>: lgr %r2,%r4 0x00000000000e0b88 <+1512>: ng %r2,8(%r13) 0x00000000000e0b8e <+1518>: llgc %r1,0(%r1,%r12) 0x00000000000e0b94 <+1524>: sll %r1,24 0x00000000000e0b98 <+1528>: sra %r1,24 0x00000000000e0b9c <+1532>: ltgr %r2,%r2 0x00000000000e0ba0 <+1536>: jl 0xe0bd0 <equal1+1584> 0x00000000000e0ba4 <+1540>: lr %r10,%r0 0x00000000000e0ba6 <+1542>: sra %r10,0(%r2) 0x00000000000e0baa <+1546>: nr %r1,%r10 ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0bac <+1548>: lnr %r1,%r1 0x00000000000e0bae <+1550>: srl %r1,31 0x00000000000e0bb2 <+1554>: cr %r3,%r1 0x00000000000e0bb4 <+1556>: jne 0xe06c6 <equal1+294> 0x00000000000e0bb8 <+1560>: aghi %r4,1 0x00000000000e0bbc <+1564>: brctg %r5,0xe0b2e <equal1+1422> 0x00000000000e0bc0 <+1568>: lhi %r2,1 0x00000000000e0bc4 <+1572>: j 0xe06ca <equal1+298> 0x00000000000e0bc8 <+1576>: aghi %r2,7 0x00000000000e0bcc <+1580>: j 0xe0b42 <equal1+1442> 0x00000000000e0bd0 <+1584>: aghi %r2,-1 0x00000000000e0bd4 <+1588>: og %r2,0(%r13) 0x00000000000e0bda <+1594>: aghi %r2,1 0x00000000000e0bde <+1598>: j 0xe0ba4 <equal1+1540> 0x00000000000e0be2 <+1602>: aghi %r1,7 0x00000000000e0be6 <+1606>: j 0xe0b7e <equal1+1502> 0x00000000000e0bea <+1610>: aghi %r1,-1 0x00000000000e0bee <+1614>: og %r1,0(%r13) 0x00000000000e0bf4 <+1620>: aghi %r1,1 0x00000000000e0bf8 <+1624>: j 0xe0b64 <equal1+1476> 0x00000000000e0bfc <+1628>: chi %r1,11 0x00000000000e0c00 <+1632>: jne 0xe0ac4 <equal1+1316> 0x00000000000e0c04 <+1636>: lgh %r4,50(%r12) ---Type <return> to continue, or q <return> to quit--- 0x00000000000e0c0a <+1642>: j 0xe0afc <equal1+1372> End of assembler dump. (gdb) (gdb) i reg r15 r15 0x3fffe000f60 4398012960608 (gdb) p/d 1<<25 $11 = 33554432 (gdb) p/x 0x3ffffffffff-0x3fffe000f60 $12 = 0x1fff09f (gdb) p/d 0x3ffffffffff-0x3fffe000f60 $13 = 33550495 (gdb) c Continuing. Breakpoint 2, error (s=s@entry=0x402d84 "Segmentation violation.") at main.c:564 564 if (catch_fatal>0 && interrupt_enable ) (gdb) p &s Address requested for identifier "s" which is in register $r2 (gdb) bt 20 #0 error (s=s@entry=0x402d84 "Segmentation violation.") at main.c:564 #1 0x00000000000193e6 in segmentation_catcher (i=<optimized out>) at main.c:762 #2 <signal handler called> #3 equal1 (x=0x14864e60, y=0x13831840) at predicate.c:445 #4 0x00000000000e06c0 in equal1 (x=0x14864e50, y=0x13831830) at predicate.c:463 #5 0x00000000000e06c0 in equal1 (x=0x14864e40, y=0x13831820) at predicate.c:463 #6 0x00000000000e06c0 in equal1 (x=0x14864e30, y=0x13831810) at predicate.c:463 #7 0x00000000000e06c0 in equal1 (x=0x14864e20, y=0x13831800) at predicate.c:463 #8 0x00000000000e06c0 in equal1 (x=0x14864e10, y=0x138317f0) at predicate.c:463 #9 0x00000000000e06c0 in equal1 (x=0x14864e00, y=0x138317e0) at predicate.c:463 #10 0x00000000000e06c0 in equal1 (x=0x14864df0, y=0x138317d0) at predicate.c:463 #11 0x00000000000e06c0 in equal1 (x=0x14864de0, y=0x138317c0) at predicate.c:463 #12 0x00000000000e06c0 in equal1 (x=0x14864dd0, y=0x138317b0) at predicate.c:463 ---Type <return> to continue, or q <return> to quit---q Quit (gdb) q A debugging session is active. Inferior 1 [process 6921] will be killed. Quit anyway? (y or n) y ============================================================================= -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: s390x Kernel: Linux 3.16.0-4-s390x (SMP w/2 CPU cores) Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968) Shell: /bin/sh linked to /bin/dash Init: unable to detect Versions of packages gcc-5 depends on: ii binutils 2.25.1-7 ii cpp-5 5.2.1-22 ii gcc-5-base 5.2.1-22 ii libc6 2.19-22 ii libcc1-0 5.2.1-22 ii libgcc-5-dev 5.2.1-22 ii libgcc1 1:5.2.1-22 ii libgmp10 2:6.0.0+dfsg-7 ii libisl13 0.14-2 ii libmpc3 1.0.3-1 ii libmpfr4 3.1.3-1 ii libstdc++6 5.2.1-22 ii zlib1g 1:1.2.8.dfsg-2+b1 Versions of packages gcc-5 recommends: ii libc6-dev 2.19-22 Versions of packages gcc-5 suggests: pn gcc-5-doc <none> pn gcc-5-locales <none> pn gcc-5-multilib <none> pn libasan2-dbg <none> pn libatomic1-dbg <none> pn libcilkrts5-dbg <none> pn libgcc1-dbg <none> pn libgomp1-dbg <none> pn libitm1-dbg <none> pn liblsan0-dbg <none> pn libmpx0-dbg <none> pn libquadmath-dbg <none> pn libtsan0-dbg <none> pn libubsan0-dbg <none> -- no debconf information -- Camm Maguire c...@maguirefamily.org ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah