diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2016-06-22 09:48:49 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-06-22 11:48:49 +0200 |
| commit | 444656ce62eb1a2fd5e8e872b3804df0b61129a4 (patch) | |
| tree | f7fd287584aed6bd788beac32689d69cce0c5294 /gcc/c | |
| parent | 3bb91f983bc2d530e31ca3615cde2fb1c563005a (diff) | |
| download | gcc-444656ce62eb1a2fd5e8e872b3804df0b61129a4.zip gcc-444656ce62eb1a2fd5e8e872b3804df0b61129a4.tar.gz gcc-444656ce62eb1a2fd5e8e872b3804df0b61129a4.tar.bz2 | |
exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of Expand_N_In...
2016-06-22 Ed Schonberg <schonberg@adacore.com>
* exp_ch4.adb (In_Range_Chec)): New predicate, subsidiary of
Expand_N_In: within an expanded range check that might raise
Constraint_Error do not generate a predicate check as well. It
is redundant because the context will add an explicit predicate
check, and it will raise the wrong exception if it fails.
* lib-xref-spark_specific.adb (Add_SPARK_File): Remove useless checks
since dependency units always have an associated compilation unit.
From-SVN: r237683
Diffstat (limited to 'gcc/c')
0 files changed, 0 insertions, 0 deletions