member_exprt now checks type of compound operand#6949

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

member_exprt_checkdiffblue/cbmc:member_exprt_checkCopy head branch name to clipboard