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

re PR tree-optimization/20100 (LIM is pulling out a pure function even though there is something which can modify global memory)

Browse Source 
PR tree-optimization/20100
	* gcc.c-torture/execute/pr20100-1.c: New test.

From-SVN: r95474
This commit is contained in:
Hans-Peter Nilsson 2005-02-23 22:20:48 +00:00 committed by Hans-Peter Nilsson
parent 79e4e6a60b
commit c5625c0c5d
2 changed files with 81 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2005-02-23 Hans-Peter Nilsson <hp@axis.com>
PR tree-optimization/20100
* gcc.c-torture/execute/pr20100-1.c: New test.
2005-02-23 Tobias Schl"uter <tobias.schlueter@physik.uni-muenchen.de>
* gfortran.dg/implicit_3.f90: New test.

76
gcc/testsuite/gcc.c-torture/execute/pr20100-1.c Normal file
View File

@ -0,0 +1,76 @@
/* PR tree-optimization/20100
Pure function being treated as const.
Author: Hans-Peter Nilsson. */
static unsigned short g = 0;
static unsigned short p = 0;
unsigned char e;
static unsigned short
next_g (void)
{
return g == e - 1 ? 0 : g + 1;
}
static unsigned short
curr_p (void)
{
return p;
}
static unsigned short
inc_g (void)
{
return g = next_g ();
}
static unsigned short
curr_g (void)
{
return g;
}
static char
ring_empty (void)
{
if (curr_p () == curr_g ())
return 1;
else
return 0;
}
char
frob (unsigned short a, unsigned short b)
{
g = a;
p = b;
inc_g ();
return ring_empty ();
}
unsigned short
get_n (void)
{
unsigned short n = 0;
unsigned short org_g;
org_g = curr_g ();
while (!ring_empty () && n < 5)
{
inc_g ();
n++;
}
return n;
}
void abort (void);
void exit (int);
int main (void)
{
e = 3;
if (frob (0, 2) != 0 || g != 1 || p != 2 || e != 3
|| get_n () != 1
|| g != 2 || p != 2)
abort ();
exit (0);
}