aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2009-11-30re PR middle-end/42196 (ICE when SRAing partial assigments to complex number)Martin Jambor6-6/+134
2009-11-30 Martin Jambor <mjambor@suse.cz> PR middle-end/42196 * tree-sra.c (struct access): New field grp_different_types. (dump_access): Dump grp_different_types. (compare_access_positions): Prefer scalars and vectors over other scalar types. (sort_and_splice_var_accesses): Set grp_different_types if appropriate. (sra_modify_expr): Use the original also when dealing with a complex or vector group accessed as multiple types. * testsuite/gcc.c-torture/compile/pr42196-1.c: New test. * testsuite/gcc.c-torture/compile/pr42196-2.c: New test. * testsuite/gcc.c-torture/compile/pr42196-3.c: New test. From-SVN: r154834
2009-11-30i386.c (avx_vperm2f128_parallel): New.Richard Henderson5-1/+135
* config/i386/i386.c (avx_vperm2f128_parallel): New. * config/i386/i386-protos.h: Declare it. * config/i386/predicates.md (avx_vperm2f128_v8sf_operand, avx_vperm2f128_v8si_operand, avx_vperm2f128_v4df_operand): New. * config/i386/sse.md (avx_vperm2f128<mode>3): Change to expander. (*avx_vperm2f128<mode>_full): Renamed from avx_vperm2f128<mode>3. (*avx_vperm2f128<mode>_nozero): New. From-SVN: r154832
2009-11-30i386-builtin-types.def (V4DF_FTYPE_V4DF_V4DF_V4DI): New.Richard Henderson3-9/+45
* config/i386/i386-builtin-types.def (V4DF_FTYPE_V4DF_V4DF_V4DI): New. (V8SF_FTYPE_V8SF_V8SF_V8SI): New. * config/i386/i386.c (ix86_vectorize_builtin_vec_perm): Support V4DF and V8SF for AVX; relax constraint on V4SF to SSE1 from SSE2. (IX86_BUILTIN_VEC_PERM_V4DF, IX86_BUILTIN_VEC_PERM_V8SF): New. (bdesc_args): Add them. (ix86_expand_builtin): Expand them. (expand_vec_perm_pshufb2): Only operate on 16-byte vectors. From-SVN: r154831
2009-11-30[multiple changes]Arnaud Charlet6-70/+86
2009-11-30 Vasiliy Fofanov <fofanov@adacore.com> * vms_data.ads: Add new VMS qualifiers, REVERSE_BIT_ORDER/NOREVERSE_BIT_ORDER, to support warnings on bit order effects. 2009-11-30 Thomas Quinot <quinot@adacore.com> * exp_ch9.adb, exp_ch9.ads, sem_util.ads: Minor reformatting. 2009-11-30 Gary Dismukes <dismukes@adacore.com> * sem_prag.adb: Fix spelling error. From-SVN: r154829
2009-11-30[multiple changes]Arnaud Charlet7-84/+153
2009-11-30 Ed Schonberg <schonberg@adacore.com> * exp_ch9.ads (Build_Private_Protected_Declaration): For a protected operation that is only declared in a protected body, create a corresponding subprogram declaration. * exp_ch9.adb (Expand_N_Protected_Body): Create protected body of operation in all cases, including for an operation that is only declared in the body. * sem_ch6.adb: Call Build_Private_Protected_Declaration * exp_ch6.adb (Expand_N_Subprogram_Declaration): For an operation declared in a protected body, create the declaration for the corresponding protected version of the operation. 2009-11-30 Arnaud Charlet <charlet@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Disable specific expansions for Restrictions pragmas, to avoid tree inconsistencies between compilations with different pragmas. 2009-11-30 Jerome Lambourg <lambourg@adacore.com> * sem_prag.adb (Check_Duplicated_Export_Name): Allow entities exported to CIL to have duplicated export name. From-SVN: r154828
2009-11-30[multiple changes]Arnaud Charlet7-15/+29
2009-11-30 Robert Dewar <dewar@adacore.com> * a-tiinio.adb: Remove extraneous pragma Warnings (Off). 2009-11-30 Thomas Quinot <quinot@adacore.com> * par_sco.adb: Minor reformatting 2009-11-30 Ed Falis <falis@adacore.com> * s-vxwext.ad[s,b], system-vxworks-ppc.ads, s-stchop-vxworks.adb: Comment update. From-SVN: r154827
2009-11-30[multiple changes]Arnaud Charlet6-27/+61
2009-11-30 Ed Schonberg <schonberg@adacore.com> * par_sco.adb (Traverse_Handled_Statement_Sequence): Do not emit SCO's for null statements that do not come from source. * sinfo.ads: Clarify documentation of Comes_From_Source 2009-11-30 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Add_Source): Use Display_Name for both projects when displaying the paths in error message. 2009-11-30 Emmanuel Briot <briot@adacore.com> * adaint.h, adaint.c (file_attributes): force the use of unsigned char. On some platforms, "char" is signed, on others unsigned, so we explicitly specify the one we expect From-SVN: r154826
2009-11-30[multiple changes]Arnaud Charlet11-38/+163
2009-11-30 Matthew Heaney <heaney@adacore.com> * a-coinve.adb (Insert): Move exception handler closer to point where exception can occur. Minor reformatting & comment additions. 2009-11-30 Arnaud Charlet <charlet@adacore.com> * freeze.adb (Freeze_Entity): Disable warning on 'Foreign caller must pass bounds' for VM targets, not relevant. 2009-11-30 Robert Dewar <dewar@adacore.com> * sem_util.adb (Wrong_Type): Diagnose additional case of modular missing parens. * a-tiinio.adb, a-wtinio.adb, a-ztinio.adb: Minor reformatting * exp_util.adb (Kill_Dead_Code): Suppress warning for some additional cases. * sem_warn.adb (Set_Warning_Flag): Clean up gnatwA list and ensure completeness. (Set_Dot_Warning_Flag): Ditto for -gnatw.e (Set_Dot_Warning_Flag): Implement -gnbatw.v/w.V * usage.adb: Add lines for -gnatw.v/w.V 2009-11-30 Emmanuel Briot <briot@adacore.com> * make.adb (Check_Standard_Library): use Full_Source_Name instead of direct call to Find_File. The former provides caching of the results, so might be more efficient (Start_Compile_If_Necessary): Add comment on possible optimization, not done for now. From-SVN: r154825
2009-11-30[multiple changes]Arnaud Charlet4-11/+45
2009-11-30 Thomas Quinot <quinot@adacore.com> * g-sechas.adb: Minor reformatting 2009-11-30 Matthew Heaney <heaney@adacore.com> * a-crbtgo.adb (Delete_Fixup): Add comments explaining why predicates were removed. * a-cdlili.adb (Vet): Remove always-true predicates. From-SVN: r154823
2009-11-30s-sechas.adb, [...]: Rename System.Secure_Hashes to GNAT.Secure_Hashes.Thomas Quinot20-96/+141
2009-11-30 Thomas Quinot <quinot@adacore.com> * s-sechas.adb, s-sechas.ads, s-shshco.adb, s-shshco.ads, s-shsh64.adb, s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, s-shsh32.adb, s-shsh32.ads, s-sehash.adb, s-sehash.ads, g-sechas.adb, g-sechas.ads, g-shshco.adb, g-shshco.ads, g-md5.ads, g-sha256.ads, g-shsh64.adb, g-shsh64.ads, g-sehamd.adb, g-sehamd.ads, g-sha512.ads, g-sha1.ads, Makefile.rtl, g-sha224.ads, g-shsh32.adb, g-shsh32.ads, g-sha384.ads, g-sehash.adb, g-sehash.ads: Rename System.Secure_Hashes to GNAT.Secure_Hashes. From-SVN: r154822
2009-11-30re PR middle-end/42206 (ipa-prop.c: use of uninitialised local data)Martin Jambor2-1/+6
2009-11-30 Martin Jambor <mjambor@suse.cz> PR middle-end/42206 * ipa-prop.c (ipa_write_node_info): Initialize note_count to zero. From-SVN: r154820
2009-11-30[multiple changes]Arnaud Charlet9-9/+70
2009-11-30 Robert Dewar <dewar@adacore.com> * osint.ads: Minor comment update. 2009-11-30 Thomas Quinot <quinot@adacore.com> * s-sechas.adb: Fix swapping error in previous checkin. * g-md5.ads, g-sha256.ads, g-sha512.ads, g-sha1.ads, g-sha224.ads, g-sha384.ads: Add missing documentation. From-SVN: r154819
2009-11-30* ipa-reference.c (propagate): Only dump bitmaps if computed.Jakub Jelinek2-14/+19
From-SVN: r154818
2009-11-30[multiple changes]Arnaud Charlet11-16/+39
2009-11-30 Robert Dewar <dewar@adacore.com> * g-sha256.ads, s-sehamd.ads, s-sehamd.adb, g-sha512.ads, g-sha224.ads, g-sha384.ads: Minor reformatting 2009-11-30 Emmanuel Briot <briot@adacore.com> * adaint.h (file_attributes): Reduce size of the structure, so that it is less costly to store in records. * makeutl.adb: (Check_Source_Info_In_ALI): use Full_Source_Name instead of a direct call to Find_File, since the former provides caching when appropriate, which limits the number of system calls in some cases. * osint.ads, prj.ads (Source_Data): do not store directly the timestamp, but the file attributes since we also need access to the size of the ALI file to parse it. This gives an opportunity for saving system calls on Unix systems. From-SVN: r154817
2009-11-30sem_prag.adb, [...]: Minor reformatting.Robert Dewar4-35/+41
2009-11-30 Robert Dewar <dewar@adacore.com> * sem_prag.adb, s-sechas.ads, s-sechas.adb: Minor reformatting. From-SVN: r154816
2009-11-30[multiple changes]Arnaud Charlet7-9/+50
2009-11-30 Gary Dismukes <dismukes@adacore.com> * sem_prag.adb (Process_Convention): Change formal E to Ent. In the case where the pragma's entity argument is a renaming, return the entity denoted by the renaming rather than the renamed entity. Loop through the homonyms of the original argument entity, rather than the homonyms of any renamed entity. Correct call to Generate_Entity to pass the homonym. 2009-11-30 Vincent Celier <celier@adacore.com> * impunit.adb: Add packages that were added to the GNAT library: GNAT.SHA224, GNAT.SHA256, GNAT.SHA384 and GNAT.SHA512. * s-sechas.adb (Fill_Buffer_Copy): Fixes incorrect slice index 2009-11-30 Robert Dewar <dewar@adacore.com> * exp_ch3.adb: Minor reformatting * g-md5.ads, g-sha1.ads: Add comment. From-SVN: r154815
2009-11-30Fix header.Arnaud Charlet20-20/+20
From-SVN: r154814
2009-11-30Makefile.in: Remove handling of libgccprefix, no longer neededArnaud Charlet2-43/+5
* gcc-interface/Makefile.in: Remove handling of libgccprefix, no longer needed From-SVN: r154813
2009-11-30[multiple changes]Arnaud Charlet24-1075/+2084
2009-11-30 Pascal Obry <obry@adacore.com> * expect.c: Fix cast to avoid warnings in x86-64 Windows. 2009-11-30 Thomas Quinot <quinot@adacore.com> * gnat_rm.texi, s-sechas.adb, s-sechas.ads, s-shshco.adb, s-shshco.ads, g-md5.adb, g-md5.ads, g-sha256.ads, s-shsh64.adb, s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, g-sha512.ads, g-sha1.adb, g-sha1.ads, Makefile.rtl, g-sha224.ads, g-sha384.ads, s-shsh32.adb, s-shsh32.ads, s-sehash.adb, s-sehash.ads: Reimplementation of GNAT.MD5 and GNAT.SHA1 to factor shared code and avoid unnecessary stack copies. Also introduce new functions SHA-{224,256,384,512} From-SVN: r154812
2009-11-30re PR tree-optimization/39806 (incorrect pointer hashing in ipa-struct-reorg.c)Olga Golovanevsky2-5/+17
2009-11-30 Olga Golovanevsky <olga@il.ibm.com> PR middle-end/39806 * ipa-struct-reorg.c (new_var_eq): Use DECL_UID to hash new variables. (new_var_hash): Likewise. (is_in_new_vars_htab): Likewise. (add_to_new_vars_htab): Likewise. From-SVN: r154811
2009-11-30[multiple changes]Arnaud Charlet5-7/+21
2009-11-30 Jerome Lambourg <lambourg@adacore.com> * exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve comment for the Value_Type case. 2009-11-30 Thomas Quinot <quinot@adacore.com> * a-textio.adb: Minor reformatting 2009-11-30 Pascal Obry <obry@adacore.com> * adaint.c: Fix bug in passing parameter. * expect.c: Include io.h to get definition of _open_osfhandle From-SVN: r154810
2009-11-30[multiple changes]Arnaud Charlet7-13/+69
2009-11-30 Javier Miranda <miranda@adacore.com> * exp_ch6.adb, sem_scil.adb (Adjust_SCIL_Node): Add missing management of N_Unchecked_Type_Conversion nodes when searching for SCIL nodes. (Expand_Call): Adjust decoration of SCIL node associated with relocated function call. 2009-11-30 Emmanuel Briot <briot@adacore.com> * prj-env.adb (Add_To_Source_Path): Preserve casing of directories 2009-11-30 Vincent Celier <celier@adacore.com> * opt.ads (No_Split_Units): New flag initialized to False 2009-11-30 Jerome Lambourg <lambourg@adacore.com> * exp_ch7.adb (Needs_Finalization): Add comments. * exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve handling of CIL Value types. From-SVN: r154809
2009-11-30osint.adb, [...]: Minor reformatting.Robert Dewar3-11/+22
2009-11-30 Robert Dewar <dewar@adacore.com> * osint.adb, a-rttiev.adb: Minor reformatting. From-SVN: r154808
2009-11-30[multiple changes]Arnaud Charlet10-78/+73
2009-11-30 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Remove list of warning letters, and refer instead to using gnatmake to get a brief list. * debug.adb: Document -gnatd.i to disable pragma Warnings * par-prag.adb, sem_prag.adb: Recognize -gnatd.i to disable Warnings pragma. * vms_data.ads: Add /NOWARNINGS_PRAGMS for -gnatd.i 2009-11-30 Geert Bosch <bosch@adacore.com> * a-ngelfu.adb (Sin): Correct spelling of sine in comment. 2009-11-30 Vincent Celier <celier@adacore.com> * gnatls.adb: Do not call Get_Target_Parameters in Verbose_Mode, as it is not needed and gnatls fails when called with -v -nostdinc. 2009-11-30 Emmanuel Briot <briot@adacore.com> * osint.adb, osint.ads (File_Time_Stamp): new subprogram. From-SVN: r154807
2009-11-30gnat_rm.texi, [...]: Document new syntax for pragma AnnotateEd Schonberg3-9/+16
2009-11-30 Ed Schonberg <schonberg@adacore.com> * gnat_rm.texi, gnat_ugn.texi: Document new syntax for pragma Annotate From-SVN: r154805
2009-11-30scans.ads (Wide_Wide_Character_Found): New flagRobert Dewar8-97/+115
2009-11-30 Robert Dewar <dewar@adacore.com> * scans.ads (Wide_Wide_Character_Found): New flag * scn.adb (Post_Scan): Set new flag Has_Wide_Wide_Character * scng.adb (Set_String): Set new flag Wide_Wide_Character_Found (Set_String): Fix failure to reset Wide_Character_Found * sinfo.adb (Has_Wide_Wide_Character): New flag in N_String_Literal * sinfo.ads (Has_Wide_Wide_Character): New flag in N_String_Literal * a-ngelfu.adb: Minor reformatting & code reorganization. * usage.adb: Fix typo in -gnatw.W line From-SVN: r154804
2009-11-30osint.adb, [...]: Minor reformatting.Robert Dewar8-30/+45
2009-11-30 Robert Dewar <dewar@adacore.com> * osint.adb, prj-nmsc.adb, sem_prag.adb, sem_util.adb: Minor reformatting. * csinfo.adb: Terminate run if improper use of reserved flag * sinfo.ads, sinfo.adb (Is_Accessibility_Actual): Don't use reserved Flag12, used Flag13 instead. From-SVN: r154803
2009-11-30[multiple changes]Arnaud Charlet5-56/+86
2009-11-30 Vincent Celier <celier@adacore.com> * gnatcmd.adb (Check_Files): Recognize documented switches that have a separate parameter. 2009-11-30 Robert Dewar <dewar@adacore.com> * sem_util.ads: Minor reformatting * errout.adb: Minor reformatting Minor code reorganization (use N_Subprogram_Specification to simplify) * exp_ch7.adb: Add comment. From-SVN: r154802
2009-11-30[multiple changes]Arnaud Charlet6-66/+69
2009-11-30 Thomas Quinot <quinot@adacore.com> * put_scos.adb (Put_SCOs): Do not generate a SCO unit header for a unit that has no SCOs. * scos.ads: Minor reformatting 2009-11-30 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: Second unanalyzed parameter of Annotate is optional. 2009-11-30 Eric Botcazou <ebotcazou@adacore.com> * init.c (__gnat_adjust_context_for_raise, Linux version): Add guard for null PC saved in the context. 2009-11-30 Hristian Kirtchev <kirtchev@adacore.com> * a-calend.adb (Day_Of_Week): Rewritten. The routine determines the number of days from the Ada Epoch to the input date while ensuring that both dates are in the same time zone. From-SVN: r154801
2009-11-30[multiple changes]Arnaud Charlet9-31/+223
2009-11-30 Emmanuel Briot <briot@adacore.com> * clean.adb ("-eL"): Also set Follow_Links_For_Dirs, to match what is done in other project-aware tools like gnatmake and gprbuild. 2009-11-30 Jerome Lambourg <lambourg@adacore.com> * exp_ch3.adb (Make_Predefined_Primitive_Specs): Take care of CIL ValueTypes. * exp_ch7.adb (Needs_Finalization): Do not finalize CIL valuetypes. * sem_util.adb (Is_Value_Type): Protect against invalid calls to Chars (Is_Delegate): New method used for CIL. * sem_util.ads (Is_Delegate): New method for CIL handling. (Is_Value_Type): Improve documentation. 2009-11-30 Ed Schonberg <schonberg@adacore.com> * errout.adb (Unwind_Internal_Type): Improve error reporting if the type is an anonymous access to subprogram that is the type of a formal in a subprogram spec. 2009-11-30 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Check_Interfaces): In a Stand-Alone Library project, if attribute Interfaces is not declared, then Library_Interface should define the interfaces. 2009-11-30 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: New semantics for Annotate. From-SVN: r154800
2009-11-30Makefile.in: Do not link with -static-libgcc on Darwin.Tristan Gingold2-1/+11
2009-11-30 Tristan Gingold <gingold@adacore.com> * gcc-interface/Makefile.in: Do not link with -static-libgcc on Darwin. From-SVN: r154799
2009-11-30[multiple changes]Arnaud Charlet4-3/+31
2009-11-30 Emmanuel Briot <briot@adacore.com> * gnat_ugn.texi: Extend doc for -eL 2009-11-30 Vincent Celier <celier@adacore.com> * osint.adb (Executable_Name (File_Name_Type)): Put the Name in the Name_Buffer before testing for a dot in the Name. 2009-11-30 Vincent Celier <celier@adacore.com> * prj-part.adb (Project_Path_Name_Of): Resolve links for final result if -eL has been specified. From-SVN: r154798
2009-11-30[multiple changes]Arnaud Charlet3-7/+15
2009-11-30 Vincent Celier <celier@adacore.com> * osint.adb (Executable_Name): Test the name instead of the name buffer to check if there is a dot in the given name. 2009-11-30 Sergey Rybin <rybin@adacore.com> * gnat_ugn.texi: Update gnatcheck doc. From-SVN: r154796
2009-11-30[multiple changes]Arnaud Charlet6-22/+45
2009-11-30 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_disp.adb, usage.adb: Minor reformatting 2009-11-30 Vasiliy Fofanov <fofanov@adacore.com> * gnat_ugn.texi: Minor editing. 2009-11-30 Emmanuel Briot <briot@adacore.com> * prj-nmsc.adb (Search_Directories): when -eL was not specified, assume that no directory matches the naming scheme for sources. From-SVN: r154795
2009-11-30tree-vect-stmts.c (vectorizable_assignment): Support multiple types.Ira Rosen4-14/+54
* tree-vect-stmts.c (vectorizable_assignment): Support multiple types. From-SVN: r154794
2009-11-30[multiple changes]Arnaud Charlet10-59/+104
2009-11-30 Emmanuel Briot <briot@adacore.com> * prj.adb, prj.ads, prj-nmsc.adb (Has_Multi_Unit_Sources): New field in project_data. 2009-11-30 Vincent Celier <celier@adacore.com> * osint.adb (Executable_Name): Correctly decide if the executable suffix should be added when Only_If_No_Suffix is True. 2009-11-30 Robert Dewar <dewar@adacore.com> * frontend.adb, gnatlink.adb, prj-conf.adb, prj-tree.adb, prj-tree.ads: Minor reformatting From-SVN: r154793
2009-11-30[multiple changes]Arnaud Charlet19-124/+468
2009-11-30 Vincent Celier <celier@adacore.com> * gnatlink.adb (Process_Args): Call Executable_Name on argument of -o with Only_If_No_Suffix set to True. * osint.adb (Executable_Name): Do not add executable suffix if there is already a suffix and Only_If_No_Suffix is True. * osint.ads (Executable_Name): New Boolean parameter Only_If_No_Suffix, defaulted to False. 2009-11-30 Javier Miranda <miranda@adacore.com> * exp_atag.adb (Build_TSD): Change argument name because the actual is now the address of a tag (instead of the tag). Update implementation accordingly. (Build_CW_Membership): New implementation. Converted into a procedure because it has an additional out mode parameter. Its implementation has been rewritten to improve the generated code but also to facilitate referencing the relocated object node in the caller. * exp_atag.ads (Build_CW_Membership): Update profile and documentation. * sinfo.ads (N_SCIL_Membership_Test) New_Node. (SCIL_Tag_Value): New field of N_SCIL_Membership_Test nodes. (Is_Syntactic_Field): Add entry of new node. (SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms. * sinfo.adb (SCIL_Related_Node, SCIL_Entity): Update assertions to handle N_SCIL_Membership_Test nodes. (SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms. * sem.adb (Analyze): Add null management for new node. * sem_scil.adb (Find_SCIL_Node): Add null management for new node. (Check_SCIL_Node): Add checks of N_SCIL_Membership_Test nodes. * exp_ch4.adb (Tagged_Membership): Change profile from function to procedure. Add generation of SCIL node associated with class-wide membership test. (Expand_N_In): Complete decoration of SCIL nodes. * exp_intr.adb (Expand_Dispatching_Constructor_Call): Tune call to Build_CW_Membership because its profile has been changed. * exp_util.adb (Insert_Actions): Add null management for new node. * sprint.adb (Sprint_Node_Actual): Handle new node. * gcc-interface/trans.c Add no processing for N_SCIL_Membership_Test nodes. * gcc-interface/Make-lang.in: Update dependencies. 2009-11-30 Ed Schonberg <schonberg@adacore.com> * opt.ads: New flags Init_Or_Norm_Scalars_Config, Initialize_Scalars_Config, to capture the presence of the corresponding pragmas in a configuration file. * opt.adb (Register_, Save_, Set_, Restore_Opt_Configuration_Switches): handle new flags so that they are restored for each compilation unit. * frontend.adb: At the end of compilation, scan the context of the main unit to recover occurrences of pragma Initialize_Scalars, to annotate the ALI file accordingly. From-SVN: r154792
2009-11-30[multiple changes]Arnaud Charlet8-38/+156
2009-11-30 Vincent Celier <celier@adacore.com> * prj-tree.ads: Minor comment updates * prj-tree.adb: Minor reformatting 2009-11-30 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Derive_Subprogram): Indicate that an inherited predefined control operation is hidden if the parent type is not visibly controlled. * sem_ch6.adb (Check_Overriding_Indicator): Do not report error if overridden operation is not visible, as may be the case with predefined control operations. * sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on non-overriding control operation when type is not visibly controlled, if the subprogram has an explicit overriding indicator. * sem_util.ads, sem_util.adb (Is_Visibly_Controlled): Moved here from sem_disp.adb. From-SVN: r154791
2009-11-30prj-tree.adb (Create_Attribute): Fix handling of VMS and WindowsEmmanuel Briot3-2/+21
2009-11-30 Emmanuel Briot <briot@adacore.com> * prj-tree.adb (Create_Attribute): Fix handling of VMS and Windows * prj-attr.ads: Minor comment updates From-SVN: r154790
2009-11-30[multiple changes]Arnaud Charlet5-27/+85
2009-11-30 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document pragma Short_Circuit 2009-11-30 Emmanuel Briot <briot@adacore.com> * prj-conf.adb, prj-tree.adb, prj-tree.ads (Create_Attribute): Now set the index either on the attribute or on its value, depending on the kind of the attribute. Done to match recent changes in Prj.PP that were not synchronized with this function. From-SVN: r154789
2009-11-30Update dependencies.Arnaud Charlet2-15/+12
From-SVN: r154788
2009-11-30* gcc-interface/Make-lang.in: Fix typo.Arnaud Charlet2-1/+4
From-SVN: r154787
2009-11-30[multiple changes]Arnaud Charlet16-23/+128
2009-11-30 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Add documentation for attribute Result. 2009-11-30 Arnaud Charlet <charlet@adacore.com> * s-osinte-hpux.ads, s-osinte-aix.ads, s-osinte-solaris-posix.ads, s-osinte-tru64.ads, s-osinte-darwin.ads, s-osinte-freebsd.ads (Get_Page_Size): Update comment since Get_Page_Size is now required. 2009-11-30 Jerome Lambourg <lambourg@adacore.com> * freeze.adb: Disable Warning on VM targets concerning C Imports, not relevant. 2009-11-30 Bob Duff <duff@adacore.com> * sprint.adb (Source_Dump): Minor comment fix. (Write_Itype): When writing a string literal subtype, use Expr_Value instead of Intval to get the low bound. 2009-11-30 Vincent Celier <celier@adacore.com> * gnatlink.adb (Process_Args): Do not call Executable_Name on arguments of switch -o. 2009-11-30 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Expand_N_Op_And): Implement pragma Short_Circuit_And_Or (Expand_N_Op_Or): Implement pragma Short_Circuit_And_Or * opt.ads (Short_Circuit_And_Or): New flag * par-prag.adb: Add dummy entry for pragma Short_Circuit_And_Or * sem_prag.adb: Implement pragma Short_Circuit_And_Or * snames.ads-tmpl: Add entries for pragma Short_Circuit_And_Or From-SVN: r154786
2009-11-30contrib.texi (Contributors): Add myself.Richard Guenther2-0/+8
2009-11-30 Richard Guenther <rguenther@suse.de> * doc/contrib.texi (Contributors): Add myself. From-SVN: r154785
2009-11-30[multiple changes]Arnaud Charlet17-12/+85
2009-11-30 Arnaud Charlet <charlet@adacore.com> * s-taprop-posix.adb: Fix casing. * s-osinte-tru64.adb: Complete previous check-in. 2009-11-30 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document pragma Compiler_Unit * s-bitops.adb, s-restri.adb, g-htable.adb, s-restri.ads, a-comlin.ads, a-strhas.ads, s-strhas.adb, s-parame.adb, s-parame.ads, a-clrefi.adb, a-clrefi.ads, a-ioexce.ads: Supply missing Compiler_Unit pragmas. * freeze.adb (Freeze_Entity): Improve message for 8-bit boolean passed to C. From-SVN: r154784
2009-11-30makeutl.adb, [...]: Minor reformatting.Robert Dewar6-150/+170
2009-11-30 Robert Dewar <dewar@adacore.com> * makeutl.adb, makeutl.ads, prj-proc.adb, prj.adb, prj.ads: Minor reformatting. From-SVN: r154783
2009-11-30[multiple changes]Arnaud Charlet10-17/+239
2009-11-30 Thomas Quinot <quinot@adacore.com> * osint.adb: Minor reformatting 2009-11-30 Vincent Celier <celier@adacore.com> * makeutl.ads, makeutl.adb (Base_Name_Index_For): New function to get the base name of a main without the extension, with an eventual source index. (Mains.Get_Index): New procedure to set the source index of a main (Mains.Get_Index): New function to get the source index of a main * prj-attr.adb: New attributes Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. * prj-nmsc.adb (Process_Compiler): Takle into account new attributes Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. Allow only one character for Multi_Unit_Object_Separator. * prj-proc.adb (Process_Declarative_Items): Take into account the source indexes in indexes of associative array attribute declarations. * prj.adb (Object_Name): New function to get the object file name for units in multi-unit sources. * prj.ads (Language_Config): New components Multi_Unit_Switches, Multi_Unit_Object_Separator Config_Body_Index and Config_Spec_Index. (Object_Name): New function to get the object file name for units in multi-unit sources. * snames.ads-tmpl: New standard names Config_Body_File_Name_Index, Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and Multi_Unit_Switches. From-SVN: r154782
2009-11-30tree.c (free_lang_data): Do not set debug_info_level to none if terse.Richard Guenther2-1/+6
2009-11-30 Richard Guenther <rguenther@suse.de> * tree.c (free_lang_data): Do not set debug_info_level to none if terse. From-SVN: r154781
2009-11-30[multiple changes]Arnaud Charlet3-14/+34
2009-11-30 Arnaud Charlet <charlet@adacore.com> * s-tassta.adb: Update comment. 2009-11-30 Robert Dewar <dewar@adacore.com> * a-ngelfu.adb: Minor code reorganization. From-SVN: r154780
2009-11-30[multiple changes]Arnaud Charlet19-381/+270
2009-11-30 Robert Dewar <dewar@adacore.com> * osint.ads, prj.adb, prj.ads: Minor reformatting * s-stchop.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb, s-taprop-linux.adb, s-taprop-solaris.adb, s-strxdr.adb, s-taprop-irix.adb, s-osinte-hpux-dce.adb, s-osinte-tru64.adb, s-taenca.adb, s-taprop-hpux-dce.adb, s-stausa.adb, s-taprop-posix.adb: Minor code reorganization (use conditional expressions). 2009-11-30 Bob Duff <duff@adacore.com> * g-sttsne-locking.adb (Copy_Service_Entry): Complete previous change. From-SVN: r154779