C front-end: do not warn when re-initialising a variable with the same value#8695

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

tautschnig:avoid-linking-warningtautschnig/cbmc:avoid-linking-warningCopy head branch name to clipboard