https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81720
--- Comment #6 from Orlando Arias <oarias at knights dot ucf.edu> --- (In reply to Richard Earnshaw from comment #5) > Bare metal target compilers should still respect the standard, which is > quite clear that dereferencing NULL is undefined. Some users of the > compiler expect this behaviour. It's not about to change. > > You have an option you can use, so use it. Greetings, I will accept this as proper closure for the bug [not the RESOLVED INVALID from before]. There are also other ways to work around the issue, such as by defining symbols in the linker script [how MSP430 does it]. At this point the compiler can't tell what is being dereferenced and make decisions based on that [which also explains why I did not run into this issue sooner]. I will however restate, you are likely [silently in some cases] breaking someone's code by enforcing this behaviour in bare metal though. Thank you. Cheers, Orlando.