diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-09-18 08:33:32 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-09-18 08:33:32 +0000 |
| commit | 0cff31f0f67a88fd1bf76bab430eaa0adac94ffa (patch) | |
| tree | 849b0df78fdbcbaac14da6e1c1a9bc1c6b4a4f3d /gcc/tree-ssa-ccp.c | |
| parent | b8411279b0674cd76850b0fa8266e8db21724e0e (diff) | |
| download | gcc-0cff31f0f67a88fd1bf76bab430eaa0adac94ffa.zip gcc-0cff31f0f67a88fd1bf76bab430eaa0adac94ffa.tar.gz gcc-0cff31f0f67a88fd1bf76bab430eaa0adac94ffa.tar.bz2 | |
[Ada] Use static discriminant value for discriminated task record
This patch allows the construction of a static subtype for the generated
constrained Secondary_Stack component of a task for which a stack size
is specified, when compiling for a restricted run-time that forbids
dynamic allocation. Needed for LLVM.
2019-09-18 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_ch3.adb (Constrain_Component_Type): For a discriminated
type, handle the case of a constraint given by a conversion of a
discriminant of the enclosing type. Necessary when compiling a
discriminated task for a restricted run-time, when the generated
Secondary_Stack component may be set by means of an aspect on
the task type.
From-SVN: r275863
Diffstat (limited to 'gcc/tree-ssa-ccp.c')
0 files changed, 0 insertions, 0 deletions