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

recog.c (verify_changes): Verify that changes[i].old is non-zero before applying REG_P.

Browse source 
* recog.c (verify_changes): Verify that changes[i].old is non-zero
        before applying REG_P.

From-SVN: r202107
This commit is contained in:
Joern Rennecke 2013-08-30 14:20:29 +00:00 • committed by Joern Rennecke
parent 8f2ea9a3b7
commit ac7eacd2f3
2 changed files with 9 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gcc/ChangeLog
View file

@ -1,3 +1,8 @@
2013-08-30 Joern Rennecke <joern.rennecke@embecosm.com>
* recog.c (verify_changes): Verify that changes[i].old is non-zero
before applying REG_P.
2013-08-30 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/58277

5
gcc/recog.c
View file

@ -397,7 +397,10 @@ verify_changes (int num)
MEM_ADDR_SPACE (object)))
break;
}
else if (REG_P (changes[i].old)
else if (/* changes[i].old might be zero, e.g. when putting a
REG_FRAME_RELATED_EXPR into a previously empty list. */
changes[i].old
&& REG_P (changes[i].old)
&& asm_noperands (PATTERN (object)) > 0
&& REG_EXPR (changes[i].old) != NULL_TREE
&& DECL_ASSEMBLER_NAME_SET_P (REG_EXPR (changes[i].old))