[Valgrind-developers] BEAM results for 12206

[Florian K. <br...@ac...>]

Greetings.

Attached are the results from a new run of IBM's BEAM checker.

There are two complaints. One is an out-of-bounds access in s390x
specific code. I've already fixed that in r12232.

The other complaint is in callgrind. It's happens along a complex path.
I looked at it a bit and the interesting path segment begins on line 816
in bbcc.c.  The condition there is taken as evidence that
CLG_(current_state).bbcc could be NULL. And passing that to
CLG_(push_call_stack) is a problem because that function will
unconditionally dereference its first argument.

   Florian