Bug#247560: marked as done ([Fixed in 4.4] gnat: Illegal program not detected, RM 13.11(15))
Your message dated Sat, 9 Aug 2008 18:31:25 +0200
with message-id <1218299485.489dc65d1bb3d@www.versateladsl.be>
and subject line gnat: Illegal program not detected, RM 13.11(15)
has caused the Debian Bug report #247560,
regarding [Fixed in 4.4] gnat: Illegal program not detected, RM 13.11(15)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)
--
247560: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=247560
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Package: gnat
Version: 3.15p-9
Severity: normal
-- RM 13.11(15)
-- the name in a Storage_Pool clause shall denote a variable
with System.Storage_Pools;
with System.Storage_Elements;
package Test_57 is
type Storage_Pool_Type
is new System.Storage_Pools.Root_Storage_Pool with null record;
procedure Allocate
(Pool : in out Storage_Pool_Type;
Storage_Address : out System.Address;
Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
Alignment : in System.Storage_Elements.Storage_Count);
procedure Deallocate
(Pool : in out Storage_Pool_Type;
Storage_Address : in System.Address;
Size_In_Storage_Elements : in System.Storage_Elements.Storage_Count;
Alignment : in System.Storage_Elements.Storage_Count);
function Storage_Size
(Pool : in Storage_Pool_Type)
return System.Storage_Elements.Storage_Count;
x1: Storage_Pool_Type;
type T1 is access integer;
for T1'Storage_Pool use (x1); -- ERROR:
-- parenthesised expression, not variable
end Test_57;
The syntax of Ada says that (x1) is an expression, not a variable.
The compiler should output an error message.
-- System Information:
Debian Release: testing/unstable
APT prefers testing
APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.25-1-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8
Versions of packages gnat depends on:
ii libc6 2.3.2.ds1-11 GNU C Library: Shared libraries an
ii libgnat-3.15p-1 3.15p-9 The GNU Ada 95 compiler runtime li
-- no debconf information
--- End Message ---
--- Begin Message ---
Version: 4.3.0-5
Forgot to close this bug from the changelog entry:
gnat-4.3 (4.3.0-5) unstable; urgency=low
[Samuel Tardieu, Ludovic Brenta]
* debian/patches/pr34466.dpatch,
debian/patches/pr22255.dpatch,
debian/patches/pr33688.dpatch,
debian/patches/pr10768.dpatch,
debian/patches/pr28305.dpatch,
debian/patches/pr17985.dpatch (closes: #278685)
debian/patches/pr15915.dpatch,
debian/patches/pr16098.dpatch,
debian/patches/pr18680.dpatch,
debian/patches/pr28733.dpatch,
debian/patches/pr22387.dpatch,
debian/patches/pr29015.dpatch: new; backport Ada bug fixes from GCC 4.4.
* debian/patches/rules.patch: apply them.
* debian/patches/pr35050.dpatch: update.
[Andreas Jochens]
* debian/patches/ppc64-ada.dpatch: update, adding support for ppc64.
Closes: #476868.
[Ludovic Brenta]
* Apply ppc64-ada.dpatch whenever we build libgnat, not just on ppc64.
-- Ludovic Brenta <lbrenta@debian.org> Mon, 21 Apr 2008 21:49:53 +0200
--- End Message ---
Reply to: