]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42fcc75) | patch
ada: Add guard for detection of class-wide precondition subprograms
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 11 Jul 2023 14:37:23 +0000 (16:37 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 28 Jul 2023 07:28:14 +0000 (09:28 +0200)
commit8dcd763ac6203904339ccc87cfee28892dbb7231
treedae1543c7072fba9cba714de34d7f116a1828b65tree
parent42fcc7503af42314369e84e9a2cecc04deef0aadcommit | diff
ada: Add guard for detection of class-wide precondition subprograms

When skipping check on subprograms built for class-wide preconditions
we must deal with the current scope not being a subprogram, e.g. it
could be a declare-block.

gcc/ada/

* sem_res.adb (Resolve_Actuals): Add guard for the call to
Class_Preconditions_Subprogram.
gcc/ada/sem_res.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.060939 seconds and 5 git commands to generate.