------- Comment #1 from rguenth at gcc dot gnu dot org  2006-04-21 12:50 -------
>From ipa-pure-const we get

Function found to be pure: foo_read
Function found to be pure: foo

which is of course bogus for volatile pointer arguments.  It's a regression,
because ipa-pure-const is new.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c                           |tree-optimization
     Ever Confirmed|0                           |1
           Keywords|                            |wrong-code
      Known to fail|                            |4.1.0 4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2006-04-21 12:50:39
               date|                            |
            Summary|a call for function with    |[4.1/4.2 Regression] ipa-
                   |side-effects discarded by   |pure-const says functions
                   |optimization                |which read from volatile mem
                   |                            |are pure


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=27236

Reply via email to