Message ID | 20221121101410.259273-1-poulhies@adacore.com |
---|---|
State | New |
Headers | show |
Series | [COMMITTED] ada: Disable subprogram call validation in CodePeer mode | expand |
diff --git a/gcc/ada/frontend.adb b/gcc/ada/frontend.adb index 033ecf3b7be..bc3da30b0cf 100644 --- a/gcc/ada/frontend.adb +++ b/gcc/ada/frontend.adb @@ -531,7 +531,7 @@ begin -- formals). It is invoked using pragma Debug to avoid adding any cost -- when the compiler is built with assertions disabled. - if not Debug_Flag_Underscore_XX then + if not Debug_Flag_Underscore_XX and then not CodePeer_Mode then pragma Debug (Exp_Ch6.Validate_Subprogram_Calls (Cunit (Main_Unit))); end if;
From: Ghjuvan Lacambre <lacambre@adacore.com> CodePeer builds with assertions enabled started failing when this validation was introduced. We temporarily disable this validation for CodePeer in order to buy time before fixing the underlying issue. gcc/ada/ * frontend.adb (Frontend): Disable subprogram call validation. Tested on x86_64-pc-linux-gnu, committed on master. --- gcc/ada/frontend.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)