[Bug ipa/96040] [10/11 Regression] Compiled code causes SIGBUS at -O2

[cvs-commit at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96040

--- Comment #10 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Martin Jambor <jamborm@gcc.gnu.org>:

https://gcc.gnu.org/g:b9a15a8325ba89b926e3c437b7961829a6b2fa2b

commit r11-1809-gb9a15a8325ba89b926e3c437b7961829a6b2fa2b
Author: Martin Jambor <mjambor@suse.cz>
Date:   Fri Jul 3 17:37:33 2020 +0200

    ipa-sra: Avoid transitive splits with type mismatches (PR 96040)

    PR 96040 revealed IPA-SRA, when checking whether an intended split is
    the same as the one in a called function does not also check if the
    types match and the transformation code does not handle any resulting
    type mismatches.  This patch simply avoids the the split in the case
    of mismatches, so that we do not have to be careful about invalid
    floating-point values being passed in floating point registers and
    related issues.

    gcc/ChangeLog:

    2020-07-03  Martin Jambor  <mjambor@suse.cz>

            PR ipa/96040
            * ipa-sra.c (all_callee_accesses_present_p): Do not accept type
            mismatched accesses.

    gcc/testsuite/ChangeLog:

    2020-07-03  Martin Jambor  <mjambor@suse.cz>

            PR ipa/96040
            * gcc.dg/ipa/pr96040.c: New test.