[SV-COMP'18 7/19] Ensure that local declarations do not introduce spurious dead warnings#1996

tautschnig wants to merge 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:local-objectstautschnig/cbmc:local-objectsCopy head branch name to clipboard