Andreas Schwab <schwab@suse.de> said:
> Horst von Brand <brand@jupiter.cs.uni-dortmund.de> writes:
>
> |> Art Haas <ahaas@airmail.net> said:
> |> > I ask because I've just built a kernel without using that flag -
> |> > linus-2.5 BK from this morning, probably missing the 2.5.60 release by
> |> > a few hours.
> |>
> |> The problem with strict aliasing is that it allows the compiler to assume
> |> that in:
> |>
> |> void somefunc(int *foo, int *bar)
> |>
> |> foo and bar will _*never*_ point to the same memory area
>
> This is wrong. Only if they are declared restrict.
... can they point to the same area. That is exactly the problem: If you do
nothing, the language definition assumes the programmer made sure (LOL!)
that they don't point the same way. That's why the flag is needed in the
first place, as nobody writes "restrict" all over the place. I got biten by
that when the optimizations (and the flag) were introduced into gcc (egcs
branch perhaps?).
-- Dr. Horst H. von Brand User #22616 counter.li.org Departamento de Informatica Fono: +56 32 654431 Universidad Tecnica Federico Santa Maria +56 32 654239 Casilla 110-V, Valparaiso, Chile Fax: +56 32 797513 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
This archive was generated by hypermail 2b29 : Sat Feb 15 2003 - 22:00:32 EST