Segfault in BTNode::SearchNode
Opened this issue · 2 comments
GalShnapp commented
Hi, love this project!
I'm trying to get familiar with this project and how to use it, so I've decided to run the the testers.
I'm getting segmentation faults when running on the examples files.
here are some screenshots from GDB:
fjalcaraz commented
Hi Gal, thanks a lot for your interest in this project,
I can't reproduce the issue in my Ubuntu (??). I tried ./tester -tr -i
../examples/app_creat.i ../examples/app_creat.r (enabling trace and final
retract) and I got the right output:
Code read
INSERTION BEGINS ------------------
AN OBJECT IS INSERTED (0) T=0 c1(dato 0), Time=0
----------------------------------------
RULE EXECUTION IN INSERTION
a/bar Cat 1
c1(dato 0), Time=0
OBJECT CREATED d(dato 0), Time=0
OBJECT CREATED c2(dato 2), Time=0
OBJECT CREATED c4(dato 4), Time=0
OBJECT CREATED c3(dato 3), Time=0
OBJECT NO MORE USED c2(dato 2), Time=0
WAS GENERATED: FOUND
OBJECT NO MORE USED c4(dato 4), Time=0
WAS GENERATED: FOUND
OBJECT NO MORE USED c3(dato 3), Time=0
WAS GENERATED: FOUND
RETRACTION BEGINS ------------------
FINAL DELETE_ALL:
ORIGINAL OBJECTS:
AN OBJECT IS RETRACTED c1(dato 0), Time=0
----------------------------------------
RULE EXECUTION IN RETRACTION
a/bar Cat 1
c1(dato 0), Time=0
OBJECT DELETED d(dato 0), Time=0
OBJECT DELETED IS COMMUNICATED d(dato 0), Time=0
WAS GENERATED: FOUND
GENERATED OBJECT:
2 inferences done
I will try to find out how to create the error. Could be a good idea you to
check whether your compilation is right
I'll let you know if i get it,
Cheers
El sáb, 27 may 2023 a las 10:41, Gal Shnapp ***@***.***>)
escribió:
… Hi, love this project!
I'm trying to get familiar with this project and how to use it, so I've
decided to run the the testers.
`gal at gal-ROG-Ubuntu in .../tests/tester/.libs on master:a575b ✗ $ gdb
tester
GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1
Copyright (C) 2022 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 "x86_64-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
https://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 tester...
(gdb) r -r ../../examples/app_creat.r -i ../../examples/app_creat.i
Starting program: /home/gal/source/rcengine/tests/tester/.libs/tester -r
../../examples/app_creat.r -i ../../examples/app_creat.i
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
Program received signal SIGSEGV, Segmentation fault.
0x00007ffff7f93182 in BTNode::SearchNode ***@***.***=0x0,
***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020
<compare_rulesets(const void *, const void *, typedef __va_list_tag
__va_list_tag *)>, ***@***.***=0x7fffffffdb20,
***@***.***: 0) at btree.cpp:498
498 i=-1; j=Count; result = 1; Location=-1;
(gdb)
`
—
Reply to this email directly, view it on GitHub
<#2>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AKUJX3RJTQPLCRUOZAH6ZLLXIG43JANCNFSM6AAAAAAYRBRHLQ>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***>
fjalcaraz commented
Hi Gal,
The strange thing in your problem is that this is null
*Program received signal SIGSEGV, Segmentation fault.0x00007ffff7f93182 in
BTNode::SearchNode ***@***.***=0x0,
***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020
<compare_rulesets(const void *, const void *, typedef __va_list_tag
__va_list_tag *)>, ***@***.***=0x7fffffffdb20,
***@***.***: 0) at btree.cpp:498498 i=-1; j=Count; result = 1;
Location=-1;(gdb)*
Could you send me the stack of function calls to know what tree is this?
Thanks a lot
El sáb, 27 may 2023 a las 14:04, Francisco Alcaraz ***@***.***>)
escribió:
… Hi Gal, thanks a lot for your interest in this project,
I can't reproduce the issue in my Ubuntu (??). I tried ./tester -tr -i
../examples/app_creat.i ../examples/app_creat.r (enabling trace and final
retract) and I got the right output:
Code read
INSERTION BEGINS ------------------
AN OBJECT IS INSERTED (0) T=0 c1(dato 0), Time=0
----------------------------------------
RULE EXECUTION IN INSERTION
a/bar Cat 1
c1(dato 0), Time=0
OBJECT CREATED d(dato 0), Time=0
OBJECT CREATED c2(dato 2), Time=0
OBJECT CREATED c4(dato 4), Time=0
OBJECT CREATED c3(dato 3), Time=0
OBJECT NO MORE USED c2(dato 2), Time=0
WAS GENERATED: FOUND
OBJECT NO MORE USED c4(dato 4), Time=0
WAS GENERATED: FOUND
OBJECT NO MORE USED c3(dato 3), Time=0
WAS GENERATED: FOUND
RETRACTION BEGINS ------------------
FINAL DELETE_ALL:
ORIGINAL OBJECTS:
AN OBJECT IS RETRACTED c1(dato 0), Time=0
----------------------------------------
RULE EXECUTION IN RETRACTION
a/bar Cat 1
c1(dato 0), Time=0
OBJECT DELETED d(dato 0), Time=0
OBJECT DELETED IS COMMUNICATED d(dato 0), Time=0
WAS GENERATED: FOUND
GENERATED OBJECT:
2 inferences done
I will try to find out how to create the error. Could be a good idea you
to check whether your compilation is right
I'll let you know if i get it,
Cheers
El sáb, 27 may 2023 a las 10:41, Gal Shnapp ***@***.***>)
escribió:
> Hi, love this project!
> I'm trying to get familiar with this project and how to use it, so I've
> decided to run the the testers.
>
> `gal at gal-ROG-Ubuntu in .../tests/tester/.libs on master:a575b ✗ $ gdb
> tester
> GNU gdb (Ubuntu 12.1-0ubuntu1~22.04) 12.1
> Copyright (C) 2022 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 "x86_64-linux-gnu".
> Type "show configuration" for configuration details.
> For bug reporting instructions, please see:
> https://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 tester...
> (gdb) r -r ../../examples/app_creat.r -i ../../examples/app_creat.i
> Starting program: /home/gal/source/rcengine/tests/tester/.libs/tester -r
> ../../examples/app_creat.r -i ../../examples/app_creat.i
> [Thread debugging using libthread_db enabled]
> Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
>
> Program received signal SIGSEGV, Segmentation fault.
> 0x00007ffff7f93182 in BTNode::SearchNode ***@***.***=0x0,
> ***@***.***=0x7fffffffdc00, ***@***.***=0x7ffff7f91020
> <compare_rulesets(const void *, const void *, typedef __va_list_tag
> __va_list_tag *)>, ***@***.***=0x7fffffffdb20,
> ***@***.***: 0) at btree.cpp:498
> 498 i=-1; j=Count; result = 1; Location=-1;
> (gdb)
> `
>
> —
> Reply to this email directly, view it on GitHub
> <#2>, or unsubscribe
> <https://github.com/notifications/unsubscribe-auth/AKUJX3RJTQPLCRUOZAH6ZLLXIG43JANCNFSM6AAAAAAYRBRHLQ>
> .
> You are receiving this because you are subscribed to this thread.Message
> ID: ***@***.***>
>