mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-26 16:51:01 +08:00
Code Issues Packages Projects Releases Wiki Activity

tree.c (variably_modified_type_p): VM arguments don't make the type a VM type.

Browse Source 
* tree.c (variably_modified_type_p): VM arguments don't make the
	type a VM type.

testsuite:
	* gcc.dg/vla-8.c: Add.

From-SVN: r114787
This commit is contained in:
Mike Stump 2006-06-19 21:13:13 +00:00
parent 73617bce35
commit ca84a9a2e3
4 changed files with 21 additions and 10 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-06-19 Mike Stump <mrs@apple.com>
* tree.c (variably_modified_type_p): VM arguments don't make the
type a VM type.
2006-06-19 Richard Guenther <rguenther@suse.de>
* tree-ssa-pre.c (try_combine_conversion): Strip useless

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2006-06-19 Joseph S. Myers <joseph@codesourcery.com>
* gcc.dg/vla-8.c: Add.
2006-06-19 Richard Guenther <rguenther@suse.de>
PR tree-optimization/27090

6
gcc/testsuite/gcc.dg/vla-8.c Normal file
View File

@ -0,0 +1,6 @@
/* { dg-do compile } */
/* { dg-options "-std=c99 -pedantic-errors" } */
/* Radar 4336222 */
int a;
struct s { void (*f)(int (*)[a]); };

16
gcc/tree.c
View File

@ -5602,8 +5602,10 @@ find_var_from_fn (tree *tp, int *walk_subtrees, void *data)
}
/* Returns true if T is, contains, or refers to a type with variable
size. If FN is nonzero, only return true if a modifier of the type
or position of FN is a variable or parameter inside FN.
size. For METHOD_TYPEs and FUNCTION_TYPEs we exclude the
arguments, but not the return type. If FN is nonzero, only return
true if a modifier of the type or position of FN is a variable or
parameter inside FN.
This concept is more general than that of C99 'variably modified types':
in C99, a struct type is never variably modified because a VLA may not
@ -5644,16 +5646,10 @@ variably_modified_type_p (tree type, tree fn)
case FUNCTION_TYPE:
case METHOD_TYPE:
/* If TYPE is a function type, it is variably modified if any of the
parameters or the return type are variably modified. */
/* If TYPE is a function type, it is variably modified if the
return type is variably modified. */
if (variably_modified_type_p (TREE_TYPE (type), fn))
return true;
for (t = TYPE_ARG_TYPES (type);
t && t != void_list_node;
t = TREE_CHAIN (t))
if (variably_modified_type_p (TREE_VALUE (t), fn))
return true;
break;
case INTEGER_TYPE: