C++ front-end fixes#8275

tautschnig wants to merge 12 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/cpp-constexprtautschnig/cbmc:bugfixes/cpp-constexprCopy head branch name to clipboard