aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2008-08-04re PR middle-end/36691 (wrong value left in induction variable)Richard Guenther4-2/+30
2008-08-04 Richard Guenther <rguenther@suse.de> PR middle-end/36691 * tree-ssa-loop-niter.c (number_of_iterations_lt_to_ne): Correctly check for no_overflow. * gcc.c-torture/execute/pr36691.c: New testcase. From-SVN: r138645
2008-08-04vect-complex-5.c: New test.Victor Kaplansky2-0/+49
2008-08-04 Victor Kaplansky <victork@il.ibm.com> * gcc.dg/vect/vect-complex-5.c: New test. From-SVN: r138643
2008-08-04tree-vect-transform.c (vectorizable_call): Fix tuplification.Richard Guenther2-11/+11
2008-08-04 Richard Guenther <rguenther@suse.de> * tree-vect-transform.c (vectorizable_call): Fix tuplification. From-SVN: r138642
2008-08-04arm.c (thumb_core_reg_alloc_order): New.Paul Brook4-0/+37
2008-08-04 Paul Brook <paul@codesourcery.com> gcc/ * cofig/arm/arm.c (thumb_core_reg_alloc_order): New. (arm_order_regs_for_local_alloc): New function. * config/arm/arm-protos.h (arm_order_regs_for_local_alloc): Add prototype. * config/arm/arm.h (ORDER_REGS_FOR_LOCAL_ALLOC): Define. From-SVN: r138640
2008-08-04exp_ch4.adb: Minor reformattingArnaud Charlet2-2/+19
2008-08-04 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: Minor reformatting From-SVN: r138638
2008-08-04sem_prag.adb (Process_Convention): Add missing support for ↵Javier Miranda1-13/+11
N_Private_Extension_Declaration nodes. 2008-08-04 Javier Miranda <miranda@adacore.com> * sem_prag.adb (Process_Convention): Add missing support for N_Private_Extension_Declaration nodes. From-SVN: r138637
2008-08-04g-soccon-mingw.ads: Fix value for MSG_WAITALLVasiliy Fofanov1-1/+1
2008-08-04 Vasiliy Fofanov <fofanov@adacore.com> * g-soccon-mingw.ads: Fix value for MSG_WAITALL From-SVN: r138636
2008-08-04sem_type.adb, [...]: Minor reformattingThomas Quinot4-7/+6
2008-08-04 Thomas Quinot <quinot@adacore.com> * sem_type.adb, sem_ch4.adb, sprint.adb, exp_ch3.adb: Minor reformatting From-SVN: r138635
2008-08-04re PR c++/36999 (Erroneous "declaration 'class ...' does not declare ↵Simon Baldwin4-1/+52
anything" warnings possible) PR c++/36999 * parser.c (cp_parser_elaborated_type_specifier): Warn only when the declaration's id is followed by a semicolon. * g++.dg/warn/pr36999.C: New. From-SVN: r138633
2008-08-04re PR c++/37012 (numerous stackalign related testsuite failures on ↵H.J. Lu2-8/+13
i686-apple-darwin9) 2008-08-04 H.J. Lu <hongjiu.lu@intel.com> PR target/37012 * config/i386/i386.c (ix86_expand_prologue): Use UNITS_PER_WORD instead of STACK_BOUNDARY / BITS_PER_UNIT to align stack. (ix86_expand_epilogue): Likewise. From-SVN: r138631
2008-08-04adaint.c: Refine support for Windows file attributes.Arnaud Charlet2-15/+66
2008-08-04 Pascal Obry <obry@adacore.com> * adaint.c: Refine support for Windows file attributes. From-SVN: r138620
2008-08-04sem_ch4.adb: Minor reformatting.Thomas Quinot1-2/+2
2008-08-04 Thomas Quinot <quinot@adacore.com> * sem_ch4.adb: Minor reformatting. From-SVN: r138619
2008-08-04exp_ch6.adb: Minor comment fix.Thomas Quinot1-1/+1
2008-08-04 Thomas Quinot <quinot@adacore.com> * exp_ch6.adb: Minor comment fix. From-SVN: r138618
2008-08-042008-08-04 Robert Dewar <dewar@adacore.com>Robert Dewar1-1/+2
* freeze.adb: (Freeze_Entity): Only check No_Default_Initialization restriction for constructs that come from source From-SVN: r138617
2008-08-04sem_eval.adb (Subtypes_Statically_Match): Remove superfluous patch added in ↵Javier Miranda1-6/+1
previous patch to handle access to subprograms. 2008-08-04 Javier Miranda <miranda@adacore.com> * sem_eval.adb (Subtypes_Statically_Match): Remove superfluous patch added in previous patch to handle access to subprograms. From-SVN: r138616
2008-08-042008-08-04 Robert Dewar <dewar@adacore.com>Robert Dewar1-1/+21
* sem_res.adb: (Valid_Conversion): Catch case of designated types having different sizes, even though they statically match. From-SVN: r138615
2008-08-04adaint.h: Add missing prototype.Pascal Obry1-0/+1
2008-08-04 Pascal Obry <obry@adacore.com> * adaint.h: Add missing prototype. From-SVN: r138614
2008-08-04adaint.c, [...]: Use Windows ACL to deal with file attributes.Arnaud Charlet4-8/+220
2008-08-04 Pascal Obry <obry@adacore.com> * adaint.c, s-os_lib.adb, s-os_lib.ads: Use Windows ACL to deal with file attributes. From-SVN: r138613
2008-08-04sem_ch13.ads: Minor comment updateRobert Dewar1-6/+10
2008-08-04 Robert Dewar <dewar@adacore.com> * sem_ch13.ads: Minor comment update * sem_res.adb: (Large_Storage_Type): Improve previous change. From-SVN: r138612
2008-08-04i386.c (ix86_compute_frame_layout): Fix a typo in comments.H.J. Lu2-1/+7
2008-08-04 H.J. Lu <hongjiu.lu@intel.com> * config/i386/i386.c (ix86_compute_frame_layout): Fix a typo in comments. From-SVN: r138611
2008-08-04sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support for ↵Javier Miranda9-48/+137
N_Formal_Object_Declaration nodes. 2008-08-04 Javier Miranda <miranda@adacore.com> * sem_ch3.adb (Access_Subprogram_Declaration): Adding missing support for N_Formal_Object_Declaration nodes. Adding kludge required by First_Formal to provide its functionality with access to functions. (Replace_Anonymous_Access_To_Protected_Subprogram): Add missing support for anonymous access types returned by functions. * sem_ch5.adb (Analyze_Assignment): Code cleanup to avoid duplicate conversion of null-excluding access types (required only once to force the generation of the required runtime check). * sem_type.adb (Covers): minor reformating * checks.adb (Null_Exclusion_Static_Checks): Avoid reporting errors with internally generated nodes. Avoid generating the error inside init procs. * sem_res.adb (Resolve_Membership_Test): Minor reformating. (Resolve_Null): Generate the null-excluding check in case of assignment to a null-excluding object. (Valid_Conversion): Add missing support for anonymous access to subprograms. * sem_ch6.adb (Check_Return_Subtype_Indication): Add missing support for anonymous access types whose designated type is an itype. This case occurs with anonymous access to protected subprograms types. (Analyze_Return_Type): Add missing support for anonymous access to protected subprogram. * sem_eval.adb (Subtypes_Statically_Match): In case of access to subprograms addition of missing check on matching convention. Required to properly handle access to protected subprogram types. * exp_ch3 (Build_Assignment): Code cleanup removing duplicated check on null excluding access types. From-SVN: r138610
2008-08-04* gnat.dg/test_ai254.adb: New test.Arnaud Charlet2-0/+13
From-SVN: r138609
2008-08-04* gnat.dg/bip_aggregate_bug.adb: New test.Arnaud Charlet2-0/+58
From-SVN: r138606
2008-08-04g-soccon-mingw-64.ads, [...]: New files.Arnaud Charlet4-4/+473
2008-08-04 Vasiliy Fofanov <fofanov@adacore.com> * g-soccon-mingw-64.ads, system-mingw-x86_64.ads: New files. * gcc-interface/Makefile.in: Use 64bit-specific system files when compiling for 64bit windows. From-SVN: r138605
2008-08-04g-comlin.adb: Minor reformattingRobert Dewar1-6/+10
2008-08-04 Robert Dewar <dewar@adacore.com> * g-comlin.adb: Minor reformatting From-SVN: r138604
2008-08-04exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the target to ↵Gary Dismukes3-21/+47
the type of the aggregate in the case... 2008-08-04 Gary Dismukes <dismukes@adacore.com> * exp_aggr.adb (Build_Record_Aggr_Code): Perform a conversion of the target to the type of the aggregate in the case where the target object is class-wide. * exp_ch5.adb (Expand_Simple_Function_Return): When the function's result type is class-wide and inherently limited, and the expression has a specific type, create a return object of the specific type, for more efficient handling of returns of build-in-place aggregates (avoids conversions of the class-wide return object to the specific type on component assignments). * sem_ch6.adb (Check_Return_Subtype_Indication): Suppress the error about a type mismatch for a class-wide function with a return object having a specific type when the object declaration doesn't come from source. Such an object can result from the expansion of a simple return. From-SVN: r138603
2008-08-04exp_dist.adb: Minor reformattingRobert Dewar1-1/+1
2008-08-04 Robert Dewar <dewar@adacore.com> * exp_dist.adb: Minor reformatting From-SVN: r138602
2008-08-04exp_ch4.adb: Minor reformattingRobert Dewar1-1/+1
2008-08-04 Robert Dewar <dewar@adacore.com> * exp_ch4.adb: Minor reformatting From-SVN: r138601
2008-08-04sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null access ↵Ed Schonberg1-3/+16
type and the allocator is not... 2008-08-04 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_Allocator): If the designated type is a non-null access type and the allocator is not initialized, warn rather than reporting an error. From-SVN: r138600
2008-08-04sem_ch12.adb: Add commentsEd Schonberg1-2/+3
2008-08-04 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Add comments From-SVN: r138599
2008-08-04snames.h, [...]: Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines.Arnaud Charlet10-536/+747
2008-08-04 Kevin Pouget <pouget@adacore.com> * snames.h, snames.adb, snames.ads: Add Attr_To_Any, Attr_From_Any and Attr_TypeCode defines. * exp_dist.ads, exp_dist.adb: Add Build_From_Any_Call, Build_To_Any_Call and Build_TypeCode_Call procedures. * exp_attr.adb, sem_attr.adb: Add corresponding cases. * rtsfind.ads: Add corresponding names. * tbuild.adb: Update prefix restrictions to allow '_' character. From-SVN: r138598
2008-08-04exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for chain at ↵Ed Schonberg1-3/+5
once... 2008-08-04 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Get_Allocator_Final_List): Freeze anonymous type for chain at once, to ensure that type is properly decorated for back-end, when allocator appears within a loop. From-SVN: r138597
2008-08-04g-comlin.adb (Group_Switches): Preserve the switch order when grouping and ↵Jerome Lambourg1-54/+18
allow switch grouping of switches... 2008-08-04 Jerome Lambourg <lambourg@adacore.com> * g-comlin.adb (Group_Switches): Preserve the switch order when grouping and allow switch grouping of switches with more than one character extension (e.g. gnatw.x). (Args_From_Expanded): Remove this now obsolete method. From-SVN: r138596
2008-08-04Minor reformatting.Arnaud Charlet1-193/+187
From-SVN: r138595
2008-08-04gigi.h (fill_vms_descriptor): Add third parameter gnat_actualArnaud Charlet4-16/+58
2008-08-04 Doug Rupp <rupp@adacore.com> * gigi.h (fill_vms_descriptor): Add third parameter gnat_actual * trans.c (call_to_gnu): Call fill_vms_descriptor with new parameter. * utils2.c (fill_vms_descriptor): Add third parameter for error sloc and use it. Calculate pointer range overflow using 64bit types. From-SVN: r138594
2008-08-04mlib.adb (Create_Sym_Links): Create relative symbolic links when requestedVincent Celier1-14/+9
2008-08-04 Vincent Celier <celier@adacore.com> * mlib.adb (Create_Sym_Links): Create relative symbolic links when requested From-SVN: r138593
2008-08-04usage.adb (Usage): Minor rewording of -gnatwz switch, to improve gnatcheck ↵Arnaud Charlet1-4/+9
support in GPS. 2008-08-04 Arnaud Charlet <charlet@adacore.com> * usage.adb (Usage): Minor rewording of -gnatwz switch, to improve gnatcheck support in GPS. From-SVN: r138592
2008-08-04sem_ch3.adb (Access_Definition): A formal object declaration is a legal ↵Ed Schonberg4-16/+78
context for an anonymous access to... 2008-08-04 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Access_Definition): A formal object declaration is a legal context for an anonymous access to subprogram. * sem_ch4.adb (Analyze_One_Call): If the call can be interpreted as an indirect call, report success to the caller to include possible interpretation. * sem_ch6.adb (Check_Return_Type_Indication): Apply proper conformance check when the type of the extended return is an anonymous access_to_subprogram type. * sem_res.adb: (Resolve_Call): Insert a dereference if the type of the subprogram is an access_to_subprogram and the context requires its return type, and a dereference has not been introduced previously. From-SVN: r138591
2008-08-04gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean variable...Vincent Celier10-166/+302
2008-08-04 Vincent Celier <celier@adacore.com> * gprep.adb (Process_One_File): Call Prep.Preprocess with a Boolean variable, but don't check the resulting value as it has no impact on the processing. * opt.ads: (Generate_Processed_File): New Boolean flag, set to True in the compiler when switch -gnateG is used. * prep.adb: (Preprocess): new Boolean out parameter Source_Modified. Set it to True when the source is modified by the preprocessor and there is no preprocessing errors. * prep.ads (Preprocess): new Boolean out parameter Source_Modified * sinput-l.adb: (Load_File): Output the result of preprocessing if the source text was modified. * switch-c.adb (Scan_Front_End_Switches): Recognize switch -gnateG * switch-m.adb (Normalize_Compiler_Switches): Normalize switch -gnateG * ug_words: Add VMS equivalent for -gnateG * vms_data.ads: Add VMS option /GENERATE_PROCESSED_SOURCE, equivalent to switch -gnateG From-SVN: r138590
2008-08-04utils2.c (fill_vms_descriptor): Use long_integer for comparison.Doug Rupp1-4/+5
2008-08-04 Doug Rupp <rupp@adacore.com> * utils2.c (fill_vms_descriptor): Use long_integer for comparison. Call add_stmt_with_node to set locus. From-SVN: r138589
2008-08-042008-08-04 Doug Rupp <rupp@adacore.com>Arnaud Charlet2-8/+63
* gcc-interface/utils2.c: (fill_vms_descriptor): Raise CE if attempt made to pass 64bit pointer in 32bit descriptor. From-SVN: r138588
2008-08-04sem_ch10.adb: Minor comment fix.Thomas Quinot1-1/+1
2008-08-04 Thomas Quinot <quinot@adacore.com> * sem_ch10.adb: Minor comment fix. From-SVN: r138587
2008-08-04sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI target.Arnaud Charlet1-10/+7
2008-08-04 Arnaud Charlet <charlet@adacore.com> * sem_prag.adb (Check_Form_Of_Interface_Name): Fix handling for CLI target. From-SVN: r138586
2008-08-04make.adb: Correct spelling error in commentVincent Celier1-1/+1
2008-08-04 Vincent Celier <celier@adacore.com> * make.adb: Correct spelling error in comment From-SVN: r138585
2008-08-04prj-attr.adb: New Builder attribute Global_Compilation_SwitchesVincent Celier3-88/+91
2008-08-04 Vincent Celier <celier@adacore.com> * prj-attr.adb: New Builder attribute Global_Compilation_Switches * snames.adb: New standard name Global_Compilation_Switches * snames.ads: New standard name Global_Compilation_Switches From-SVN: r138584
2008-08-04sem_ch3.adb (Access_Definition): Create an itype reference for an anonymous ↵Ed Schonberg1-4/+16
access return type of a regular... 2008-08-04 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Access_Definition): Create an itype reference for an anonymous access return type of a regular function that is not a compilation unit. From-SVN: r138583
2008-08-04i-cobol.adb: Minor reformatting.Pascal Obry1-3/+16
2008-08-04 Pascal Obry <obry@adacore.com> * i-cobol.adb: Minor reformatting. From-SVN: r138582
2008-08-04par-ch10.adb: Minor reformattingRobert Dewar1-5/+4
2008-08-04 Robert Dewar <dewar@adacore.com> * par-ch10.adb: Minor reformatting From-SVN: r138581
2008-08-04Resync.Arnaud Charlet1-0/+28
From-SVN: r138580
2008-08-04sem_prag.adb (Check_Precondition_Postcondition): When scanning the list of ↵Ed Schonberg1-1/+12
declaration to find previous subprogram... 2008-08-04 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Check_Precondition_Postcondition): When scanning the list of declaration to find previous subprogram, do not go to the original node of a generic unit. From-SVN: r138579