[TG-1523] fix removed required virtual calls#1666

Merged

mgudemann merged 3 commits intodiffblue:developfrom

mgudemann:bugfix/removed_required_virtual_calls

Jan 4, 2018

Commits on Jan 3, 2018

Mark GOTO instructions with unresolved virtual calls
Matthias Güdemann
committed

Commits on Jan 4, 2018

Resolve concrete function call if no implementation is found
Matthias Güdemann
committed
Add regression test
Matthias Güdemann
committed