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

Merged

kroening merged 1 commit intodiffblue:developfrom

tautschnig:c++-pointer-to-member

Jun 11, 2018

Commits on Jun 11, 2018

C++ front-end: support pointer to non-method members
tautschnig
committed