https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
--- Comment #6 from Jakub Jelinek ---
The problem is that to avoid the segfault, you'd need to significantly slow
down the library code (pretty much, instead of
if (Prefix->Offset > 0 || !Prefix->TypeInfo)
// This can't possibly be a valid
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
--- Comment #5 from Markus Trippelsdorf ---
(anonymous namespace)::getVtablePrefix (Object=0x401460 ) at
../../../../gcc/libsanitizer/ubsan/ubsan_type_hash.cc:200
200 if (Prefix->Offset > 0 || !Prefix->TypeInfo)
(gdb) bt
#0 (anonymous name
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
--- Comment #4 from Roger Orr ---
Ah - apologies -- I'd got the example by stripping down a call in boost::format
and didn't do a full enough check that the code was well formed: I'll report
that UB to boost.
However as Markus says the seg fault
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
Markus Trippelsdorf changed:
What|Removed |Added
Status|RESOLVED|REOPENED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
--- Comment #2 from Jonathan Wakely ---
A message about a vptr is a bit mis-leading for non-virtual call, so maybe that
could be improved, but in essence 'this' is not well-defined at that point.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67515
Jonathan Wakely changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---