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

2015-02-24 Thread 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 Status|ASSIGNED|RESOLVED

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

2014-12-16 Thread jamborm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #10 from Martin Jambor jamborm at gcc dot gnu.org --- Honza, given what you wrote in https://gcc.gnu.org/ml/gcc-patches/2014-12/msg01033.html do you want to take over this bug?

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

2014-12-08 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #6 from Marek Polacek mpolacek at gcc dot gnu.org --- It appears that devirt changes _4 = this_1(D)-D.2680; OBJ_TYPE_REF(_3;(struct top)_4-0) (_4); into _4 = this_1(D)-D.2680; __builtin_unreachable (_4); but __builtin_unreachable

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

2014-12-08 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #7 from Marek Polacek mpolacek at gcc dot gnu.org --- And if it is: diff --git a/gcc/sanopt.c b/gcc/sanopt.c index ce9fbcf..77b88f7 100644 --- a/gcc/sanopt.c +++ b/gcc/sanopt.c @@ -646,20 +646,21 @@ pass_sanopt::execute (function

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

2014-12-08 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #8 from Jakub Jelinek jakub at gcc dot gnu.org --- I think it is a gimple-fold/ipa-devirt etc. bug. __builtin_unreachable doesn't have any arguments, so pretending it has is broken and also a missed optimization, in the IL we think

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

2014-12-08 Thread 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 Assignee|mpolacek at gcc dot gnu.org|jamborm

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

2014-12-04 Thread jamborm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #4 from Martin Jambor jamborm at gcc dot gnu.org --- (In reply to Marek Polacek from comment #3) Recently I rewrote the implementation of -fsanitize=unreachable and now I get an Illegal instruction on the testcase attached. So is

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

2014-12-04 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 Marek Polacek mpolacek at gcc dot gnu.org changed: What|Removed |Added Status|NEW |ASSIGNED

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

2014-12-03 Thread 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

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

2014-12-03 Thread mpolacek at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 --- Comment #3 from Marek Polacek mpolacek at gcc dot gnu.org --- Recently I rewrote the implementation of -fsanitize=unreachable and now I get an Illegal instruction on the testcase attached. So is there anything else to do?

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

2014-09-25 Thread hubicka at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61591 Jan Hubicka hubicka at gcc dot gnu.org changed: What|Removed |Added Status|UNCONFIRMED |NEW Last