diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2018-07-31 09:56:36 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-31 09:56:36 +0000 |
| commit | 948071faa6c0c6566056e0cb7b0a41c6c4b0ae79 (patch) | |
| tree | 4b8b435d7b8c68e167d1c201cb17bac9e4f6b1be /gcc/ada/gnatxref.adb | |
| parent | 51d4bdfb567c86de722ac5a72b79c8f51209228c (diff) | |
| download | gcc-948071faa6c0c6566056e0cb7b0a41c6c4b0ae79.zip gcc-948071faa6c0c6566056e0cb7b0a41c6c4b0ae79.tar.gz gcc-948071faa6c0c6566056e0cb7b0a41c6c4b0ae79.tar.bz2 | |
[Ada] Refine generation of range checks to happen in front end
2018-07-31 Ed Schonberg <schonberg@adacore.com>
gcc/ada/
* exp_attr.adb (Expand_Attribute, case Fixed_Value): Set the
base type of the result to ensure that proper overflow and range
checks are generated. If the target is a fixed-point tyoe,
generate the required overflow and range checks explicitly,
rather than relying on Apply_Type_Conversion_Checks, which might
simply set the Do_Range_Check flag and rely on the backend to
add the check.
From-SVN: r263104
Diffstat (limited to 'gcc/ada/gnatxref.adb')
0 files changed, 0 insertions, 0 deletions