This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug sanitizer/80349] [6 Regression] UBSAN: compile time crash with "type mismatch in binary expression" message
- From: "babokin at gmail dot com" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 21 Apr 2017 19:35:44 +0000
- Subject: [Bug sanitizer/80349] [6 Regression] UBSAN: compile time crash with "type mismatch in binary expression" message
- Auto-submitted: auto-generated
- References: <bug-80349-4@http.gcc.gnu.org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80349
--- Comment #7 from Dmitry Babokin <babokin at gmail dot com> ---
One more. GCC r247062.
> cat f.cpp
unsigned long int ll;
int foo() {
return (2036854775807 >> ll & char(207648476159223) | 502810590243120797UL)
<< 0;
}
> g++ -fsanitize=undefined -O0 -c f.cpp
f.cpp: In function ‘int foo()’:
f.cpp:2:5: error: type mismatch in binary expression
int foo() {
^~~
long unsigned int
long int
long unsigned int
D.2746 = _2 | 502810590243120797;
f.cpp:2:5: internal compiler error: verify_gimple failed