Expand list of known compiler built-ins#8321

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:update-compiler-headerstautschnig/cbmc:update-compiler-headersCopy head branch name to clipboard