https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123867
Bug ID: 123867
Summary: Limited With causing type confusion
Product: gcc
Version: 14.2.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: brentseidel at mac dot com
CC: dkm at gcc dot gnu.org
Target Milestone: ---
Created attachment 63519
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=63519&action=edit
Example that demonstrates problem
The command "gprbuild bug.gpr" was given and the following error message was
observed:
bug-b-c-d.ads:10:53: error: "dev_type" is undefined
bug-b-c-d.ads:10:53: error: possible misspelling of "dev_type"
The same error was produced by "gnat make bug-b-c-d"
This was traced to a "limited with bug.b" in bug.ads. Removing the "limited
with" enabled compilation to proceed. This is not expected behavior.
Also, errors of the form "X" is undefined, possible misspelling of "X", where
both Xs are exactly the same suggests that something is going wrong somewhere.
gprbuild --version
GPRBUILD 24.0.0 (2024-03-14) (aarch64-apple-darwin21)
Copyright (C) 2004-2024, AdaCore
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
gnatmake --version
GNATMAKE 14.2.0
Copyright (C) 1995-2024, Free Software Foundation, Inc.
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
gcc --version
gcc (GCC) 14.2.0
Copyright (C) 2024 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
My operating system is macOS Sonoma 14.7.1
Darwin Kernel Version 23.6.0: Thu Sep 12 23:36:12 PDT 2024;
root:xnu-10063.141.1.701.1~1/RELEASE_ARM64_T6020
