mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-02-14 10:59:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree.c (variably_modified_type_p): Return true if the element type is variably modified without recursing.

Browse Source 
* tree.c (variably_modified_type_p) <ARRAY_TYPE>: Return true
	if the element type is variably modified without recursing.

From-SVN: r113858
This commit is contained in:
Eric Botcazou 2006-05-17 13:11:09 +00:00 committed by Eric Botcazou
parent 9cb8f1bac5
commit 2e3b8fe7b5
2 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2006-05-17 Eric Botcazou <ebotcazou@adacore.com>
* tree.c (variably_modified_type_p) <ARRAY_TYPE>: Return true
if the element type is variably modified without recursing.
2006-05-17 Sebastian Pop <pop@cri.ensmp.fr>
PR middle-end/27332

10
gcc/tree.c
View File

@ -5635,13 +5635,12 @@ variably_modified_type_p (tree type, tree fn)
When a representation is chosen, this function should be modified
to test for that case as well. */
RETURN_TRUE_IF_VAR (TYPE_SIZE (type));
RETURN_TRUE_IF_VAR (TYPE_SIZE_UNIT(type));
RETURN_TRUE_IF_VAR (TYPE_SIZE_UNIT (type));
switch (TREE_CODE (type))
{
case POINTER_TYPE:
case REFERENCE_TYPE:
case ARRAY_TYPE:
case VECTOR_TYPE:
if (variably_modified_type_p (TREE_TYPE (type), fn))
return true;
@ -5690,6 +5689,13 @@ variably_modified_type_p (tree type, tree fn)
}
break;
case ARRAY_TYPE:
/* Do not call ourselves to avoid infinite recursion. This is
variably modified if the element type is. */
RETURN_TRUE_IF_VAR (TYPE_SIZE (TREE_TYPE (type)));
RETURN_TRUE_IF_VAR (TYPE_SIZE_UNIT (TREE_TYPE (type)));
break;
default:
break;
}