diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-05-31 10:46:48 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-05-31 10:46:48 +0000 |
| commit | 3c5d07ab057a1cbe23ca655d172bfb53581be960 (patch) | |
| tree | 4f8b88b82317629d19adaee152802d2727c26189 /gcc/tree-ssa-structalias.c | |
| parent | 9977c78567279b5f44106394a79466cec0e7ca7c (diff) | |
| download | gcc-3c5d07ab057a1cbe23ca655d172bfb53581be960.zip gcc-3c5d07ab057a1cbe23ca655d172bfb53581be960.tar.gz gcc-3c5d07ab057a1cbe23ca655d172bfb53581be960.tar.bz2 | |
[Ada] Spurious tampering check failure
This patch modifies the transient scope mechanism to create a scope when the
condition of an iteration scheme returns a controlled result or involves the
secondary stack. As a result, a while loop which iterates over a container
properly manages the tampering bit at each iteration of the loop.
2018-05-31 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* exp_ch7.adb (Find_Transient_Context): An iteration scheme is a valid
boudary for a transient scope.
gcc/testsuite/
* gnat.dg/tampering_check1.adb, gnat.dg/tampering_check1_ivectors.ads,
gnat.dg/tampering_check1_trim.adb, gnat.dg/tampering_check1_trim.ads:
New testcase.
From-SVN: r261006
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
0 files changed, 0 insertions, 0 deletions