this is the third issues out of 3 posted together. please read the first and second for more deatils.

third issue: a code area may be used by for several different functions. In the cases that it is not caused by tail calls, the relevant basic blocks will not be included in the function. this is a complex issue to fix and is quite rare, and thefore probably does not need fixing.

example

func1:: nop nop nop jz func2::label2 retn func1_end

func2:: nop nop label2: nop nop func2_end