Messages in this thread | | | From | dewar@gnat ... | Subject | RE: [PATCH] C undefined behavior fix | Date | Mon, 7 Jan 2002 18:15:15 -0500 (EST) |
| |
<<In the above case it is unlikely that folding would present a problem, but volatile was created because hardware, or even seemingly unrelated software, can modify even the most unlikely memory locations. If you want to break device drivers, go ahead and optimize your compiler. =20 >>
No, I think that is the wrong domain of discourse here. We are not talking about compilers being friendly, but rather correct. Most cetainly volatile in Ada would not permit this optimzation (i.e. it would not be an optimization it would be a miscompilation), and I certainly thought that in this respect C was identical to Ada in semantics of volatile. - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |