PR# 18012 Void-safe system finalized with inlining can get call on Void target
Problem Report Summary
Environment: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:220.127.116.11) Gecko/2009042715 Firefox/3.0.10 Solaris 10 on x86
Synopsis: Void-safe system finalized with inlining can get call on Void target
A void-safe system that has attributes with bodies can get a call on Void target if it is finalized with inlining. Melted, frozen and finalized-without-inlining code all work correctly. I noted this case in bug #15874, but decided I should add a separate bug and test to highlight this case. Added test final113 for this bug.
Run test final113.