[PPL-devel] [Fwd: [ xsb-Bugs-585031 ] Segfault consulting very simple program]

[Roberto Bagnara]

Hi there,

apparently, the bug in XSB that affected our encoding
of PPL variables in Prolog has been fixed.
It took 9 months though ;-)
Cheers

     Roberto



-------- Original Message --------
Subject: [ xsb-Bugs-585031 ] Segfault consulting very simple program
Date: Mon, 21 Apr 2003 09:00:49 -0700
From: SourceForge.net <noreply at sourceforge.net>
To: noreply at sourceforge.net

Bugs item #585031, was opened at 2002-07-22 17:39
Message generated for change (Settings changed) made by lfcastro
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_id=1176

Category: Compiler
Group: Core Dump
>Status: Closed
>Resolution: Fixed
Priority: 5
Submitted By: Roberto Bagnara (bagnara)
>Assigned to: Luis Castro (lfcastro)
Summary: Segfault consulting very simple program

Initial Comment:
Consulting the file bug.P results in a segmentation fault:

$ cat bug.P
p :-
   A = '$VAR'(0).
$ xsb
[xsb_configuration loaded]
[sysinitrc loaded]
[packaging loaded]

XSB Version 2.5 (Okocim) of March 11, 2002
[i686-pc-linux-gnu; mode: optimal; engine: slg-wam; gc:
indirection; scheduling: local]

| ?- consult(bug).
[Compiling ./bug]

++Memory violation occurred during evaluation.
++Please report this problem using the XSB bug tracking
system accessible from
++
  http://sourceforge.net/projects/xsb
++Please supply the steps necessary to reproduce the bug.

Exiting XSB abnormally...
$


----------------------------------------------------------------------

You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=101176&aid=585031&group_id=1176


-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it