[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)