[AWS] CONSTRAINT_ERROR raised, on AWS demos
Arnaud Rolly
arnaud.rolly@eikonex.net
Tue, 9 Sep 2003 10:52:49 +0200
Hi! I've troubles with AWS/Gnat : AWS compiles, but demos programs raises
systematically a CONSTRAINT_ERROR :
----------
arnaud@webu:~/tmp/aws-1.3/demos$ ./soap_server
Execution terminated by unhandled exception
Exception name: CONSTRAINT_ERROR
Message: a-calend.adb:419 explicit raise
Call stack traceback locations:
0x81116ec 0x8110c92 0x808034f 0x804e9c1 0x804eedf
arnaud@webu:~/tmp/aws-1.3/demos$
----------
Is it a known bug ?
My AWS configuration is :
----------
arnaud@webu:~/tmp/aws-1.3$ make display
AWS current configuration
UNIX like OS detected
Install directory : /opt/ada
XMLada activated : /opt/ada
Using GNAT.Sockets
----------
My gcc version (Debian/unstable package gnat-3.3, last stable package is too
old, blocking on unknown pragmas):
----------
arnaud@webu:~/tmp/aws-1.3/demos$ gcc-3.3 -v
Reading specs from /usr/lib/gcc-lib/i386-linux/3.3.1/specs
Configured with: ../src/configure -v
--enable-languages=c,c++,java,f77,pascal,objc,ada,treelang --prefix=/usr
--mandir=/usr/share/man --infodir=/usr/share/info
--with-gxx-include-dir=/usr/include/c++/3.3 --enable-shared
--with-system-zlib --enable-nls --without-included-gettext
--enable-__cxa_atexit --enable-clocale=gnu --enable-debug
--enable-java-gc=boehm --enable-java-awt=xlib --enable-objc-gc i386-linux
Thread model: posix
gcc version 3.3.1 20030626 (Debian prerelease)
----------
I looked at the GNAT a-calend.adb file, line 419 : it's the Time_Of function :
----------
...
begin
-- The following checks are redundant with respect to the constraint
-- error checks that should normally be made on parameters, but we
-- decide to raise Constraint_Error in any case if bad values come
-- in (as a result of checks being off in the caller, or for other
-- erroneous or bounded error cases).
if not Year 'Valid
or else not Month 'Valid
or else not Day 'Valid
or else not Seconds'Valid
then
raise Constraint_Error; <= Line 419
end if;
...
----------
--
Arnaud Rolly <arnaud.rolly@eikonex.net>
Eikonex - Open Source Engineering (http://www.eikonex.net)