[mercury-users] Valgrind -- works and reports bugs in a hello_world

Nicholas Nethercote njn25 at cam.ac.uk
Fri Mar 28 23:22:26 AEDT 2003

On Fri, 28 Mar 2003, Ondrej Bojar wrote:

> Thanks. Using MLFLAGS=... --shared ... enables valgrind to observe memory
> misuse.

Did it actually help you with your original problem?

> For a 'main-->io__write_string("Hello.\n")' program are there 155 errors
> reported. Is this all right? :-)

Valgrind's not perfect, and the errors are in libgc.so which might be
doing some horribly complex things that confuse it.  But it is probably
worth someone investigating.

mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe

More information about the users mailing list