]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: exp_ch6.adb: entirely disable call validation in CodePeer_Mode
authorGhjuvan Lacambre <lacambre@adacore.com>
Tue, 16 Sep 2025 10:11:18 +0000 (12:11 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 29 Sep 2025 09:43:38 +0000 (11:43 +0200)
commit405adc4e40e8d9181e64804c53f155947ef73c37
tree1f30eefcf1efd44e0283e2a38836f7887c44f0a1
parent891b42a7f18101f9d204351fae2e8c286cb7645f
ada: exp_ch6.adb: entirely disable call validation in CodePeer_Mode

This call validation was introduced a couple of months ago and caused
GNAT2SCIL to fail a lot. It was determined that while being invalid for
GCC, the tree was valid for GNAT2SCIL. Since it was thought that only
the checking of the return type caused issue for CodePeer_Mode, this is
the only part that disabled. Recent changes revealed that there also
exists differences in the AST expected by GCC and GNAT2SCIL, and that
checking the actuals also causes issues for GNAT2SCIL. We hence entirely
disable the checking of calls in CodePeer_Mode instead of just the
checking of return values.

gcc/ada/ChangeLog:

* exp_ch6.adb (Validate_Subprogram_Calls): Do not Check_Calls in CodePeer_Mode.
(Check_Calls): Remove CodePeer_Mode special case.
gcc/ada/exp_ch6.adb