https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87688
Bug ID: 87688
Summary: [9.0 regression] ACATS cb1010a cb1010d failure
Product: gcc
Version: 9.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ada
Assignee: unassigned at gcc dot gnu.org
Reporter: simon at pushface dot org
Target Milestone: ---
Host: x86_64-apple-darwin15
Created attachment 44879
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=44879&action=edit
Extract from acats suite
With r265267, the two tests noted fail.
OK with r264669.
The build command is (effectively)
gnatmake -gnatws -O2 -gnat95 -fstack-check cb1010a.adb
and the output is
,.,. CB1010A ACATS 2.5 18-10-19 17:40:00
---- CB1010A CHECK THAT STORAGE_ERROR IS RAISED WHEN STORAGE ALLOCATED
TO A TASK IS EXCEEDED.
- CB1010A CHECK TASKS THAT DO NOT HANDLE STORAGE_ERROR PRIOR TO
RENDEZVOUS.
raised STORAGE_ERROR : stack overflow
Should be:
,.,. CB1010A ACATS 4.1 18-10-22 11:15:25
---- CB1010A CHECK THAT STORAGE_ERROR IS RAISED WHEN STORAGE ALLOCATED
TO A TASK IS EXCEEDED.
- CB1010A CHECK TASKS THAT DO NOT HANDLE STORAGE_ERROR PRIOR TO
RENDEZVOUS.
- CB1010A CHECK TASKS THAT DO HANDLE STORAGE_ERROR PRIOR TO
RENDEZVOUS.
- CB1010A CHECK TASKS THAT DO NOT HANDLE STORAGE_ERROR DURING
RENDEZVOUS.
==== CB1010A PASSED ============================.
Removing either -O2 or -fstack-check makes the tests execute correctly.
(Note, the build was configured --without-isl because of PR87640, now fixed.)
