diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-12-11 11:10:42 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-12-11 11:10:42 +0000 |
| commit | e2819941fc6eb15c3955d75e45f30dedb3713389 (patch) | |
| tree | 3ee029cb67dc295c3463f544a96950117e7a3367 /gcc/tree-vect-patterns.c | |
| parent | 30a5fd0b463897d12a9f4e3e27a15b3146a52b3d (diff) | |
| download | gcc-e2819941fc6eb15c3955d75e45f30dedb3713389.zip gcc-e2819941fc6eb15c3955d75e45f30dedb3713389.tar.gz gcc-e2819941fc6eb15c3955d75e45f30dedb3713389.tar.bz2 | |
[Ada] Crash on ignored Ghost expression function
This patch updates freezing to ensure that freeze nodes are inserted
into the tree when the entity being frozen is non-Ghost, and the context
is an ignored Ghost spec expression.
2018-12-11 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* exp_util.adb (Insert_Action): Add new formal parameter
Spec_Expr_OK.
(Insert_Actions): Add new formal parameter Spec_Expr_OK. Update
all calls to Insert_Actions where relevant. Honour an insertion
from a spec expression context when requested by the caller.
* exp_util.ads (Insert_Action): Add new formal parameter
Spec_Expr_OK.
(Insert_Actions): Add new formal parameter Spec_Expr_OK.
* freeze.adb (Add_To_Result): Force the insertion of the freeze
node even when the context is a spec expression.
gcc/testsuite/
* gnat.dg/ghost2.adb, gnat.dg/ghost2.ads: New testcase.
From-SVN: r266996
Diffstat (limited to 'gcc/tree-vect-patterns.c')
0 files changed, 0 insertions, 0 deletions