https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127693
--- Comment #28 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Richard Biener <[email protected]>: https://gcc.gnu.org/g:9c3dc461749a1257b9939625ef59b2b056035311 commit r17-4999-g9c3dc461749a1257b9939625ef59b2b056035311 Author: Richard Biener <[email protected]> Date: Thu Oct 8 15:52:59 2026 +0200 tree-optimization/127693 - .ASSUME causes address-takens .ASSUME cannot cause observable escaping of addresses so we do not consider address-takens as part of its arguments as needing TREE_ADDRESSABLE to be set. Without this VN will not be able to disambiguate against calls and replicate IPA analysis predicate conditions as optimization. Similarly for PTA we do not need to generate any constraints for .ASSUME. PR tree-optimization/127693 * tree-ssa-operands.cc (operands_scanner::parse_ssa_operands): For IFN_ASSUME do not cause address-takens. * tree-ssa.cc (execute_update_addresses_taken): Likewise, but still make sure to not rewrite to a register. * gimple-ssa-pta-constraints.cc (find_func_aliases_for_call): No side-effects from IFN_ASSUME, so produce no constraints.
