> -----Original Message----- > From: > [EMAIL PROTECTED] > [mailto:[EMAIL PROTECTED] > org] On Behalf Of John Regehr > Sent: Friday, May 16, 2008 2:17 PM > To: [email protected] > 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 _______________________________________________ AVR-GCC-list mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/avr-gcc-list
