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 /gcc/digraph.cc | |
| 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.
Diffstat (limited to 'gcc/digraph.cc')
0 files changed, 0 insertions, 0 deletions