http://embeddedgurus.com/barr-code/2007/12/compiler-quality-and-cs-volatile-keyword/ A Blog by Michael Barr Thu, 17 Jun 2010 17:17:15 +0000 http://wordpress.org/?v=2.9.1 hourly 1 http://embeddedgurus.com/barr-code/2007/12/compiler-quality-and-cs-volatile-keyword/comment-page-1/#comment-20 Anonymous Thu, 07 Jan 2010 19:25:56 +0000 http://www.gfcdev.org/test-stack/2007/12/06/compiler-quality-and-cs-volatile-keyword/#comment-20 Some years ago in developing a rather large diagnostics module, a colleague spent a great deal of time getting his code to work and was quite proud when all of his normal testing passed. Then, when the test organization tried various failure test cases, the module could not handle any case. Turns out, he failed to use "volatile" anywhere on the memory-based device registers, and the GCC C compiler optimized out entire procedures and large code sequences. A significant and frustrated rework was required. (Code review? What's that?) Some years ago in developing a rather large diagnostics module, a colleague spent a great deal of time getting his code to work and was quite proud when all of his normal testing passed. Then, when the test organization tried various failure test cases, the module could not handle any case. Turns out, he failed to use "volatile" anywhere on the memory-based device registers, and the GCC C compiler optimized out entire procedures and large code sequences. A significant and frustrated rework was required. (Code review? What's that?)

]]> http://embeddedgurus.com/barr-code/2007/12/compiler-quality-and-cs-volatile-keyword/comment-page-1/#comment-19 kalpak dabir Sun, 18 Oct 2009 05:15:57 +0000 http://www.gfcdev.org/test-stack/2007/12/06/compiler-quality-and-cs-volatile-keyword/#comment-19 Price is not a reliable benchmark. Found such a bug in a high end automotive grade compiler for NEC chip. Required diving into assembly to confirm bug and create work around in C.kalpak dabir Price is not a reliable benchmark. Found such a bug in a high end automotive grade compiler for NEC chip. Required diving into assembly to confirm bug and create work around in C.kalpak dabir

]]> http://embeddedgurus.com/barr-code/2007/12/compiler-quality-and-cs-volatile-keyword/comment-page-1/#comment-18 Anonymous Fri, 18 Apr 2008 16:34:00 +0000 http://www.gfcdev.org/test-stack/2007/12/06/compiler-quality-and-cs-volatile-keyword/#comment-18 Michael-The situation regarding compilation of volatile accesses is worse than you indicate here, and paying money for a compiler is no guarantee. If you get a minute check out <a HREF="http://www.cs.utah.edu/~regehr/papers/emsoft08_submit.pdf" rel="nofollow">some work that we recently wrote up</a> on this subject.John Regehr Michael-The situation regarding compilation of volatile accesses is worse than you indicate here, and paying money for a compiler is no guarantee. If you get a minute check out some work that we recently wrote up on this subject.John Regehr

]]>