... in a "brand name" compiler for a certain family of DSPs.

I still have the code sequence printed out. With debug symbols included, the compiler generates the right jump address in a loop, with debug symbols disabled, it generates a wrong jump address and a loop that was supposed to run 4 times was only executed once.

Still, compilers do get a lot of scrutiny in general. And if anything goes wrong, if you did the proper testing and can prove that your code was correct you can pass the buck to the compiler manufacturer. :P