On Mon, Jan 20, 2020 at 2:39 AM Alex Rocha Prado <alex.prado@xxxxxxx> wrote:
>
> Given the test source code below (example):
>
> void foo(void)
> {
> *((int*) 0x1001) = *((int*) 0x2003);
> }
> [...]
> It happens that both line generate the same code, so there is some kind of problem with gcc, correct ?
I don't think this is a good example, as the compiler can see from the
constants that the addresses are not aligned.
