[Bug middle-end/24635] Wrong statement reordering

[worm at arrakis dot es]

--- Comment #3 from worm at arrakis dot es  2005-11-04 12:13 ---
Created an attachment (id=10143)
 -- (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10143action=view)
This one triggers the bug

The new file definitely triggers the problem with statement reordering if
compiled with (-O2), but after a second read of the standard, I am not sure
whether arguments of a function are implicitely declared volatile or not.


-- 


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

--- Comment #4 from pinskia at gcc dot gnu dot org  2005-11-04 13:25 ---
I still cannot reproduce it.


-- 


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

[Bug middle-end/24635] Wrong statement reordering

[worm at arrakis dot es]

--- Comment #5 from worm at arrakis dot es  2005-11-04 13:35 ---
Sorry for my stupidity -- the jet-lag after a long trip
seems to affect me --.
Remove the volatile statement from the arguments list
of L1foo.
Then the assignments to the variable V1 are moved after
the call to cl_throw() and are never executed. I am not
sure whether this conforms to the standard or not.


-- 


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

--- Comment #6 from pinskia at gcc dot gnu dot org  2005-11-04 14:05 ---
Removing volatile will change the semantics of the program and therefor not a
bug.  GCC docs mention with (I cannot find right now as I am at a Kiosk and it
is hard to find anything) longjmp, volatile is required.


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|WAITING |RESOLVED
 Resolution||FIXED


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

--- Comment #7 from pinskia at gcc dot gnu dot org  2005-11-04 15:24 ---
Woops, that should have been ...


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

   Last reconfirmed|-00-00 00:00:00 |2005-11-04 15:24:49
   date||


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

--- Comment #8 from pinskia at gcc dot gnu dot org  2005-11-04 15:24 ---
Woops, that should have been ...


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|RESOLVED|UNCONFIRMED
 Resolution|FIXED   |


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

--- Comment #9 from pinskia at gcc dot gnu dot org  2005-11-04 15:25 ---
Closed as invalid.


-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|UNCONFIRMED |RESOLVED
 Resolution||INVALID


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

[Bug middle-end/24635] Wrong statement reordering

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

   What|Removed |Added

 CC||pinskia at gcc dot gnu dot
   ||org
 Status|UNCONFIRMED |WAITING
  Component|c   |middle-end


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