]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Fix false positive error for classwide containers
authorViljar Indus <indus@adacore.com>
Tue, 18 Nov 2025 12:39:03 +0000 (14:39 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 5 Dec 2025 12:22:53 +0000 (13:22 +0100)
commitb85d7e3eecb616842a194dea799dfaa7db03366e
tree38ac522bbdc7dbac0970fa0dee34c8d8fd6e1ad1
parentb6bfc77fe56ac999d515fe3899afbab0eb0ee480
ada: Fix false positive error for classwide containers

Get_Cursor_Type fails if a classwide container type
is passed to it as it cannot correctly identify the
cursor type since it is expecting the iteration functions
to have a container argument with a classwide container type.

gcc/ada/ChangeLog:

* sem_util.adb (Get_Cursor_Type): use the
specific type for classwide container checks.
gcc/ada/sem_util.adb