| commit | 31f905391fb09c0de99da3d500623bdbd9aa0cc2 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Tue, 5 Dec 2023 13:13:33 +0000 (5 14:13 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 9 Jan 2024 13:13:30 +0000 (9 14:13 +0100) | ||
| tree | 296fc0c50d2054633e41867d7a7a3ceceaadd73a | treesnapshot (tar.gz zip) |
| parent | 7ebae03696b71705630824c8aa5ccbaf7a240038 | commitdiff |
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.
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.
| gcc/ada/inline.adb | diffblobblamehistory |