https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117142
--- Comment #7 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-14 branch has been updated by Martin Jambor <jamb...@gcc.gnu.org>: https://gcc.gnu.org/g:8fd9461976b325efd134f9004a7958ebd008148f commit r14-10997-g8fd9461976b325efd134f9004a7958ebd008148f Author: Martin Jambor <mjam...@suse.cz> Date: Wed Oct 23 11:30:32 2024 +0200 tree-sra: Avoid SRAing arguments to a function returning_twice (PR 117142) PR 117142 shows that the current SRA probably never worked reliably with arguments passed to a function returning twice, because it then creates statements before the call which however needs to be at the beginning of a basic block. While it should be possible to make at least the case of passing arguments by value work with SRA (the statements would need to be put just on the non-abnormal edges leading to the BB), this would mean large surgery of function sra_modify_expr and I guess the time would better be spent re-organizing the whole pass. gcc/ChangeLog: 2024-10-21 Martin Jambor <mjam...@suse.cz> PR tree-optimization/117142 * tree-sra.cc (build_access_from_call_arg): Disqualify any candidate passed to a function returning twice. gcc/testsuite/ChangeLog: 2024-10-21 Martin Jambor <mjam...@suse.cz> PR tree-optimization/117142 * gcc.dg/tree-ssa/pr117142.c: New test. (cherry picked from commit 29d8f1f0b7ad3c69b3bdb130325300d5f73aa784)
