diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-05-20 14:44:55 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-05-20 14:44:55 +0200 |
| commit | 685094bfdee3a606aa8ebf491f4968d9cd4879db (patch) | |
| tree | 07adf48529a7f93ac90b78c757b1211f4363f826 /gcc/fixproto | |
| parent | e7841bacf5a86bd2523a39abb8e6f6385297b6fd (diff) | |
| download | gcc-685094bfdee3a606aa8ebf491f4968d9cd4879db.zip gcc-685094bfdee3a606aa8ebf491f4968d9cd4879db.tar.gz gcc-685094bfdee3a606aa8ebf491f4968d9cd4879db.tar.bz2 | |
re PR ada/30740 (Improper semantics in gnat's compilation of certain expressions involving modular arithmetic)
2008-05-20 Robert Dewar <dewar@adacore.com>
PR ada/30740
* einfo.ads, einfo.adb (Non_Binary_Modulus): Applies to all types and
subtypes, always False for non-modular types.
Shared_Var_Assign_Proc (node22) and Shared_Var_Read_Proc (node 15)
entry nodes have been replaced by Shared_Var_Procs_Instance (node22)
for Shared_Storage package.
(Is_RACW_Stub_Type): New entity flag.
* exp_ch4.adb
(Expand_N_Op_Expon): Avoid incorrect optimization of a*(2**b) in the
case where we have a modular type with a non-binary modules.
Comments reformattings.
* sem_intr.adb: Simplify code not that Non_Binary_Modulus applies to
all types.
From-SVN: r135619
Diffstat (limited to 'gcc/fixproto')
0 files changed, 0 insertions, 0 deletions