remove goto_programt::instructiont::function member [blocks: #3113]#3126

Merged

tautschnig merged 3 commits intodevelopfrom

goto-instruction-function

Feb 4, 2019

Commits on Feb 4, 2019

Remove validation of instructiont::function as it is going away
tautschnig
committed
remove goto_programt::instructiont::function member

Daniel Kroening
authored and
tautschnig
committed
goto_inline: replace source location if adjust_function is set
tautschnig
committed