gnatmake -gnatafnN -gnatVa -gnatwa -gnaty agent_client `adasockets-config` gcc -c -gnatafnN -gnatVa -gnatwa -gnaty -I/usr/local/lib/adasockets agent_client.adb +===========================GNAT BUG DETECTED==============================+ | 3.2 20020814 (release) (i686-pc-linux-gnu) Assert_Failure exp_util.adb:1404| | Error detected at agent_client.adb:140:50 | | Please submit a bug report, see http://gcc.gnu.org/bugs.html. | | Include the entire contents of this bug box in the report. | | Include the exact gcc 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 agent_client.adb agent.ads agents.ads coordinates.ads symbols.ads client_network.ads /usr/local/lib/adasockets/sockets.ads /usr/local/lib/adasockets/sockets-stream_io.ads agent.adb /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.2/adainclude/s-assert.ads list may be incomplete agent.adb:8:04: warning: body is too large for front-end inlining of "Get_Action" agent.adb:158:04: warning: body is too large for front-end inlining of "Inform_About_Rules" agent.adb:289:04: warning: unconstrained return type prevents front-end inlining of "To_String" agent.adb:371:07: warning: declaration prevents front-end inlining of "Explore" agent.adb:549:04: warning: body is too large for front-end inlining of "Extend" i-cstrea.adb:94:07: warning: declaration prevents front-end inlining of "fread" compilation abandoned gnatmake: "agent_client.adb" compilation error Release: 3.2 Environment: i686-pc-linux-gnu with adasockets-1.4
From: Dara Hazeghi <dhazeghi@yahoo.com> To: sigra@home.se, gcc-gnats@gcc.gnu.org, nobody@gcc.gnu.org Cc: Subject: Re: ada/8614: Assert_Failure exp_util.adb:1404 Date: Mon, 12 May 2003 09:59:09 -0700 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit- trail&database=gcc&pr=8614 Hello, I can confirm that this bug is still present on gcc 3.3 branch (20030510) and mainline (20030510) on i686-linux. The problem goes away if I remove the -gnatVa switch. Dara
See Dara's Comment.
Trivial workaround is to not use -gnatVa. Conforming Ada programs are not affected by this flag anyway, which tries to make behavior of programs with errors more predictable.
Reconfirmed with gcc 3.3 branch and mainline (20030620).
Fixed with recent Ada merge. Arno