mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-10 13:31:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c++/70285 (ICE on valid code on x86_64-linux-gnu: verify_gimple failed)

Browse Source 
PR c++/70285
	* cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields.

From-SVN: r234384
This commit is contained in:
Jason Merrill 2016-03-21 17:13:06 -04:00 committed by Jason Merrill
parent 11b6a02e91
commit 683b810150
3 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/cp/ChangeLog
View File

@ -1,3 +1,8 @@
2016-03-21 Jason Merrill <jason@redhat.com>
PR c++/70285
* cp-gimplify.c (cp_fold) [COND_EXPR]: Handle bit-fields.
2016-03-18 Jason Merrill <jason@redhat.com>
PR c++/70139

6
gcc/cp/cp-gimplify.c
View File

@ -2130,6 +2130,12 @@ cp_fold (tree x)
else
x = fold (x);
/* A COND_EXPR might have incompatible types in branches if one or both
arms are bitfields. If folding exposed such a branch, fix it up. */
if (TREE_CODE (x) != code)
if (tree type = is_bitfield_expr_with_lowered_type (x))
x = fold_convert (type, x);
break;
case CALL_EXPR:

15
gcc/testsuite/g++.dg/other/bitfield5.C Normal file
View File

@ -0,0 +1,15 @@
// PR c++/70285
int a;
struct S
{
int i:8;
} b;
int
fn1 (bool x)
{
(&fn1 ? b.i : a) = 42;
return (&fn1 ? b.i : a);
}