diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-23 08:13:41 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-23 08:13:41 +0000 |
| commit | 4e2a165210c07078ad1226ca3f0712a457a73d0e (patch) | |
| tree | 7bd48f2678d74cb494675a4342b1571ef72c2740 /gcc/testsuite | |
| parent | 67460d45757a79cdc91fdde1dc1b1a18e4aba6b2 (diff) | |
| download | gcc-4e2a165210c07078ad1226ca3f0712a457a73d0e.zip gcc-4e2a165210c07078ad1226ca3f0712a457a73d0e.tar.gz gcc-4e2a165210c07078ad1226ca3f0712a457a73d0e.tar.bz2 | |
[Ada] Aspect CPU may depend on a discriminant of a task type
2019-07-23 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations,
Freeze_Entity_Checks): Include Aspect_CPU with other aspects
whose expresssion may depend on a discriminant, and thus require
that components of the type be made visible.
gcc/testsuite/
* gnat.dg/task4.adb: New testcase.
From-SVN: r273726
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/task4.adb | 19 |
2 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 883befd..d5efd50 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2019-07-23 Ed Schonberg <schonberg@adacore.com> + + * gnat.dg/task4.adb: New testcase. + 2019-07-23 Eric Botcazou <ebotcazou@adacore.com> * gnat.dg/range_check5.adb: New testcase. diff --git a/gcc/testsuite/gnat.dg/task4.adb b/gcc/testsuite/gnat.dg/task4.adb new file mode 100644 index 0000000..9a97503 --- /dev/null +++ b/gcc/testsuite/gnat.dg/task4.adb @@ -0,0 +1,19 @@ +-- { dg-do compile } + +with System.Multiprocessors; + +procedure Task4 is + + task type Infinite_Loop (C : System.Multiprocessors.CPU_Range) + with CPU => C; + + task body Infinite_Loop is + begin + loop + null; + end loop; + end Infinite_Loop; + +begin + null; +end Task4; |