summaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
Commit message (Expand)AuthorAgeFilesLines
* checks.ads, checks.adb (Selected_Range_Checks): No range check is required fo...Thomas Quinot2007-04-061-385/+382
* treepr.adb: Use new subtype N_Membership_TestRobert Dewar2006-10-311-202/+587
* checks.adb (Build_Discriminant_Checks): If the expression being checks is an ...Ed Schonberg2006-02-151-77/+115
* re PR ada/18434 (Ada: cannot build gnattools on Tru64 UNIX V5.1B)Robert Dewar2005-11-151-15/+35
* checks.adb (Check_Needed): New procedure...Robert Dewar2005-09-051-190/+228
* checks.adb (Null_Exclusion_Static_Checks): In the case of N_Object_Declaratio...Gary Dismukes2005-07-041-7/+11
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* checks.adb (Install_Null_Excluding_Check): Do not generate checks for an attr...Ed Schonberg2005-06-161-7/+49
* checks.adb (Apply_Array_Size_Check): Completely remove this for GCC 3, since ...Robert Dewar2005-03-181-122/+95
* checks.adb (Get_E_First_Or_Last): When the expression being retrieved is an N...Thomas Quinot2005-03-151-1/+11
* g-zstspl.ads: New file.Robert Dewar2005-02-101-10/+28
* checks.adb (Apply_Alignment_Check): Generate a warning if an object address i...Arnaud Charlet2005-01-031-17/+31
* checks.adb (Expr_Known_Valid): If floating-point validity checks are enabled...Ed Schonberg2004-10-271-5/+18
* exp_ch3.adb (Needs_Simple_Initialization): Modular packed arrays no longer ne...Robert Dewar2004-10-041-3/+7
* [multiple changes]Arnaud Charlet2004-09-131-0/+1
* [multiple changes]Arnaud Charlet2004-09-011-5/+12
* [multiple changes]Arnaud Charlet2004-08-091-7/+26
* [multiple changes]Arnaud Charlet2004-07-061-4/+4
* [multiple changes]Arnaud Charlet2004-06-281-7/+0
* revert: [multiple changes]Arnaud Charlet2004-06-251-88/+145
* [multiple changes]Arnaud Charlet2004-06-071-10/+10
* [multiple changes]Arnaud Charlet2004-05-141-2/+1
* [multiple changes]Arnaud Charlet2004-04-291-0/+10
* [multiple changes]Arnaud Charlet2004-04-191-114/+364
* [multiple changes]Arnaud Charlet2004-04-011-52/+26
* [multiple changes]Arnaud Charlet2004-03-291-14/+208
* [multiple changes]Arnaud Charlet2004-02-021-2/+3
* [multiple changes]Arnaud Charlet2004-01-051-2/+5
* [multiple changes]Arnaud Charlet2003-12-171-1/+4
* [multiple changes]Arnaud Charlet2003-11-141-0/+20
* 3psoccon.ads, [...]: Files added.Arnaud Charlet2003-10-211-222/+1672
* 1aexcept.adb, [...]: Merge header, formatting and other trivial changes from ...Geert Bosch2003-04-241-1/+0
* Nathanael Nerode <neroden@gcc.gnu.org> PR ada/6919 (forward port of patch for...Nathanael Nerode2002-10-231-1/+1
* * checks.ads:Matthew Gingell2002-03-281-0/+98
* Delete all lines containing "$Revision:".Geoffrey Keating2002-03-141-1/+0
* 41intnam.ads, [...]: Merge in ACT changes.Geert Bosch2002-03-081-38/+66
* ali.adb: Type reference does not reset current file.Geert Bosch2001-12-171-13/+40
* einfo.ads: Minor reformattingGeert Bosch2001-12-111-0/+74
* checks.adb (Insert_Valid_Check): Apply validity check to expression of conver...Geert Bosch2001-12-111-19/+28
* checks.adb (Determine_Range): Increase cache size for checks.Robert Dewar2001-12-051-2/+2
* einfo.adb (Write_Field19_Name): Body_Entity is also defined for a generic pac...Ed Schonberg2001-10-111-4/+24
* New Language: AdaRichard Kenner2001-10-021-0/+4093