RE: More volatile musings [was: Re: [avr-gcc-list] memcpy() : problem when passing destination pointer]

[Weddington, Eric]

> -----Original Message-----
> From: 
> address@hidden 
> [mailto:address@hidden
> org] On Behalf Of Andy Warner
> Sent: Thursday, February 12, 2009 7:23 AM
> To: address@hidden
> 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.