https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96040
--- Comment #11 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-10 branch has been updated by Martin Jambor <jamb...@gcc.gnu.org>: https://gcc.gnu.org/g:56a34e3e1cbb7d3b2f9298c14d4d3a3a030c7755 commit r10-8425-g56a34e3e1cbb7d3b2f9298c14d4d3a3a030c7755 Author: Martin Jambor <mjam...@suse.cz> Date: Sat Jul 4 19:46:52 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 <mjam...@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 <mjam...@suse.cz> PR ipa/96040 * gcc.dg/ipa/pr96040.c: New test. (cherry picked from commit b9a15a8325ba89b926e3c437b7961829a6b2fa2b)
