diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2012-10-02 08:10:54 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:10:54 +0200 |
| commit | 4856cc2a7d10a3da76084704a51a37aae0e59cef (patch) | |
| tree | 2377288705d822fe4345d9a763c34e97adda307d /gcc/tree-streamer-in.c | |
| parent | 538dbb562fc7b3d8792477176eba628498f2ef18 (diff) | |
| download | gcc-4856cc2a7d10a3da76084704a51a37aae0e59cef.zip gcc-4856cc2a7d10a3da76084704a51a37aae0e59cef.tar.gz gcc-4856cc2a7d10a3da76084704a51a37aae0e59cef.tar.bz2 | |
sem_ch4.adb (Is_Empty_Range): Use bounds of index type to determine whether an array is empty when...
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch4.adb (Is_Empty_Range): Use bounds of index type
to determine whether an array is empty when optimizing
a quantified expression over a null range. Use of RM_Size
was incorrect. Analyze condition before constant-folding the
expression to catch potential errors. Modify the error message
to avoid mathematical terminology.
From-SVN: r191958
Diffstat (limited to 'gcc/tree-streamer-in.c')
0 files changed, 0 insertions, 0 deletions