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

[PR 88214] Check that an argument is a pointer

Browse source 
2018-12-10  Martin Jambor  <mjambor@suse.cz>

	PR ipa/88214
	* ipa-prop.c (determine_locally_known_aggregate_parts): Make sure
	we check pointers against pointers.

	testsuite/
	* gcc.dg/ipa/pr88214.c: New test.

From-SVN: r266953
This commit is contained in:
Martin Jambor 2018-12-10 13:45:47 +01:00 • committed by Martin Jambor
parent f473762515
commit 63831879cf
4 changed files with 23 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 @@
2018-12-10 Martin Jambor <mjambor@suse.cz>
PR ipa/88214
* ipa-prop.c (determine_locally_known_aggregate_parts): Make sure
we check pointers against pointers.
2018-12-10 Richard Biener <rguenther@suse.de>
PR middle-end/88415

3
gcc/ipa-prop.c
View file

@ -1569,7 +1569,8 @@ determine_locally_known_aggregate_parts (gcall *call, tree arg,
if (TREE_CODE (arg) == SSA_NAME)
{
tree type_size;
if (!tree_fits_uhwi_p (TYPE_SIZE (TREE_TYPE (arg_type))))
if (!tree_fits_uhwi_p (TYPE_SIZE (TREE_TYPE (arg_type)))
|| !POINTER_TYPE_P (TREE_TYPE (arg)))
return;
check_ref = true;
arg_base = arg;

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2018-12-10 Martin Jambor <mjambor@suse.cz>
PR ipa/88214
* gcc.dg/ipa/pr88214.c: New test.
2018-12-10 Jakub Jelinek <jakub@redhat.com>
PR testsuite/88369

10
gcc/testsuite/gcc.dg/ipa/pr88214.c Normal file
View file

@ -0,0 +1,10 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
void i();
short a;
void b(e) char * e;
{
i();
b(a);
}