This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/61591] Undefined behavior sanitizer does not catch builtin_unreachable's from impossible devirtualization
- From: "jamborm at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Mon, 08 Dec 2014 12:30:58 +0000
- Subject: [Bug sanitizer/61591] Undefined behavior sanitizer does not catch builtin_unreachable's from impossible devirtualization
- Auto-submitted: auto-generated
- References: <bug-61591-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591
Martin Jambor <jamborm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|mpolacek at gcc dot gnu.org |jamborm at gcc dot gnu.org
--- Comment #9 from Martin Jambor <jamborm at gcc dot gnu.org> ---
(In reply to Marek Polacek from comment #6)
>
> So - is the __builtin_unreachable with an argument expected?
I'd say that no, it is not and we should verify that somewhere.
I'll take over and will try to make sure that IPA does not create
__builtin_unreachable calls with arguments (and perhaps Honza might
help me with code in ipa-devirt?).
Anyway, thanks a lot, I would not have expected this problem.