|
From: Florian K. <br...@ac...> - 2011-07-20 16:36:39
Attachments:
r11899-static-analysis
|
Greetings. Attached are the results from a new run of IBM's BEAM checker. Quite a few fixes went in and we're now down to two complaints: coregrind 0 -9 cachegrind 1 memcheck 1 I looked at the memcheck complaint and believe it is not valid. After staring at function alloc_client_block for a while I convinced myself that cgb_used > 0 implies cgbs != NULL and that that is an invariant. If I'm right, then it's a false positive. I'm including it nevertheless to give Nick a chance to prove me wrong. Cheers, Florian |