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

PR c/100550 - ICE: in fold_convert_loc with function call VLA argument

Browse source 
gcc/c/ChangeLog:

	PR c/100550
	* c-decl.c (get_parm_array_spec): Avoid erroneous VLA bounds.

gcc/testsuite/ChangeLog:

	PR c/100550
	* gcc.dg/Wvla-parameter-9.c: New test.
This commit is contained in:
Martin Sebor 2021-05-13 10:38:09 -06:00
parent d80aeff0bf
commit 957c437363
2 changed files with 33 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
gcc/c/c-decl.c
View file

@ -5856,6 +5856,9 @@ get_parm_array_spec (const struct c_parm *parm, tree attrs)
spec += buf;
break;
}
else if (!INTEGRAL_TYPE_P (TREE_TYPE (nelts)))
/* Avoid invalid NELTS. */
return attrs;
/* Each variable VLA bound is represented by a dollar sign. */
spec += "$";

30
gcc/testsuite/gcc.dg/Wvla-parameter-9.c Normal file
View file

@ -0,0 +1,30 @@
/* PR c/100550 - ICE: in fold_convert_loc with function call VLA argument
{ dg-do compile }
{ dg-options "-Wall" } */
struct S { int i; };
extern void v;
extern void *pv;
extern struct S s;
void vf (void);
/* Verify that a function redeclaration with an invalid VLA doesn't ICE. */
void f0 (int[]);
void f0 (int[undeclared]); // { dg-error "undeclared" }
void f1 (int[]);
void f1 (int[-1]); // { dg-error "size" }
void f2 (int[]);
void f2 (int[v]); // { dg-error "size" }
void f3 (int[]);
void f3 (int b[s]); // { dg-error "size" }
void f4 (int[]);
void f4 (int c[pv]); // { dg-error "size" }
void f5 (int[]);
void f5 (int d[vf ()]); // { dg-error "size" }