]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1cd4d5) | patch
ada: Fix checking of Refined_State with nested package renamings
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 23 Sep 2022 17:06:54 +0000 (19:06 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Thu, 29 Sep 2022 09:08:46 +0000 (11:08 +0200)
commit01ea0437ead0dda3acd51cfb80a01de5feb56929
treefed64b56dcb28db8a2e6735a7a6660fb3c0d2e3ftree
parenta1cd4d52d6ef90b977fb2d80c1cf17f3efa5b01dcommit | diff
ada: Fix checking of Refined_State with nested package renamings

When collecting package state declared in package body, we should only
recursively examine the visible part of nested packages while ignoring other
entities related to packages (e.g. package bodies or package renamings).

gcc/ada/

* sem_util.adb (Collect_Visible_States): Ignore package renamings.
gcc/ada/sem_util.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.061628 seconds and 6 git commands to generate.