C front-end: typecheck conditional operator over string literal and 0#7946

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/null-ptrtautschnig/cbmc:bugfixes/null-ptrCopy head branch name to clipboard