Bugs item #1894964, was opened at 2008-02-16 15:48 Message generated for change (Comment added) made by mayrm You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1894964&group_id=56967
Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: PF/compiler Group: Pathfinder 0.22 >Status: Closed >Resolution: Fixed Priority: 6 Private: No Submitted By: Stefan Manegold (stmane) Assigned to: Manuel Mayr (mayrm) Summary: PF/ALG: 170 tests segfault in atom_eq() in opt_algebra_cse.c Initial Comment: 170 out of the 334 failing tests reported in [ 1894891 ] PF: 334 tests fail with ALG that work fine with MPS http://sourceforge.net/tracker/index.php?func=detail&aid=1894891&group_id=56967&atid=482468 fail with a segfault in atom_eq() in opt_algebra_cse.c, respectively, in case assertions are enabled, assert (PFalg_atom_comparable (a,b)); fails in atom_eq() in opt_algebra_cse.c . See attached GDB session log and, e.g., http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTestsG103/GNU.32.32.d-Fedora8/tests_WebSite/HelloWorld1.err.00.html http://monetdb.cwi.nl/testing/projects/monetdb/Stable/pathfinder/.mTestsG103/GNU.32.32.d-Fedora8/benchmarks_XMark/q20.err.00.html ---------------------------------------------------------------------- >Comment By: Manuel Mayr (mayrm) Date: 2008-02-16 20:18 Message: Logged In: YES user_id=1629542 Originator: NO Should working now, the problem was that the equivalency check occurs even if the atoms (a and b) are not comparable due to !comparable (a,b) || !atom_eq(a,b) I transformed it to !(comparable(a,b) && atom_eq(a,b)) to benefit from short circuit mechanism. Best regards, Manuel ---------------------------------------------------------------------- Comment By: Jan Rittinger (tsheyar) Date: 2008-02-16 17:07 Message: Logged In: YES user_id=993208 Originator: NO Manuel can you please have a look please. ---------------------------------------------------------------------- Comment By: Stefan Manegold (stmane) Date: 2008-02-16 16:32 Message: Logged In: YES user_id=572415 Originator: YES File Added: ALG_segfault ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=482468&aid=1894964&group_id=56967 ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Monetdb-bugs mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/monetdb-bugs
