C++ front-end: support pointer to non-method members#2336

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:c++-pointer-to-membertautschnig/cbmc:c++-pointer-to-memberCopy head branch name to clipboard