diff options
| author | Ronan Desplanques <desplanques@adacore.com> | 2024-08-21 17:22:20 +0200 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2024-09-05 10:10:12 +0200 |
| commit | 87023e0c7cd3aadb2ef60aa2592ba34d0ab8a5af (patch) | |
| tree | 2820cc5fe683c377bf7ff03c44481e2e79591ae8 /gcc/ada/gnatname.adb | |
| parent | 5df05de3d917754274cadb7d006b2011f93f4f7b (diff) | |
| download | gcc-87023e0c7cd3aadb2ef60aa2592ba34d0ab8a5af.zip gcc-87023e0c7cd3aadb2ef60aa2592ba34d0ab8a5af.tar.gz gcc-87023e0c7cd3aadb2ef60aa2592ba34d0ab8a5af.tar.bz2 | |
ada: Tweak assertions in Inline.Cannot_Inline
The purpose of this patch is to silence a GNATSAS report.
gcc/ada/
* inline.adb (Cannot_Inline): Remove assertion.
* inline.ads (Cannot_Inline): Add precondition.
Diffstat (limited to 'gcc/ada/gnatname.adb')
0 files changed, 0 insertions, 0 deletions