Lucas C. Cordeiro

Many thanks, @fbrausse. We should merge this PR. Let's check the results of the 900s run ;-)

@Anthonysdu: Can I ask you for the status of this PR?

@kunjsong01: @brcfarias will work on this issue. Is that okay for you?

I have assigned this issue to @brcfarias.

Closed via https://github.com/esbmc/esbmc/pull/1045.

We could relax our constraints here. GCC and Clang do not abort or give a warning message because ```The virtual method isn't pure virtual and hasn't a method implementation```. @kunjsong01:...

@brcfarias: can I ask you for the status of this issue?

There is no segmentation fault now for this issue after integrating https://github.com/esbmc/esbmc/pull/1636. @XLiZHI: can I ask you to check this issue? We might be missing the memory OM here.

Many thanks, @XLiZHI. We have a common agreement that we must improve our Clang C++ front end first. Let's focus on the issues that will enhance our Clang C++ frontend.

@fbrausse: can I ask you to please check this issue?