projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7837c0) | patch
[Ada] Fix analysis of Relaxed_Initialization for bodies-as-specs
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 1 Apr 2020 09:43:39 +0000 (11:43 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 15 Jun 2020 08:04:36 +0000 (04:04 -0400)
commit63e96d44215b7b86eb2eb754dcf139437e40d850
treee71f2ef95b68d36acfbff6f2f3e8e7791c59e89atree
parenta7837c085aa5538430cdc9ffc04fcfa1f581656fcommit | diff
[Ada] Fix analysis of Relaxed_Initialization for bodies-as-specs

2020-06-15  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_ch13.adb (Analyze_Aspect_Relaxed_Initialization): Fix
dealing with scopes on subprogram bodies that act as specs.
* sem_util.adb (Has_Relaxed_Initialization): Fix trivial
mistake.
gcc/ada/sem_ch13.adb diff | blob | history
gcc/ada/sem_util.adb diff | blob | history