Bug#699736: GNAT offers bug box on small Ada 2012 program
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
With gnat pro I have this output :
gcc -c -gnat12 algo_2sat.adb
algo_2sat.adb:10:32: subtype mark required in this context
algo_2sat.adb:11:25: subtype mark required in this context
My gnatpro version :
gcc -v
<snip>
gcc version 4.7.2 20120902 for GNAT Pro 7.1.0w (20120901) (GCC)
So to me it seems a gnat-4.6/gcc-4.6 bug...
Le 04/02/2013 10:59, David Starner a écrit :
> Package: gnat-4.6
> Version: 4.6.3-8
>
> When compiled with gnatmake -gnat12 algo_2sat.adb
>
> package body Algo_2SAT is
> type Orientation is (Unused, Unnegated, Negated, Both);
> procedure Monodirectional (P: in out Problem_2SAT) is
> Count : array (1 .. Variable (100)) of Orientation := (others => Unused);
> C : Clause;
> P_New : Problem_2SAT;
> begin
> for I in P.First_Index .. P.Last_Index loop
> C := P.Element (I);
> if Count (C.A_Var) in (Unnegated, Negated) or else Count
> (C.B_Var) in (Unnegated, Negated) then
> null;
> else
> P_New.Append (C);
> end if;
> end loop;
> P := P_New;
> end Monodirectional;
> end Algo_2Sat;
> with Ada.Containers.Vectors;
> package Algo_2SAT is
> type Variable is new Natural;
> type Clause is record
> A_Bool : Boolean;
> A_Var : Variable;
> B_Bool : Boolean;
> B_Var : Variable;
> end record;
> package Problem_Container is new Ada.Containers.Vectors (Natural, Clause);
> subtype Problem_2Sat is Problem_Container.Vector;
> procedure Monodirectional (P : in out Problem_2SAT);
> end Algo_2SAT;
>
> offers
>
> gcc-4.6 -c -gnat12 algo_2sat.adb
> +===========================GNAT BUG DETECTED==============================+
> | 4.6.3 (x86_64-pc-linux-gnu) GCC error: |
> | in gnat_to_gnu, at ada/gcc-interface/trans.c:4526 |
> | Error detected at algo_2sat.adb:10:32 |
> | 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 in the report. |
> | Include the exact gcc-4.6 or gnatmake command that you entered. |
> | Also include sources listed below in gnatchop format |
> | (concatenated together with no headers between files). |
> +==========================================================================+
>
> 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.
> Consider also -gnatd.n switch (see debug.adb).
>
> algo_2sat.adb
> algo_2sat.ads
>
> compilation abandoned
> gnatmake: "algo_2sat.adb" compilation error
>
> I would offer this upstream, but Debian's GNAT is a version behind.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iQIcBAEBAgAGBQJRD7qJAAoJEG3iFwasTcfadbMQAJtlaGCWAfrLVyYJloVn45ap
k0TAyKwXiwcwlWRGW6jhPGnI9W9oETk0jDbVVoZvRumm8CZhhpmmav21EYreLu3R
y7idpIZIHtlX3ZNYq7BnOyFyQct0oJV2u/W5c2+8ImOP8JS9EsSr/DkWFknFw/Ci
56neN+c8L2NhCe1w5rzblIHL3xSYVmG8dJe/TmIKspaBfT4r5IEfg9rvSlaL6L8w
UZqBQa3+4C9yAx10erH+udJtnW5j86GP/Tbtt9pwud2coMSakWjpNYVYmQ032Ii4
notRInXPwNoZvvTNIAZATij9QfM+NHbp0hlGJAExQkOAs4AxqUwT2E3bipGI64zI
RzXJXQgAh/vVmp9Dm+kHZWFd6H0r0Mg06EFgVMhDlORyK28rbrg/A6y3gs7tkvcW
pTNUfURBtRqtEBlpp5ltJaZ82Mcfw4MxNsd4s2Q2sROAab8LsVtdW7uuutoZrgS2
1SesphSnpfxuoJa/gynvupcR8eXMh93dD2r6+zjDdz+VPOGzAeWrT5gXiWMA9sBp
nfxO88aLy39RoCEj1bqmXNwBQOQw5LAKVRmiRqnhrWbW4DR0/NCBCjTZIGlMnQFd
3sz8/IsfKeZiDzWAUtic58qBk7hjVo4i0Y7o/b9XFcfVZ0kq6jQ0iftEjkkj7n+l
M8dvoVDx2nyLlov3Srwc
=18eA
-----END PGP SIGNATURE-----
Reply to: