Add minimal example demonstrating -fno-strict-aliasing#630

Open

andres-erbsen wants to merge 6 commits intoPrincetonUniversity:masterfrom andres-erbsen:fno-strict-aliasing

+1,218-2

Commits on Oct 22, 2022

Add minimal example of -fno-strict-aliasing
andres-erbsen
committed

Commits on Oct 23, 2022

Commits on Oct 24, 2022

Commits on Oct 25, 2022

comment on soundness in progs*/alias.C
andres-erbsen
committed