C++: use struct tag instead of symbol_type#3060

Merged

kroening merged 4 commits intodevelopfrom

Oct 5, 2018

Commits on Oct 5, 2018

further support for tag types
Daniel Kroening
committed
cpp_typecheckt::typecheck_member_function now takes compound symbol as argument
Daniel Kroening
committed
typing of cpp_typecheckt::add_this_to_method_type
Daniel Kroening
committed
c++: use struct_tag instead of symbol_type
Daniel Kroening
committed