Initialise all POD members of goto_symex_statet#8865

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:asan-fixes/symex_inittautschnig/cbmc:asan-fixes/symex_initCopy head branch name to clipboard