diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2019-07-22 13:57:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-22 13:57:55 +0000 |
| commit | ca305a848c4f1cc493e61083a14b77df226ac8af (patch) | |
| tree | 58bdeb17cbd35fe3c890f57c972bcd7be4210481 /gcc/tree-cfg.c | |
| parent | 8c029ee8cf5d14e8c0dc0a74d9a5278c3aee49e9 (diff) | |
| download | gcc-ca305a848c4f1cc493e61083a14b77df226ac8af.zip gcc-ca305a848c4f1cc493e61083a14b77df226ac8af.tar.gz gcc-ca305a848c4f1cc493e61083a14b77df226ac8af.tar.bz2 | |
[Ada] Optimization loses exception in improper use of 'Value
This patch prevents an improper removal of an evaluation of attribute
'Value on an illegal input that will raise Constraint_Error, when a
subsequent use of this evaluation might be optimized away by the
back-end.
2019-07-22 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* libgnat/s-valboo.ads, libgnat/s-valcha.ads,
libgnat/s-valdec.ads, libgnat/s-valenu.ads,
libgnat/s-valint.ads, libgnat/s-vallld.ads,
libgnat/s-vallli.ads, libgnat/s-valllu.ads,
libgnat/s-valrea.ads, libgnat/s-valuns.ads,
libgnat/s-valwch.ads: Change categorization of packages that
implement attribute 'Value from Pure to Preelaborate, to prevent
undesirable optimizations when the evaluation of the attribute
raises Constraint_Error, but subsequent use of the result of
this evsaluation is removed by a subsequent optimization.
gcc/testsuite/
* gnat.dg/opt80.adb: New testcase.
From-SVN: r273687
Diffstat (limited to 'gcc/tree-cfg.c')
0 files changed, 0 insertions, 0 deletions