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