diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-08-14 09:51:00 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-14 09:51:00 +0000 |
| commit | cc248146c12018675f203f6be6b4d652765f0f76 (patch) | |
| tree | 42d5a622c24b88563edc8a26c802e88b2146640f /gcc/ada/table.adb | |
| parent | bab15911661814606d18639ef53597ea9a843afa (diff) | |
| download | gcc-cc248146c12018675f203f6be6b4d652765f0f76.zip gcc-cc248146c12018675f203f6be6b4d652765f0f76.tar.gz gcc-cc248146c12018675f203f6be6b4d652765f0f76.tar.bz2 | |
[Ada] Crash on precondition involving quantified expression
This patch fixes a compiler abort on a precondition whose condition
includes a quantified expression.
2019-08-14 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* sem_util.adb (New_Copy_Tree, Visit_Entity): A quantified
expression includes the implicit declaration of the loop
parameter. When a quantified expression is copied during
expansion, for example when building the precondition code from
the generated pragma, a new loop parameter must be created for
the new tree, to prevent duplicate declarations for the same
symbol.
gcc/testsuite/
* gnat.dg/predicate12.adb, gnat.dg/predicate12.ads: New
testcase.
From-SVN: r274449
Diffstat (limited to 'gcc/ada/table.adb')
0 files changed, 0 insertions, 0 deletions