Bug - Dead code is incorrectly attributed to a function

Description

Analysis of functions includes unreachable code (assuming fairly normal programming practices), which leads to false positives in, including but not limited to, recursion analysis.

Priority

Medium - this bug has been abused already to gain an illegitimate script approval, but this does not cause false negatives

Definition of done

• function boundaries end at a ret