https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93702
--- Comment #6 from GCC Commits <cvs-commit at gcc dot gnu.org> --- The master branch has been updated by Marc Poulhies <[email protected]>: https://gcc.gnu.org/g:503b879d97f08f842afd09f1d29cb03dfab55d8b commit r17-745-g503b879d97f08f842afd09f1d29cb03dfab55d8b Author: Eric Botcazou <[email protected]> Date: Sun Jan 18 22:12:25 2026 +0100 ada: Fix fallout of recent freezing change for expression functions The change unnecessarily prevents the profile of all dispatching operations from being frozen by their subprogram body, which exposes a weakness in the implementation of freezing for generic units. This just reverts that part. gcc/ada/ChangeLog: PR ada/93702 * exp_ch3.adb (Make_Controlling_Function_Wrappers): Revert latest change. * sem_ch12.adb (Analyze_One_Association): Remove redundant line. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Freeze the profile again for bodies that are not generated from expression functions.
