------- Comment #1 from burnus at gcc dot gnu dot org 2008-09-06 18:15 ------- The problem seems to be that "impure_stmt_fcn" for "st3" never checks "v". If I add some printfs, I see that "impure_stmt_fcn" is called twice with sym->name == "st3"; once with e->symtree->n.sym = st3 and once with e->symtree->n.sym = x.
One could really walk through the expressions of the statement function; another possibility is to mark the statement function as pure/not-pure when resolving the statement function - and later one can then check in "impure_stmt_fcn" whether the statement function is pure or not. -- burnus at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Keywords| |accepts-invalid Last reconfirmed|0000-00-00 00:00:00 |2008-09-06 18:15:11 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37398