C++ front-end: Type check Apple block pointers#2348

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-block-pointertautschnig/cbmc:c++-block-pointerCopy head branch name to clipboard