procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c/79199 (ICE with -Wduplicated-branches)

Browse source 
PR c/79199
	* fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
	for the third operand.

	* c-c++-common/Wduplicated-branches-13.c: New test.

From-SVN: r244928
This commit is contained in:
Marek Polacek 2017-01-26 11:37:33 +00:00 • committed by Marek Polacek
parent 237499040f
commit 0a38b341a8
4 changed files with 35 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2017-01-26 Marek Polacek <polacek@redhat.com>
PR c/79199
* fold-const.c (operand_equal_p) [COND_EXPR]: Use OP_SAME_WITH_NULL
for the third operand.
2017-01-26 Jakub Jelinek <jakub@redhat.com>
PR middle-end/79236

2
gcc/fold-const.c
View file

@ -3147,7 +3147,7 @@ operand_equal_p (const_tree arg0, const_tree arg1, unsigned int flags)
TREE_OPERAND (arg1, 0), flags));
case COND_EXPR:
if (! OP_SAME (1) || ! OP_SAME (2))
if (! OP_SAME (1) || ! OP_SAME_WITH_NULL (2))
return 0;
flags &= ~OEP_ADDRESS_OF;
return OP_SAME (0);

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2017-01-26 Marek Polacek <polacek@redhat.com>
PR c/79199
* c-c++-common/Wduplicated-branches-13.c: New test.
2017-01-26 David Sherwood <david.sherwood@arm.com>
PR middle-end/79212

23
gcc/testsuite/c-c++-common/Wduplicated-branches-13.c Normal file
View file

@ -0,0 +1,23 @@
/* PR c/79199 */
/* { dg-do compile } */
/* { dg-options "-Wduplicated-branches" } */
unsigned int a, b, c, d, e;
void
fn1 (void)
{
if (0) /* { dg-warning "this condition has identical branches" } */
{
if (d > 4294967293)
(void) 5;
c = d;
b = e | a;
}
else
{
if (d > 4294967293)
(void) 5;
c = d;
b = e | a;
}
}