------- 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

Reply via email to