Probably you know this already, but Valgrind will not normally detect errors related to memory allocated on the stack. If Valgrind comes out clean but the program crashes, I'd start looking into function-local or global non-dynamic arrays.
On 4 September 2014 00:41, Dima Pasechnik <[email protected]> wrote: > On 2014-09-03, Simon King <[email protected]> wrote: > > Hi Jean-Pierre, > > > > On 2014-09-03, Jean-Pierre Flori <[email protected]> wrote: > >> I remember that at some point ./sage -valgrind did not even woork=20 > >> anymore.... > >> I did not read your full post yet but here are some pointers for myself > and= > >>=20 > >> others: > >> https://groups.google.com/d/msg/sage-devel/QXy_2KMbP1k/naLbRsn4pHcJ > >> http://trac.sagemath.org/ticket/15586=20 > >> http://trac.sagemath.org/ticket/14097 > > > > Thank you for the pointers! Meanwhile I found the underlying problem in > > my code: I commited the stupid mistake to return a pointer to a local > > variable. So, that was easy to fix, and it is surprising that it didn't > > crash earlier. However, there remains the problem that I could not quit > > sage (not even doing pkill python) under valgrind. > > Sage itself is addictive, but in combination with valgrind it's apparently > as bad as > hard drugs... > No wonder you can't quit... :-( > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
