OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR middle-end/100250 - ICE related to -Wmaybe-uninitialized 

gcc/ChangeLog:

	PR middle-end/100250
	* attribs.c (attr_access::array_as_string): Avoid dereferencing
	a pointer when it's null.

gcc/testsuite/ChangeLog:

	PR middle-end/100250
	* gcc.dg/uninit-pr100250.c: New test.
This commit is contained in:
Martin Sebor 2021-04-28 19:11:34 -06:00
parent 2de7c79256
commit 2c8bffa184
2 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/attribs.c
View File

@ -2388,7 +2388,8 @@ attr_access::array_as_string (tree type) const
const char *p = end;
for ( ; p != str && *p-- != ']'; );
if (*p == '$')
index_type = build_index_type (TREE_VALUE (size));
/* SIZE may have been cleared. Use it with care. */
index_type = build_index_type (size ? TREE_VALUE (size) : size);
}
else if (minsize)
index_type = build_index_type (size_int (minsize - 1));

29
gcc/testsuite/gcc.dg/uninit-pr100250.c Normal file
View File

@ -0,0 +1,29 @@
/* PR middle-end/100250 - ICE related to -Wmaybe-uninitialized
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
extern void f (int D, const int[D], const int[D]);
void g (int D, const int a[D], const int b[D], const int c[D], const int d[D])
{
int c2[D];
for (int i = 0; i < D; i++) {
if (a[i] >= D) __builtin_abort ();
if (b[i] != d[a[i]]) __builtin_abort ();
c2[a[i]] = c[i];
}
f (D, d, c2);
}
void h (int D, const int d[D])
{
int a[D];
int b[D];
int c[D];
g (D, a, b, c, d); // { dg-warning "-Wmaybe-uninitialized" }
}