> See some existing PR. The GCC middle-end cannot assume that pointers > are aligned according to their type (while at least the C language would > support that notion).
Only on x86. It could (and used to) do it on strict-alignment architectures. -- Eric Botcazou