------- Comment #14 from reichelt at gcc dot gnu dot org 2007-08-21 19:56 ------- The pointer_plus_exprt stuff has been fixed.
We are now back to error messages like bug.cc: In member function 'void B::bar()': bug.cc:4: error: could not convert '(((A*)this) + ((unsigned int)(*(int*)( ((B*)this)->B::_vptr.B + 0xfffffffffffffff4u))))->A::foo()' to 'bool' -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22238
