RE: [avr-gcc-list] Avr-gcc Produces Incorrect Code with -Os

[Weddington, Eric]

> -----Original Message-----
> From: 
> address@hidden 
> [mailto:address@hidden
> org] On Behalf Of John Regehr
> Sent: Friday, May 16, 2008 2:17 PM
> To: address@hidden
> Subject: Re: [avr-gcc-list] Avr-gcc Produces Incorrect Code with -Os
> 
> Finally I'll just add a random plug for a piece of work that 
> a colleague 
> and I recently completed where we found that most compilers 
> have problems 
> implementing the volatile qualifier:
> 
>    http://www.cs.utah.edu/~regehr/papers/emsoft08_submit.pdf
> 
> This is indeed bad news since (as we have seen so many times 
> on this list) 
> programmers have trouble with volatile too.
> 
> Section 2 of our paper gives a fairly concise introduction to the 
> semantics of volatile.
> 

FYI for everyone: John was kind enough to let me see his paper above
early and I thought that it's a very interesting read. It's nice that
he's included AVR GCC as part of his analysis.

Eric