[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-13 Thread babokin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #11 from Dmitry Babokin --- I confirm that the latest patch fixes all UBSAN compile time problems that I have. Thanks! Though correctness issues remain - PR80386.

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #10 from Jakub Jelinek --- Author: jakub Date: Thu Apr 13 19:52:58 2017 New Revision: 246917 URL: https://gcc.gnu.org/viewcvs?rev=246917=gcc=rev Log: PR sanitizer/80403 * fold-const.c (fold_ternary_loc): Revert

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-13 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #9 from Jakub Jelinek --- Created attachment 41195 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41195=edit gcc7-pr80403-2.patch Oops, thinko in the committed patch. COND_EXPR/VEC_COND_EXPR op0's type doesn't have to be the

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread babokin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #8 from Dmitry Babokin --- Three errors in one test case. GCC r246882. > cat f.cpp extern const long long int var_7; extern unsigned long int var_59; int foo() { int a = (0 - 40U <= (0 == 8)) << !var_59 << (0 < var_7) == 0; int

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread babokin at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #7 from Dmitry Babokin --- 80404 and 80405 seemed similar, but different to me, so I decided to report them separately. Anyway, after the latest fixes I still see 2 compile crashes. I'm reducing them and will report here.

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 Jakub Jelinek changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #5 from Jakub Jelinek --- Author: jakub Date: Wed Apr 12 18:08:29 2017 New Revision: 246881 URL: https://gcc.gnu.org/viewcvs?rev=246881=gcc=rev Log: PR sanitizer/80403 PR sanitizer/80404 PR sanitizer/80405

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #4 from Jakub Jelinek --- *** Bug 80405 has been marked as a duplicate of this bug. ***

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #3 from Jakub Jelinek --- *** Bug 80404 has been marked as a duplicate of this bug. ***

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 Jakub Jelinek changed: What|Removed |Added Attachment #41183|0 |1 is obsolete|

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-12 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 --- Comment #1 from Jakub Jelinek --- Created attachment 41183 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=41183=edit gcc7-pr80403.patch Untested fix.

[Bug sanitizer/80403] UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr

2017-04-11 Thread jakub at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80403 Jakub Jelinek changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|