>>>>> "Marius" == Marius Vollmer <[EMAIL PROTECTED]> writes:
Marius> [EMAIL PROTECTED] (I.Sheldon) writes:
>> With a simple test of starting guile and then typing `(quit)', this
>> reduced the number of warnings I was getting from 19270 to 19014.
Marius> Since this reduction is so small, I'm inclined not to
Marius> apply your patch. What do others say?
Do the warnings indicate real problems, or are they false positives?
If real, we should fix them; if false, we shouldn't, because the fix
will generally impact performance, and instead we should send a report
to valgrind.
Neil
_______________________________________________
Bug-guile mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-guile
