On Thu Jul 20 11:01:57 2023 +0000, Giovanni Mascellani wrote:
Here you're ignoring `rel_addr`, which I guess is correct because at this stage it's never expected to be set, is that right? If so, please add an `assert()`, even if it's temporary. Same thing just below.
Yep, for now it is expected to remain NULL, until we implement non-constant offset dereferences. I added the asserts.