On Mon, Dec 13, 2021 at 05:31:22PM +0100, Jan Hubicka via Gcc-patches wrote:
> +@item -fipa-strict-aliasing
> +@opindex fipa-strict-aliasing
> +Constrols whether rules of @option{-fstrict-aliasing} are applied across
s/Constrols/Controls/
> +function boundaries. Note that if multiple functions g
Hi,
this is a variant I comitted (with updated documentation as Richard
requested).
Honza
gcc/ChangeLog:
2021-12-13 Jan Hubicka
* common.opt: Add -fipa-strict-aliasing.
* doc/invoke.texi: Document -fipa-strict-aliasing.
* ipa-modref.c (modref_access_analysis
> On December 12, 2021 1:22:09 PM GMT+01:00, Jan Hubicka via Gcc-patches
> wrote:
> >Hi,
> >ipa-modref is using TBAA to disambiguate memory accesses inter-procedurally.
> >This sometimes breaks programs with TBAA violations including clang with LTO.
> >To workaround that one can use -fno-strict-a
ubicka
>
> * common.opt: Add -fipa-strict-aliasing.
> * doc/invoke.texi: Document -fipa-strict-aliasing.
> * ipa-modref.c (modref_access_analysis::record_access): Honor
> -fipa-strict-aliasing.
> (modref_access_analysis::record_access_lto): Lik
patch that
controls only the TBAA based analysis in ipa-modref while keeping all other
optimizations.
Bootstrapped/regtested x86_64-linux, will commit it shortly.
gcc/ChangeLog:
2021-12-12 Jan Hubicka
* common.opt: Add -fipa-strict-aliasing.
* doc/invoke.texi: Document -fipa
