Bug 34050

gcc produces with -O2 incorrect code, culprit *appears* to be the global
common subexpression elimination. Correct code is produced with -O2
-fno-gcse
Bug is also present in gcc-2.96-80 .

Credits: - Francois Jacques for founding the bug
	 - Ulrich Weigand for the test case


Test case:

void clobber(int *);
void compare(int, int);
void use(int);

int global;

void test(int trigger, int param)
{
    int data = trigger? global : 0;
    int orig_param = param;
    
    clobber(&param);
    compare(orig_param, param);

    use(data);
}

void clobber(int *param)
{
    (*param)++;
}

void compare(int orig_param, int param)
{
    if (orig_param != param)
        printf( "PASS\n" );
    else
        printf( "FAIL\n" );
}

void use(int data)
{
}

int main(void)
{
    test(0, 0);
}