[issue14951] Daikon/KVasir report: Invalid read of size 4

2012-05-29 Thread Damien Cassou
Damien Cassou added the comment: I didn't read the document before. Sorry about that. The document makes it clear that what I report is not an error. This report should be closed. -- status: open -> closed ___ Python tracker

[issue14951] Daikon/KVasir report: Invalid read of size 4

2012-05-29 Thread STINNER Victor
STINNER Victor added the comment: Did you read Misc/README.valgrind? Did you compile Python using "./configure --with-valgrind"? -- ___ Python tracker ___ __

[issue14951] Daikon/KVasir report: Invalid read of size 4

2012-05-29 Thread Damien Cassou
New submission from Damien Cassou : Hi, I've just executed a dynamic program analyzer (kvasir frontend for daikon) on the python runtime with an hello world python input. I got a lot of errors (796 errors from 61 contexts), potentially showing bugs in cpython. The following presents one such