MatCat.OpenSource/8sa1-gcc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR tree-optimization/61112 - repeated conditional triggers false positive -Wmaybe-uninitialized

Browse Source 
gcc/testsuite/ChangeLog:
	PR tree-optimization/61112
	* gcc.dg/uninit-pr61112.c: New test.
This commit is contained in:
Martin Sebor 2021-03-29 13:52:53 -06:00
parent 7b6ca93b2d
commit 77093a75ca
1 changed files with 89 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

89
gcc/testsuite/gcc.dg/uninit-pr61112.c Normal file
View File

@ -0,0 +1,89 @@
/* PR tree-optimization/61112 - repeated conditional triggers false-positive
-Wmaybe-uninitialized warning
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
int p;
void foo_c0 (int x, int y, int z)
{
int w;
if (x)
w = z;
if (y)
w = __LINE__;
if (x || y)
p = w; // { dg-bogus "-Wmaybe-uninitialized" }
}
void foo_c5_1_1 (int x, int y, int z, int a)
{
int w;
if (x)
w = z;
if (y)
w = __LINE__;
if (a)
w = __LINE__;
if (x || y || a)
p = w; // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
}
void foo_c5_1_2 (int x, int y, int z, int a)
{
int w;
if (x)
w = z;
if (y)
w = __LINE__;
if (a)
w = __LINE__;
if (x || a || y)
p = w; // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
}
void foo_c5_1_3 (int x, int y, int z, int a)
{
int w;
if (x)
w = z;
if (y)
w = __LINE__;
if (a)
w = __LINE__;
if (a || x || y)
p = w; // { dg-bogus "-Wmaybe-uninitialized" "pr61112" { xfail *-*-* } }
}
void foo_c5_2 (int x, int y, int z, int a)
{
int w;
if (x)
w = __LINE__;
if (y)
w = z;
if (a)
w = __LINE__;
if (x || y || a)
p = w; // { dg-bogus "-Wmaybe-uninitialized" }
}
void foo_c5_3 (int x, int y, int z, int a)
{
int w;
if (x)
w = __LINE__;
if (y)
w = __LINE__;
if (a)
w = z;
if (x || y || a)
p = w; // { dg-bogus "-Wmaybe-uninitialized" }
}