SV-COMP 2018: Rebase of Tautschnig's branch/PR `sv-comp-2017` on `cbmc/develop`#1532

Closed

marek-trtik wants to merge 10 commits intodiffblue:developfrom

marek-trtik:rebase_sv-comp-2017_on_develop

Commits on Nov 9, 2017

Generalize ID_malloc to ID_allocate with optional zero-init

tautschnig
authored and
marek-trtik
committed
Abort on byte_update(pointer)

tautschnig
authored and
marek-trtik
committed
Ensure that local declarations do not introduce spurious dead warnings

tautschnig
authored and
marek-trtik
committed
Do not unnecessarily sort guard conjuncts

tautschnig
authored and
marek-trtik
committed
invalid_object(pointer) is true for all non-existent objects

tautschnig
authored and
marek-trtik
committed
fixup! invalid_object(pointer) is true for all non-existent objects

tautschnig
authored and
marek-trtik
committed
Fixing compile issues after rebase of PR 363.
marek-trtik
committed
Fixing regression test.
marek-trtik
committed
Fixing CPPLINTer/cnang-formater issues.
marek-trtik
committed
Updates requested in the peer review.
marek-trtik
committed