summaryrefslogtreecommitdiff
path: root/gcc/ada/checks.adb
Commit message (Expand)AuthorAgeFilesLines
* a-tags.adb (Register_Interface_Offset): New subprogram.Javier Miranda2008-04-081-21/+42
* checks.adb (Ensure_Valid): Capture valid status if possible (eliminate checks)Robert Dewar2008-03-261-2/+8
* 9drpc.adb, [...]: Fix comment typos.Ralf Wildenhues2008-03-241-1/+1
* atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate the res...Bob Duff2007-12-191-9/+5
* checks.adb: Fix optimization problem with short-circuited formRobert Dewar2007-12-131-10/+30
* s-taprop-solaris.adb, [...]: Minor reformatting.Robert Dewar2007-10-151-10/+8
* checks.adb, [...]: Improve warnings for address overlays.Robert Dewar2007-09-261-0/+2
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-4/+3
* checks.adb (In_Declarative_Region_Of_Subprogram_Body): New routine.Hristian Kirtchev2007-08-311-3/+95
* inline.adb, [...]: Suppress unmodified in-out parameter warning in some cases...Robert Dewar2007-08-141-80/+173
* checks.ads, checks.adb (Apply_Address_Clause_Check): Handle case in which the...Javier Miranda2007-06-061-305/+122
* 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