🚀 go-pugleaf

Karel Bruneel wrote:

> kan iemand mij uitleggen wat de optie -fstric-aliasing voor de linu gcc
> compiler juist doet. Ik heb iets in de manual gelezen maar kheb het niet
> echt gesnapt.

NOTE: GCC heeft op zich niets met Linux te maken.

http://gcc.gnu.org/onlinedocs/gcc/Optimize-Options.html#Optimize%20Options

Het zorgt ervoor dat de compiler de meest "stricte" regels voor zijn 
aliasing detectie gebruikt. Strict betekent hier dat hij in minder gevallen 
mogelijke aliasing ziet.

Pointer aliasing = 2 pointers die naar hetzelfde geheugen verwijzen, als 
in: als je hetgeen waar er een van naar wijst verandert, verandert hetgeen 
waarnaar de andere wijst ook. Proberen te vinden waar pointers mekaar niet 
kunnen alias'en is een belangrijk onderdeel van de optimalisatie in 
compilers.

Het kan ook zijn dat een pointer een variabele aliast; de pointer is dan 
gerelateerd aan die variabele zoals bij pointer aliasing: als je hetgeen 
waarnaar de pointer wijst verandert, verandert de inhoud van de variabele 
ook.

Met strict-aliasing kan je "fouten" krijgen als er undefined behavior in je 
programma zit (bv niet gedefinieerde casts, unions uitlezen als een ander 
type dan waarmee het laatst gevuld is).

-- 
Nicolas Barbier