[TG-2356] skip basic block instrumentation from virtual call removal#1812

Closed

mgudemann wants to merge 5 commits intodiffblue:developfrom

mgudemann:feature/skip_basic_blocks_from_virtual_call_removal

Commits on Feb 13, 2018

Add ID_C_java_removed_virtual_call to irep defs
Matthias Güdemann
committed
Add possibility to mark instructions to `source_locationt``
Matthias Güdemann
committed
Mark instructions in `remove_virtual_functions`
Matthias Güdemann
committed
Skip instructions from virtual call removal from instrumentation
Matthias Güdemann
committed
Add unit test for non-instrumentation of Java virtual calls
Matthias Güdemann
committed