]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Avoid Ignored ghost code behavior in Codepeer_Mode
authorViljar Indus <indus@adacore.com>
Fri, 10 Oct 2025 09:47:07 +0000 (12:47 +0300)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 3 Nov 2025 14:15:16 +0000 (15:15 +0100)
commit6a331103e785e132a4e119a2cce13de1579d2ce6
tree19602198bb4172c37e096a405a411bc81400d513
parenta740ac2bf812a0a08410e549ffbeeb032bf31478
ada: Avoid Ignored ghost code behavior in Codepeer_Mode

When the frontend is called by it should treat all ghost
code as checked. Avoid removing expansion in ignored ghost code regions
when Codepeer_Mode is active.

gcc/ada/ChangeLog:

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Avoid disabling
the expander for ignored ghost regions if Codepeer_Mode is active.
* sem_ch7.adb (Analyze_Package_Body_Helper): Likewise.
* freeze.adb (Freeze_Entity): Avoid triggering special freezing
action for entities within ignored ghost regions in Codepeer_Mode.
gcc/ada/freeze.adb
gcc/ada/sem_ch6.adb
gcc/ada/sem_ch7.adb