diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-12-05 14:13:33 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-01-09 14:13:30 +0100 |
| commit | 31f905391fb09c0de99da3d500623bdbd9aa0cc2 (patch) | |
| tree | 296fc0c50d2054633e41867d7a7a3ceceaadd73a | |
| parent | 7ebae03696b71705630824c8aa5ccbaf7a240038 (diff) | |
| download | gcc-31f905391fb09c0de99da3d500623bdbd9aa0cc2.zip gcc-31f905391fb09c0de99da3d500623bdbd9aa0cc2.tar.gz gcc-31f905391fb09c0de99da3d500623bdbd9aa0cc2.tar.bz2 | |
ada: Remove dead code for GNATprove inlining
Removed code was dead because it could only be executed when
Back_End_Inlining is True and that flag is always false in
GNATprove_Mode.
gcc/ada/
* inline.adb (Cannot_Inline): Cleanup use of 'Length; remove
dead code.
| -rw-r--r-- | gcc/ada/inline.adb | 15 |
1 files changed, 2 insertions, 13 deletions
diff --git a/gcc/ada/inline.adb b/gcc/ada/inline.adb index cc2bc3a..f6bed4d 100644 --- a/gcc/ada/inline.adb +++ b/gcc/ada/inline.adb @@ -1983,9 +1983,9 @@ package body Inline is then declare Len1 : constant Positive := - String (String'("cannot inline"))'Length; + String'("cannot inline")'Length; Len2 : constant Positive := - String (String'("info: no contextual analysis of"))'Length; + String'("info: no contextual analysis of")'Length; New_Msg : String (1 .. Msg'Length + Len2 - Len1); @@ -2044,17 +2044,6 @@ package body Inline is Error_Msg_NE (Msg (Msg'First .. Msg'Last - 1), N, Subp); - -- In GNATprove mode, issue an info message when -gnatd_f is set and - -- Suppress_Info is False, and indicate that the subprogram is not - -- always inlined by setting flag Is_Inlined_Always to False. - - elsif GNATprove_Mode then - Set_Is_Inlined_Always (Subp, False); - - if Debug_Flag_Underscore_F and not Suppress_Info then - Error_Msg_NE (Msg, N, Subp); - end if; - else -- Do not emit warning if this is a predefined unit which is not |