[gtkada] Illegal Ada code in src/gtk-handlers.adb

Ludovic Brenta ludovic.brenta at insalien.org
Tue May 18 21:18:30 CEST 2004


Here is a bug report that I just opened in the Debian bug tracking
system.  You can view the bug report on the web by browsing this URL:

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=249663

You can also send comments to the bug tracking system by sending mail
to 249663 at bugs.debian.org.

Here goes:

Package: libgtkada2-dev
Version: 2.2.1-4
Severity: minor

GtkAda 2.2.1 contains illegal Ada code, which GNAT does not detect
(see #244935).

src/gtk-handlers.adb:154:

      function Internal
        (Instance  : System.Address;
         Signal_Id : Guint;
         Detail    : GQuark := Unknown_Quark;
         Closure   : GClosure;
         After     : Gint := 0) return Signal_Id;

"Signal_Id" is used both as a parameter name, and as a function return type,
which is illegal per RM 8.3(22).  Gnat mistakenly allows this, as pointed
out in Debian bug #244935.


-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.26-1-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8

Versions of packages libgtkada2-dev depends on:
ii  gnat                        3.15p-9      The GNU Ada 95 compiler
ii  libc6-dev                   2.3.2.ds1-12 GNU C Library: Development Librari
ii  libglade2-dev               1:2.0.1-13   Development files for libglade
ii  libgnome2-dev               2.4.0-11     The GNOME 2 library - development 
ii  libgnomeui-dev              2.4.0.1-12   The GNOME 2 libraries (User Interf
ii  libgtk2.0-dev               2.2.4-6      Development files for the GTK+ lib
ii  libgtkada2-0                2.2.1-4      Ada binding for the GTK library
ii  libpopt-dev                 1.7-4        lib for parsing cmdline parameters

-- no debconf information




More information about the gtkada mailing list