YAP OOOPS: tried to access illegal address - on x86_64 Ubuntu

[Jean-Marc Vanel-2]

Hi

Attached is all the data to reproduce the problem .
I'm running on Ubuntu, with a self-compiled Yap .
YAP version Yap-5.1.3

% uname -a
Linux PCIVENTIVE 2.6.27-11-generic #1 SMP Thu Jan 29 19:28:32 UTC 2009
x86_64 GNU/Linux

Kind regards

Jean-Marc Vanel


% YAP OOOPS: tried to access illegal address 0x940b010!!!!.
%
%
10130KB of Code Space (0x8800000--0x91e4820)
441KB of Global Stack (0x923c000--0x92aa4b8)
1KB of Local Stack (0x93c7888--0x93c8000)
0KB of Trail (0x93c8008--0x93c83e0)
Performed 1 garbage collections
Running code at clause 1 of prolog:$assert_fact/4
Continuation is at clause 1 of user:astep/4
  clause 1 of user:astep/4
  clause 1 of user:astep/4
     indexing code of user:pcl/3 (*)
  clause 1 of user:sem/1
  clause 1 of user:sem/1
     indexing code of prolog:$catch/3 (*)
  clause 1 of prolog:catch/3
  clause 1 of user:main/0
  clause 1 of prolog:once/1
  clause 16 of prolog:$call/4
  clause 2 of prolog:$do_yes_no/2
  clause 1 of prolog:$yes_no/2 (*)
     indexing code of prolog:$catch/3 (*)
  clause 1 of prolog:$system_catch/4
  clause 5 of prolog:$enter_top_level/0
     indexing code of prolog:$catch/3 (*)
  clause 1 of prolog:$system_catch/4
  meta-call

   Exiting ....

--
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/


------------------------------------------------------------------------------
Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) are
powering Web 2.0 with engaging, cross-platform capabilities. Quickly and
easily build your RIAs with Flex Builder, the Eclipse(TM)based development
software that enables intelligent coding and step-through debugging.
Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-2]

Dear Jean-Marc

Thanks for the report, and sorry for the delay in answering. It was an
overflow bug within the indexer, and it should be working now. I
upgraded the patch to the git repository.

Cheers

Vitor

On Thu, Mar 19, 2009 at 1:39 PM, Jean-Marc Vanel
<jeanmarc.vanel@...> wrote:

> Hi
>
> Attached is all the data to reproduce the problem .
> I'm running on Ubuntu, with a self-compiled Yap .
> YAP version Yap-5.1.3
>
> % uname -a
> Linux PCIVENTIVE 2.6.27-11-generic #1 SMP Thu Jan 29 19:28:32 UTC 2009
> x86_64 GNU/Linux
>
> Kind regards
>
> Jean-Marc Vanel
>
>
> % YAP OOOPS: tried to access illegal address 0x940b010!!!!.
> %
> %
> 10130KB of Code Space (0x8800000--0x91e4820)
> 441KB of Global Stack (0x923c000--0x92aa4b8)
> 1KB of Local Stack (0x93c7888--0x93c8000)
> 0KB of Trail (0x93c8008--0x93c83e0)
> Performed 1 garbage collections
> Running code at clause 1 of prolog:$assert_fact/4
> Continuation is at clause 1 of user:astep/4
>  clause 1 of user:astep/4
>  clause 1 of user:astep/4
>     indexing code of user:pcl/3 (*)
>  clause 1 of user:sem/1
>  clause 1 of user:sem/1
>     indexing code of prolog:$catch/3 (*)
>  clause 1 of prolog:catch/3
>  clause 1 of user:main/0
>  clause 1 of prolog:once/1
>  clause 16 of prolog:$call/4
>  clause 2 of prolog:$do_yes_no/2
>  clause 1 of prolog:$yes_no/2 (*)
>     indexing code of prolog:$catch/3 (*)
>  clause 1 of prolog:$system_catch/4
>  clause 5 of prolog:$enter_top_level/0
>     indexing code of prolog:$catch/3 (*)
>  clause 1 of prolog:$system_catch/4
>  meta-call
>
>   Exiting ....
>
> --
> Jean-Marc Vanel
> Consulting, services, training,
> Rule-based programming, Semantic Web
> http://jmvanel.free.fr/
>
> ------------------------------------------------------------------------------
> Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) are
> powering Web 2.0 with engaging, cross-platform capabilities. Quickly and
> easily build your RIAs with Flex Builder, the Eclipse(TM)based development
> software that enables intelligent coding and step-through debugging.
> Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users
>
>

------------------------------------------------------------------------------
Apps built with the Adobe(R) Flex(R) framework and Flex Builder(TM) are
powering Web 2.0 with engaging, cross-platform capabilities. Quickly and
easily build your RIAs with Flex Builder, the Eclipse(TM)based development
software that enables intelligent coding and step-through debugging.
Download the free 60 day trial. http://p.sf.net/sfu/www-adobe-com
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users