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.

Reply via email to