[Bug sanitizer/61591] Undefined behavior sanitizer does not catch builtin_unreachable's from impossible devirtualization

[jamborm at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591

Martin Jambor <jamborm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |mpolacek at gcc dot gnu.org

--- Comment #2 from Martin Jambor <jamborm at gcc dot gnu.org> ---
I'd like to bring this to attention of UBSAN people one more time.  I
think that since 5.0 is much more aggressive turning virtual calls
which cannot happen because of type hierarchy into
__builtin_unreachable, being able to have the calls reported at
run time with UBSAN would be highly desirable.