Improve analyzer with regard to noreturn functions

[eteran]

detect when all exits of a function are calls to functions which don't return, and if so, mark that function as noreturn in itself.

This should slightly improve analysis.

---

Want to back this issue? Post a bounty on it! We accept bounties via Bountysource.