exp_ch4.adb (Expand_Concatenate_Other): Add explicit constraint checks on the upper...
authorEd Schonberg <schonberg@adacore.com>
Mon, 26 May 2008 13:12:35 +0000 (15:12 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 26 May 2008 13:12:35 +0000 (15:12 +0200)
commite886436a676e018e34a90a1a4da323ed9af25477
tree738ec625d7b4f862f8a375567d6c4552506297ab
parent39281edfdca8b401baab27dad7e5e205184541dc
exp_ch4.adb (Expand_Concatenate_Other): Add explicit constraint checks on the upper bound if...

2008-05-26  Ed Schonberg  <schonberg@adacore.com>

* exp_ch4.adb (Expand_Concatenate_Other): Add explicit constraint
checks on the upper bound if the index type is a modular type, to
prevent wrap-around computations when size is close to upper bound of
type.

From-SVN: r135918
gcc/ada/exp_ch4.adb