Maarten Brock

* lib/bootstrap.mk: adapted for rename of sdas COPYING3 to gpl3.txt

Weird uninitialized variable warning on local function prototype

In the valdiag test you added: int test_obj(void) { int obj; return obj; /* WARNING */ } Since the uninitialized use is not the warning we want to test here, I chose to simply assign obj some value. int test_obj(void) { int obj; obj = 1; return obj; } Patch applied in [r16967].

* src/SDCCsymt.c: fix bug #4042 by applying patch by Christopher Bazley

Aliasing implications of types are ignored for _Optional analysis

The above case has been logged as a separate feature request: [feature-requests:#1032] I suspect that implementing type-based aliasing analysis for _Optional will be simpler than for the combination of _Optional and restrict, therefore it probably makes sense to consider that request before this one.

I am attaching a proposed bugfix for this issue, created with assistance from Codex in ChatGPT Work. I hope that it will prove acceptable when reviewed by SDCC's maintainers. Note that this patch must be applied on top of the patch for [bugs:#4003] (i.e. in reverse numerical order). Conceptually, the change is from: fold the subtraction to an assignment before diagnostic analysis mark the result as a semantic dereference rely on that surrogate marker being propagated through the transformed IR to:...

@spth Can this item be closed then?