bug-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Segmentation violation with 1.2.8 debugger


From: Erik Max Francis
Subject: Segmentation violation with 1.2.8 debugger
Date: Sun, 11 Nov 2001 23:21:51 -0800

address@hidden:~/tmp% uname -a
Linux oxygen 2.2.16 #7 Sat Apr 28 20:05:48 PDT 2001 i686 unknown
address@hidden:~/tmp% gprolog --version
Prolog top-Level (GNU Prolog) 1.2.8
By Daniel Diaz
Copyright (C) 1999-2001 Daniel Diaz
GNU Prolog comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of GNU Prolog
under the terms of the GNU General Public License.
For more information about these matters, see the files named COPYING.

I can reproducibly cause a crash when attempting to step over a fail
builtin in the GNU prolog debugger:

address@hidden:~/tmp% gprolog
GNU Prolog 1.2.8
By Daniel Diaz
Copyright (C) 1999-2001 Daniel Diaz
| ?- [user].
compiling user for byte code...
g :- fail.
[hit ^D]

user compiled, 1 lines read - 198 bytes written, 7647 ms

yes
| ?- trace.
The debugger will first creep -- showing everything (trace)

yes
{trace}
| ?- g.
      1    1  Call: g ? [hit CR]
      2    2  Call: fail ? [hit CR]

Fatal Error: Segmentation Violation

The crash does not occur outside of the debugger; the rule will behave
normally if tracing is not on.

I also see a crash (also in the debugger), which appears to be related
to the debugger interface only:

address@hidden:~/tmp% gprolog
GNU Prolog 1.2.8
By Daniel Diaz
Copyright (C) 1999-2001 Daniel Diaz
| ?- [hit ^C]
Prolog interruption (h for help) ? [hit ^C, then CR]

Prolog interruption (h for help) ? [hit a]

Fatal Error: Segmentation Violation


-- 
 Erik Max Francis / address@hidden / http://www.alcyone.com/max/
 __ San Jose, CA, US / 37 20 N 121 53 W / ICQ16063900 / &tSftDotIotE
/  \ Laws are silent in time of war.
\__/ Cicero
    Esperanto reference / http://www.alcyone.com/max/lang/esperanto/
 An Esperanto reference for English speakers.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]