| commit | 204dba400b42b75271071b05102a5b46fd2a34d0 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Tue, 2 May 2023 10:49:43 +0000 (2 12:49 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Tue, 13 Jun 2023 07:31:45 +0000 (13 09:31 +0200) | ||
| tree | 521cc2b9ed146b3aa6dada1e7aa9483b27c8ba63 | treesnapshot (tar.gz zip) |
| parent | d0ffa8d5155db105ce7b6e5b76c489c0fff1d090 | commitdiff |
ada: Skip elaboration checks for abstract subprograms on derived types
Elaboration checks skip abstract subprogram declarations, which have no
body that could be examined. Now these checks also skip abstract
subprograms of a derived type, which have no body either.
gcc/ada/
* sem_elab.adb (Check_Overriding_Primitive): Prevent Corresponding_Body
to be called with entity of an abstract subprogram.
Elaboration checks skip abstract subprogram declarations, which have no
body that could be examined. Now these checks also skip abstract
subprograms of a derived type, which have no body either.
gcc/ada/
* sem_elab.adb (Check_Overriding_Primitive): Prevent Corresponding_Body
to be called with entity of an abstract subprogram.
| gcc/ada/sem_elab.adb | diffblobblamehistory |