I think it's a safe bet to start debugging with the notion of a correctly working compiler... But then, I've found bugs in compilers and standard-libraries for

I think it's a safe bet to start debugging with the notion of a correctly working compiler... But then, I've found bugs in compilers and standard-libraries for embedded a few times already, they are much less battle-tested than your regular x86_64-linux-gnu-gcc. So at some point, I normally switch into "trust no one" mode and start reading disassembler outputs in the vincinity of the crash-site ;-)