summaryrefslogtreecommitdiff
path: root/gcc/ada/sem_res.adb
Commit message (Expand)AuthorAgeFilesLines
* sem_res.adb (Large_Storage_Type): A type is large if it requires as many bits...Samuel Tardieu2008-06-071-6/+10
* * sem_res.adb: Minor reformattingArnaud Charlet2008-05-291-5/+4
* sem_res.adb (Valid_Conversion): An anonymous access_to_subprogram type has a ...Ed Schonberg2008-05-281-8/+8
* restrict.ads: Add missing restrictions, and properly label all GNAT defined onesRobert Dewar2008-05-281-0/+9
* sem_res.adb: Minor comment fixesThomas Quinot2008-05-271-2/+2
* sem_res.adb (Resolve_Op_Not): Warn on double negationRobert Dewar2008-05-201-0/+13
* vms_data.ads: Fix typo in constant.Ralf Wildenhues2008-04-141-1/+1
* sem_ch10.adb, [...]: Fix comment typos.Ralf Wildenhues2008-04-131-17/+17
* exp_ch2.adb: Minor reformatting.Hristian Kirtchev2008-04-081-187/+394
* sem_res.adb (Check_Infinite_Recursion): Diagnose definite infinite recursion ...Robert Dewar2008-03-261-13/+60
* atree.ads, atree.adb (Traverse_Func): Walk Field2 last, and eliminate the res...Bob Duff2007-12-191-111/+167
* exp_prag.adb (Expand_Pragma_Assert): Recognize new warning flag for assert failRobert Dewar2007-12-131-30/+117
* s-taprop-solaris.adb, [...]: Minor reformatting.Robert Dewar2007-10-151-20/+88
* sem_res.adb (Resolve_Call): If the call is dispatching...Ed Schonberg2007-09-261-6/+21
* exp_atag.ads, [...]: Replace headers with GPL v3 headers.Robert Dewar2007-09-101-4/+3
* restrict.adb, [...]: Remove redundant type conversion.Hristian Kirtchev2007-08-311-5/+15
* sem_res.adb (Comes_From_Predefined_Lib_Unit): New.Hristian Kirtchev2007-08-161-6/+52
* sem_res.adb (Resolve_Allocator): Propagate any coextensions that appear in th...Ed Schonberg2007-08-141-74/+167
* sem_res.ads, [...] (Process_Allocator): Do not propagate the chain of coexten...Hristian Kirtchev2007-06-061-221/+694
* exp_ch4.adb (Expand_N_Type_Conversion): Remove special processing for convers...Geert Bosch2007-04-061-95/+402
* sem_res.adb (Resolve_Unary_Op): Add warning for use of unary minus with multi...Robert Dewar2006-10-311-166/+455
* sem_res.adb (Resolve_Type_Conversion): In case of conversion to an abstract i...Javier Miranda2006-02-171-37/+24
* re PR ada/25885 (Tree checking failure on ASIS)Ed Schonberg2006-02-151-149/+304
* exp_util.ads, [...] (Is_Ref_To_Bit_Packed_Slice): Handle case of type convers...Robert Dewar2005-12-091-39/+53
* sem_res.adb (Resolve_Call): Provide a better error message whenever a procedu...Hristian Kirtchev2005-11-151-82/+111
* sem_res.adb (Resolve_Membership_Op): In case of the membership test "Iface_CW...Javier Miranda2005-09-051-83/+115
* freeze.adb (Freeze_Entity): Check wrong uses of tag incomplete types.Javier Miranda2005-07-071-0/+13
* sem_res.adb (Resolve_Actuals): Do not resolve the expression of an actual tha...Thomas Quinot2005-07-041-8/+12
* Update FSF addressR. Kelley Cook2005-07-011-2/+2
* exp_ch4.adb (Expand_Allocator_Expression): When an initialized allocator's de...Gary Dismukes2005-06-161-184/+397
* sem_res.adb (Resolve_Real_Literal): Generate warning if static fixed-point ex...Robert Dewar2005-03-291-21/+97
* exp_dist.adb (Get_PCS_Name): Move from Exp_Dist body to Sem_Dist spec...Thomas Quinot2005-03-181-33/+35
* g-zstspl.ads: New file.Robert Dewar2005-02-101-52/+131
* sem_ch4.adb (Has_Fixed_Op): New predicate in Check_Arithmetic_Pair...Arnaud Charlet2005-01-031-6/+14
* [multiple changes]Arnaud Charlet2004-08-131-1/+5
* [multiple changes]Arnaud Charlet2004-08-091-14/+0
* [multiple changes]Arnaud Charlet2004-07-261-1/+5
* [multiple changes]Arnaud Charlet2004-07-061-3/+3
* [multiple changes]Arnaud Charlet2004-06-111-0/+1
* [multiple changes]Arnaud Charlet2004-06-071-65/+121
* [multiple changes]Arnaud Charlet2004-05-031-1/+1
* [multiple changes]Arnaud Charlet2004-04-211-1/+3
* [multiple changes]Arnaud Charlet2004-04-191-0/+7
* [multiple changes]Arnaud Charlet2004-04-081-2/+7
* [multiple changes]Arnaud Charlet2004-03-291-2/+33
* [multiple changes]Arnaud Charlet2004-02-121-0/+16
* [multiple changes]Arnaud Charlet2004-02-021-1/+2
* [multiple changes]Arnaud Charlet2004-01-191-2/+1
* [multiple changes]Arnaud Charlet2004-01-131-4/+6
* [multiple changes]Arnaud Charlet2004-01-121-3/+3