[Ada] Implement extended overflow checks, step 1

[Arnaud Charlet <charlet at adacore dot com>]

This patch extends the type Suppress_Array in types.ads to include
the switches to control extended overflow checking. The new type is
called Suppress_Record, and all uses elsewhere of Suppress_Array
are changed to be Suppress_Record. So far, the only settings for
the new overflow checking modes are Suppress and Check_All, which
are equivalent to the previous Suppress and check modes, so there
is no functional change so far, so no test is required.

Tested on x86_64-pc-linux-gnu, committed on trunk

2012-08-06  Robert Dewar  <dewar@adacore.com>

	* exp_util.adb, switch-c.adb, inline.ads, sem_ch10.adb, types.ads,
	checks.adb, sem_prag.adb, sem.adb, sem.ads, sem_res.adb, sem_attr.adb,
	gnat1drv.adb, exp_ch4.adb, exp_ch6.adb, opt.ads, osint.adb: Implement
	extended overflow checks (step 1).
	(Suppress_Array): extended to include switches to control extended
	overflow checking.
	Update all uses of Suppress_Array.

Attachment: difs
Description: Text document