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

Check operands before invoking fold_range.

Browse source 
Call check_operands_p before fold_range to make sure it is a valid operation.

	PR tree-optimization/111922
	gcc/
	* ipa-cp.cc (ipa_vr_operation_and_type_effects): Check the
	operands are valid before calling fold_range.

	gcc/testsuite/
	* gcc.dg/pr111922.c: New.
This commit is contained in:
Andrew MacLeod 2023-11-28 13:02:35 -05:00
parent ea19de921b
commit 634cf26c94
2 changed files with 31 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/ipa-cp.cc
View file

@ -1926,7 +1926,8 @@ ipa_vr_operation_and_type_effects (vrange &dst_vr,
Value_Range varying (dst_type);
varying.set_varying (dst_type);
return (handler.fold_range (dst_vr, dst_type, src_vr, varying)
return (handler.operand_check_p (dst_type, src_type, dst_type)
&& handler.fold_range (dst_vr, dst_type, src_vr, varying)
&& !dst_vr.varying_p ()
&& !dst_vr.undefined_p ());
}

29
gcc/testsuite/gcc.dg/pr111922.c Normal file
View file

@ -0,0 +1,29 @@
/* { dg-do compile } */
/* { dg-options "-O2 -fno-tree-fre" } */
void f2 (void);
void f4 (int, int, int);
struct A { int a; };
struct B { struct A *b; int c; } v;
static int
f1 (x, y)
struct C *x;
struct A *y;
{
(v.c = v.b->a) || (v.c = v.b->a);
f2 ();
}
static void
f3 (int x, int y)
{
int b = f1 (0, ~x);
f4 (0, 0, v.c);
}
void
f5 (void)
{
f3 (0, 0);
}