> -----Original Message-----
> From: 
> avr-gcc-list-bounces+eweddington=cso.atmel....@nongnu.org 
> [mailto:avr-gcc-list-bounces+eweddington=cso.atmel....@nongnu.
> org] On Behalf Of Andy Warner
> Sent: Thursday, February 12, 2009 7:23 AM
> To: avr-gcc-list@nongnu.org
> Subject: More volatile musings [was: Re: [avr-gcc-list] 
> memcpy() : problem when passing destination pointer]
> 
> Here is a paper on the volatile performance/conformance of
> various compilers (mostly gcc-based.) Including avr-gcc:
> 
> http://www.cs.utah.edu/~regehr/papers/emsoft08-preprint.pdf
> 
> While most of the problems referred to in this thread (and all the
> problems in Vincent's original posting) were programmer-induced,
> the paper does talk about how the compilers can error, how to detect
> it and possible workarounds.

FYI, Dr. John Regehr, and Eric Eide were kind enough to let me review a 
pre-print of that paper some months ago. I agree that it is a very interesting 
paper, and I'm very interested in incorporating their testing system too. Yes, 
there is certainly enough work to do.


_______________________________________________
AVR-GCC-list mailing list
AVR-GCC-list@nongnu.org
http://lists.nongnu.org/mailman/listinfo/avr-gcc-list

Reply via email to