>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> ACT GNAT 3.13a1

>>>>>>>>>>>>>>>>>>>> C390010

,.,. C390010 ACATS 2.3 00-11-05 14:36:49
---- C390010 Check that if S is a subtype of a tagged type T, and if S
                is constrained, then the allowable values of S'Class are
                only those that, when converted to T, belong to S.
   * C390010 Case 2 Expecting: X Got: C1C.
   * C390010 Case 4 Expecting: X Got: C2CF.
   * C390010 Case 5 Expecting: X Got: C2CE.
**** C390010 FAILED ****************************.

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> C42006A

WARNING: THIS ONE GOES TO MEMORY FULL, YOUR OS MAY NOT SURVIVE

gcc -c -I/home/guerby/work/acats/work/support c42006a.adb
+===========================GNAT BUG DETECTED==============================+
| 3.13a1 (20000509) (i686-pc-linux-gnu) Storage_Error table.adb:214 instantiated at atree.ads:2441|
+===========================GNAT BUG DETECTED==============================+
| 3.13a1 (20000509) (i686-pc-linux-gnu) Gigi abort, Code=999               |

raised STORAGE_ERROR : stack overflow (or erroneous memory access)
gnatmake: "c42006a.adb" compilation error

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> C761006

,.,. C761006 ACATS 2.3 00-11-05 15:31:18
---- C761006 Check that exceptions raised in Initialize, Adjust and
                Finalize are processed correctly.
   * C761006 finalization not performed with bad adjust.
**** C761006 FAILED ****************************.

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> C761010

gcc -c -I/home/guerby/work/acats/work/support c761010_1-var_strings.adb
c761010_1-var_strings.ads: In function `c761010_1__var_strings___elabs':
c761010_1-var_strings.ads:20: prior parameter's size depends on `length'
c761010_1-var_strings.ads:20: prior parameter's size depends on `length'
gnatmake: "c761010_1-var_strings.adb" compilation error

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> C910003

gcc -c -I/home/guerby/work/acats/work/support c910003_pack.adb
+===========================GNAT BUG DETECTED==============================+
| 3.13a1 (20000509) (i686-pc-linux-gnu) Storage_Error stack overflow (or erroneous memory access)|
| Error detected at c910003_pack.adb:4:14                                  |
| Please submit bug report by email to report@gnat.com.                    |
| Use a subject line meaningful to you and us to track the bug.            |
| (include your customer number #nnn in the subject line).                 |
| 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).                   |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs.       |
+==========================================================================+

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> CA21001

gcc -c -I/home/guerby/work/acats/work/support ca21001_1.adb
ca21001_1-f-f_sub.adb:6:14: statements not allowed in preelaborated unit
ca21001_1-sub.adb:11:23: statements not allowed in preelaborated unit
ca21001_1-sub-sub_sub.adb:5:07: statements not allowed in preelaborated unit

PASSED GNAT 3.14a

>>>>>>>>>>>>>>>>>>>> CXB3009

,.,. CXB3009 ACATS 2.3 00-11-05 19:05:30
---- CXB3009 Check that functions To_Chars_Ptr, New_Chars_Array, and
                New_String produce correct results.
   * CXB3009 Terminator_Error raised during the validation of Function
                To_Chars_Ptr.
**** CXB3009 FAILED ****************************.

PASSED 3.14a

>>>>>>>>>>>>>>>>>>>> CXA4001

,.,. CXA4001 ACATS 2.3 00-11-05 20:38:26
---- CXA4001 Check that the types, operations, and other entities
                defined within the package Ada.Strings.Maps are
                available and/or produce correct results.
   * CXA4001 Incorrect set combinations using OR operator.
   * CXA4001 Incorrect set evaluation using Is_Subset function.
   * CXA4001 Incorrect result for "=" set operator.
   * CXA4001 Incorrect result for AND or OR set operators.
**** CXA4001 FAILED ****************************.

PASSED 3.13a
FAILED 3.13p-ALT
PASSED 3.14a
FAILED 3.14a -O2 -fPIC

>>>>>>>>>>>>>>>>>>>> CXA4024

,.,. CXA4024 ACATS 2.3 00-11-05 20:39:16
---- CXA4024 Check that the function "-", To_Ranges, To_Domain, and
                To_Range are available in the package Ada.Strings.Maps, 
                and that they produce correct results.
   * CXA4024 Incorrect result from "-" operator for sets.
**** CXA4024 FAILED ****************************.

PASSED 3.13a
FAILED 3.13p-ALT
PASSED 3.14a
FAILED 3.14a -O2 -fPIC

>>>>>>>>>>>>>>>>>>>> C974014

,.,. C974014 ACATS 2.3 00-11-05 21:39:50
---- C974014 ATC: When abortable part completes before a triggering
                delay, check that the delay is cancelled & optional
                statements are not performed.
==== C974014 PASSED ============================.

FAILED 3.13p-ALT (HANGING)
FAILED 3.14a (PASSED HANGING)

>>>>>>>>>>>>>>>>>>>> CXA5013

,.,. CXA5013 ACATS 2.3 01-02-25 00:40:10
---- CXA5013 Check that a discrete random number generator will yield
                each value in its result subtype in a finite number of
                calls.
==== CXA5013 PASSED ============================.

FAILED 3.14a (PASSED HANGING)

>>>>>>>>>>>>>>>>>>>> CXC3001

,.,. CXC3001 ACATS 2.3 01-02-25 00:47:37
---- CXC3001 Check operation of Is_Attached. Check that Program_Error is
                raised if the handler used by Attach_Handler or
                Exchange_Handler does not have an associated pragma
                Interrupt_Handler.
   - CXC3001 Before attachments...
   - CXC3001 After attachments...

FAILED 3.14a (HANGING)

>>>>>>>>>>>>>>>>>>>> CXC3007

,.,. CXC3007 ACATS 2.3 01-02-25 00:50:15
---- CXC3007 Attach_Handler and Exchange_Handler: Check that default
                treatment is restored if either is called with value
                null or with result of Current_Handler when no
                user-specified handler is attached.

FAILED 3.14a (HANGING)

>>>>>>>>>>>>>>>>>>>> CXC3009

,.,. CXC3008 ACATS 2.3 01-02-25 00:50:59
---- CXC3008 Check Current_Handler, Attach_Handler, and Exchange_Handler
                when user-specified handlers are attached. Check
                Detach_Handler.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 1st interrupt.
   - CXC3008 Done with 1st interrupt.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 2nd interrupt.
   - CXC3008 Done with 2nd interrupt.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 3rd interrupt.
   - CXC3008 Done with 3rd interrupt.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 4th interrupt.
   - CXC3008 Done with 4th interrupt.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 5th interrupt.
   - CXC3008 Done with 5th interrupt.
   - CXC3008 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2920  13.
   * CXC3008 Wrong handler counts after 6th interrupt.
   - CXC3008 Done with 6th interrupt.
**** CXC3008 FAILED ****************************.

FAILED 3.14a (HANGING)

>>>>>>>>>>>>>>>>>>>> CXDA004

,.,. CXDA004 ACATS 2.3 01-02-25 00:53:29
---- CXDA004 Check that a suspension_object can be changed by an
                interrupt handler.
   - CXDA004 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  5805  13.
   * CXDA004 Task was not unblocked.
   * CXDA004 interrupt never occurred.
**** CXDA004 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD6002

,.,. CXD6002 ACATS 2.3 01-02-25 00:53:02
---- CXD6002 Check that an asynchronous transfer of control takes place 
                as soon as the aborted statement is no longer in an
                abort-deferred region..
   * CXD6002 simple test - did not abort.
   * CXD6002 abort was not immediate.
   * CXD6002 resume never reached.
   * CXD6002 protected operation aborted.
   * CXD6002 protected test - did not abort.
   * CXD6002 abort was not immediate.
   * CXD6002 requeue test - did not abort.
   * CXD6002 abort was not immediate.
**** CXD6002 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2008

,.,. CXD2008 ACATS 2.3 01-02-25 00:52:19
---- CXD2008 Check that when a blocked task becomes ready, it is added
                to the tail of the ready queue for its priority.
   * CXD2008 unblocked with Synchronous_Task_Control.
   - CXD2008 Expected  Actual.
   - CXD2008  2 3.
   - CXD2008  4 1.
   - CXD2008  6 2.
   - CXD2008  8 4.
   - CXD2008  10 5.
   - CXD2008  1 6.
   - CXD2008  3 7.
   - CXD2008  5 8.
   - CXD2008  7 9.
   - CXD2008  9 10.
   * CXD2008 unblocked with protected object.
   - CXD2008 Expected  Actual.
   - CXD2008  2 3.
   - CXD2008  4 1.
   - CXD2008  6 2.
   - CXD2008  8 4.
   - CXD2008  10 5.
   - CXD2008  1 6.
   - CXD2008  3 7.
   - CXD2008  5 8.
   - CXD2008  7 9.
   - CXD2008  9 10.
**** CXD2008 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2006

,.,. CXD2006 ACATS 2.3 01-02-25 00:52:16
---- CXD2006 Check that priority ceases to be inherited as soon as the
                conditions for inheritance no longer exist.
   * CXD2006 revert back to normal priority.
   * CXD2006 protected object count is messed up.
**** CXD2006 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2004

,.,. CXD2004 ACATS 2.3 01-02-25 00:52:14
---- CXD2004 Default Task Dispatching.  Loss of inherited priority of
                active task does not cause suspension if no higher
                priority task is ready.
   * CXD2004 B registered before A.
   * CXD2004 A did not register before B.
**** CXD2004 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2003

,.,. CXD2003 ACATS 2.3 01-02-25 00:52:11
---- CXD2003 Default Task Dispatching - when a task drops in priority
                due to loss of inheritance it is added to the head of
                the ready queue for its priority.
   * CXD2003 Incorrect sequence of Sub_Tasks.
   - CXD2003 Order Expected Actual.
   - CXD2003  1 8 8.
   - CXD2003  2 5 2.
   - CXD2003  3 2 0.
   - CXD2003  4 7 0.
   - CXD2003  5 3 212.
   - CXD2003  6 1 203.
   - CXD2003  7 9 5.
   - CXD2003  8 6 8.
   - CXD2003  9 4 156.
   * CXD2003 Prime_Task ran out of sequence.
**** CXD2003 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2002

,.,. CXD2002 ACATS 2.3 01-02-25 00:52:10
---- CXD2002 Default Task Dispatching - a non-blocking delay puts the
                task at the tail of the ready queue for that priority.
   * CXD2002 Delay_Task executed before a Sub_Task.
   * CXD2002 Sub_Tasks did not run when expected.
**** CXD2002 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXD2001

,.,. CXD2001 ACATS 2.3 01-02-25 00:52:08
---- CXD2001 Setting base priority moves task to the end of the ready
                queue of that priority.
   * CXD2001 Prime_Task executed before a Sub_Task.
   - CXD2001 order: 1  is prime: FALSE.
   - CXD2001 order: 2  is prime: TRUE.
   - CXD2001 order: 3  is prime: FALSE.
**** CXD2001 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXC3009

,.,. CXC3009 ACATS 2.3 01-02-25 00:51:30
---- CXC3009 Check that an exception propagated from a handler invoked
                by an interrupt has no effect. Check that the exception 
                causes further execution of the handler to be abandoned.
   - CXC3009 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2982  13.
   * CXC3009 Handler in Dynamic_Handler was not called.
**** CXC3009 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXC3006

,.,. CXC3006 ACATS 2.3 01-02-25 00:50:13
---- CXC3006 Check that Program_Error is raised if Attach_Handler,
                Detach_Handler, or Exchange_Handler is used to attempt
                to detach a handler that was attached with a pragma
                Attach_Handler.
   - CXC3006 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2793  13.
   * CXC3006 1st interrupt: Static.Handler not called.
   - CXC3006 Done with 1st interrupt.
   - CXC3006 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2793  13.
   * CXC3006 2nd interrupt: Static.Handler not called.
   - CXC3006 Done with 2nd interrupt.
   - CXC3006 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2793  13.
   * CXC3006 3rd interrupt: Static.Handler not called.
   - CXC3006 Done with 3rd interrupt.
**** CXC3006 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXC3004

,.,. CXC3004 ACATS 2.3 01-02-25 00:50:09
---- CXC3004 Check that an exception propagated from a handler invoked
                by an interrupt has no effect. Check that the exception 
                causes further execution of the handler to be abandoned.
   - CXC3004 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2666  13.
   * CXC3004 Handler in Static_Handler was not called.
**** CXC3004 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXC3003

,.,. CXC3003 ACATS 2.3 01-02-25 00:50:07
---- CXC3003 Check that when a protected object is finalized, for any of
                its procedures that are attached to interrupts, the
                handler is detached. Check that if the handler was
                attached by a pragma Attach_Handler, the previous
                handler is restored.
   - CXC3003 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2605  13.
   * CXC3003 Interrupt not handled by Static_Handler.
   - CXC3003 Done with 1st interrupt.
   - CXC3003 . >>>>> GENERATE THE INTERRUPT NOW <<<<<  2605  13.
   * CXC3003 Interrupt not handled by Dynamic_Handler.
   - CXC3003 Done with 2nd interrupt.
**** CXC3003 FAILED ****************************.

FAILED 3.14a

>>>>>>>>>>>>>>>>>>>> CXG1001

gcc -c -O2 -fPIC -I/home/guerby/work/acats/work/support cxg1001.adb
+===========================GNAT BUG DETECTED==============================+
| 3.14a (20010130) (i686-pc-linux-gnu) Gigi abort, Code=999                |
| Error detected at cxg1001.adb:274:10                                     |
| Please submit bug report by email to report@gnat.com.                    |
| Use a subject line meaningful to you and us to track the bug.            |
| (include your customer number #nnn in the subject line).                 |
| 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).                   |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs.       |
+==========================================================================+

FAILED 3.14a -O2 -fPIC

>>>>>>>>>>>>>>>>>>>> C390010

gcc -c -gnatN -O3 -fomit-frame-pointer -funroll-all-loops -finline-functions -I/home/guerby/work/acats/work/support c390010.adb
gcc -c -gnatN -O3 -fomit-frame-pointer -funroll-all-loops -finline-functions -I/home/guerby/work/acats/work/support c390010_0.adb
gnatbind -aO./ -aO/home/guerby/work/acats/work/support -I- -x c390010.ali
gnatlink c390010.ali
./c390010.o: In function `_ada_c390010':
./c390010.o(.text+0x6c6): undefined reference to `c390010_0__R28s'
./c390010.o(.text+0x6cc): undefined reference to `c390010_0__R29s'
gnatlink: cannot call /home/guerby/install/gnat-3.14a/bin/real/gcc
gnatmake: *** link failed.

FAILED 3.14a -O3 etc

>>>>>>>>>>>>>>>>>>>> CXA4027

,.,. CXA4027 ACATS 2.3 01-02-25 15:07:22
---- CXA4027 Check that Ada.Strings.Bounded subprograms Translate,
                Index, and Count, which use the
                Character_Mapping_Function input parameter, produce
                correct results.
   * CXA4027 Incorrect result from Procedure Translate - 1.
**** CXA4027 FAILED ****************************.

FAILED 3.14a -O3 etc

>>>>>>>>>>>>>>>>>>>> CXG2008

gcc -c -gnatN -O3 -fomit-frame-pointer -funroll-all-loops -finline-functions -I/home/guerby/work/acats/work/support cxg2008.adb
+===========================GNAT BUG DETECTED==============================+
| 3.14a (20010130) (i686-pc-linux-gnu) Gigi abort, Code=999                |
| Error detected at cxg2008.adb:204:10                                     |
| Please submit bug report by email to report@gnat.com.                    |
| Use a subject line meaningful to you and us to track the bug.            |
| (include your customer number #nnn in the subject line).                 |
| 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).                   |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs.       |
+==========================================================================+

FAILED 3.14a -O3 etc
