Package: asis-programs Version: 2014-4 Severity: important File: /usr/bin/gnatstub
Dear Maintainer, When I tried to see how 'gnatstub' works, I found that it fails with a "bug box" on all my chosen example files: An example: % cat noget.ads package Noget is procedure Hello (I : Integer); end Noget; % gnatstub -t noget.ads +===========================ASIS BUG DETECTED==============================+ | ASIS 2.0.R for GNAT 4.9.2 CONSTRAINT_ERROR a4g-gnat_int.adb:242 range check failed| | when processing A4G.Contt.SD.Read_and_Check_New (tree file /tmp/noget.adt)| | Please submit a bug report; see http://gcc.gnu.org/bugs.html. | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box and the ASIS debug info | | in the report. | | Include the exact list of the parameters of the ASIS queries | | Asis.Implementation.Initialize and Asis.Ada_Environments.Associate | | from the ASIS application for which the bug is detected | | Also include sources listed below in gnatchop format | | (concatenated together with no headers between files). | | NOTE: ASIS bugs may be submitted to [email protected] | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. % ls -l noget.* -rw-r--r-- 1 sparre sparre 62 jan 8 10:08 noget.ads -rw-r--r-- 1 sparre sparre 348728 jan 8 10:16 noget.adt -rw-r--r-- 1 sparre sparre 284 jan 8 10:16 noget.ali % I don't depend on being able to use 'gnatstub', but it would be nice if it worked. -- System Information: Debian Release: 8.2 APT prefers stable-updates APT policy: (500, 'stable-updates'), (500, 'stable') Architecture: amd64 (x86_64) Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=fo_FO.ISO-8859-1, LC_CTYPE=fo_FO.ISO-8859-1 (charmap=ISO-8859-1) Shell: /bin/sh linked to /bin/bash Init: sysvinit (via /sbin/init) Versions of packages asis-programs depends on: ii gnat 4.9 ii gnat-4.9 4.9.2-1 ii libasis2014 2014-4 ii libc6 2.19-18+deb8u1 ii libgcc1 1:4.9.2-10 ii libgnat-4.9 4.9.2-1 ii libgnatcoll1.6 1.6gpl2014-6 ii libgnatprj4.9 4.9.2-1 ii libgnatvsn4.9 4.9.2-1 Versions of packages asis-programs recommends: ii libaunit3.7.1-dev 3.7.1-1 asis-programs suggests no packages. -- no debconf information
