array_set: do not fail upon an invalid (void) pointer#8202

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/array_settautschnig/cbmc:bugfixes/array_setCopy head branch name to clipboard