cpp_typecheckt::cpp_constructor now returns optionalt<codet>#2828

Merged

kroening merged 3 commits intodevelopfrom

cpp-constructor-optional

Aug 23, 2018

Commits on Aug 23, 2018

cpp_typecheckt::cpp_constructor now returns optionalt<codet> instead of an expression
Daniel Kroening
committed
rewrite a no-op
Daniel Kroening
committed
cpp_typecheckt::cpp_destructor now returns optionalt<codet> instead of an expression
Daniel Kroening
committed