[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Weddington, Eric
Subject: RE: [avr-gcc-list] Avr-gcc Produces Incorrect Code with -Os
Date: Fri, 16 May 2008 15:08:20 -0600


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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]