--- Additional Comments From pinskia at gcc dot gnu dot org 2005-02-20
15:50 ---
And here is a reduced (and self contained) testcase for that case:
int func_pure (void) __attribute__ ((pure));
void func_other (int);
int global_int;
void abort ();
void func_other(int a)
{
if (a != globa
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-02-20
15:44 ---
This looks like PR 19828's comment 1 testcase which by the way still fails.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20100
--- Additional Comments From pinskia at gcc dot gnu dot org 2005-02-20
15:41 ---
Actually this is tree aliasing issue. LIM is still doing its job as it does not
know that inc_g can change
memory and that ring_empty accesses it.
This was like my testcase in PR 19828.
--
Wh
--- Additional Comments From hp at gcc dot gnu dot org 2005-02-20 03:32
---
Observed at -O2.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20100
--- Additional Comments From hp at gcc dot gnu dot org 2005-02-20 03:16
---
Correction to the description:
s/there's a call to get_n/in function get_n, there's loop calling function
ring_empty/.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20100
--- Additional Comments From hp at gcc dot gnu dot org 2005-02-20 03:10
---
Created an attachment (id=8237)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=8237&action=view)
Test-case
The " && n < 5" condition is there only to make the test terminate, as the bug
would otherwise caus
