embedded.com
Solid Sands: verification of optimization correctness with SuperTest - Embedded.com
If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered