aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2008-08-02utils2.c (build_binary_op): New case.Eric Botcazou2-1/+14
* gcc-interface/utils2.c (build_binary_op) <PLUS_EXPR, MINUS_EXPR>: New case. Convert BOOLEAN_TYPE operation to the default integer type. From-SVN: r138552
2008-08-01ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE.Eric Botcazou4-50/+51
* gcc-interface/ada-tree.h (DECL_PARM_ALT): Now DECL_PARM_ALT_TYPE. * gcc-interface/decl.c (gnat_to_gnu_param): Fix formatting, simplify and adjust for above renaming. * gcc-interface/utils.c (convert_vms_descriptor): Likewise. Add new gnu_expr_alt_type parameter. Convert the expression to it instead of changing its type in place. (build_function_stub): Adjust call to above function. From-SVN: r138518
2008-08-01Revert incorrect patch.Eric Botcazou2-37/+36
From-SVN: r138514
2008-08-01decl.c (gnat_to_gnu_entity): Remove dead code.Eric Botcazou4-59/+100
2008-08-01  Eric Botcazou  <ebotcazou@adacore.com> * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Constant>: Remove dead code.  Do not get full definition of deferred constants with address clause for a use.  Do not ignore deferred constant definitions with address clause.  Ignore constant definitions already marked with the error node. <object>: Remove obsolete comment.  For a deferred constant with address clause, get the initializer from the full view. * gcc-interface/trans.c (gnat_to_gnu) <N_Attribute_Definition_Clause>: Rework and remove obsolete comment. <N_Object_Declaration>: For a deferred constant with address clause, mark the full view with the error node. *  gcc-interface/utils.c (convert_to_fat_pointer): Rework and fix formatting nits. From-SVN: r138513
2008-08-01rtsfind.ads: Add block IO versions of stream routines for Strings.Arnaud Charlet15-1073/+1240
2008-08-01 Hristian Kirtchev <kirtchev@adacore.com> * rtsfind.ads: Add block IO versions of stream routines for Strings. * bindgen.adb, gnat_rm.texi, gnat_ugn.texi, opt.ads, sem_prag.adb, snames.adb, snames.ads, snames.h, par-prag.adb: Undo Canonical_Streams related changes. * s-rident.ads: Add new restriction No_Stream_Optimizations. * s-ststop.ads, s-ststop.adb: Comment reformatting. Define enumeration type to designate different IO mechanisms. Enchance generic package Stream_Ops_Internal to include an implementation of Input and Output. * exp_attr.adb (Find_Stream_Subprogram): If restriction No_Stream_Optimization is active, choose the default byte IO implementations of stream attributes for Strings. Otherwise use the corresponding block IO version. From-SVN: r138511
2008-08-01par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to convert plain ↵Robert Dewar1-3/+13
identifier into defining identifier. 2008-08-01 Robert Dewar <dewar@adacore.com> * par-ch3.adb (P_Defining_Identifier): Avoid repeated attempt to convert plain identifier into defining identifier. From-SVN: r138510
2008-08-01decl.c (gnat_to_gnu_entity): Do not turn Ada Pure into GCC const, now ↵Olivier Hainque2-10/+11
implicitely implying nothrow as well. ada/ * decl.c (gnat_to_gnu_entity) <case E_Function>: Do not turn Ada Pure into GCC const, now implicitely implying nothrow as well. testsuite/ * gnat.dg/raise_from_pure.ad[bs], * gnat.dg/wrap_raise_from_pure.ad[bs]: Support for ... * gnat.dg/test_raise_from_pure.adb: New test. From-SVN: r138509
2008-08-01ioexcept.ads, [...]: Correct comment.Arnaud Charlet4-9/+20
2008-08-01 Bob Duff <duff@adacore.com> * ioexcept.ads, sequenio.ads, directio.ads: Correct comment. From-SVN: r138508
2008-08-01lib-xref.adb: Add error defense.Robert Dewar1-1/+5
2008-08-01 Robert Dewar <dewar@adacore.com> * lib-xref.adb: Add error defense. From-SVN: r138507
2008-08-01sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve warningsRobert Dewar1-19/+41
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Check_Form_Of_Interface_Name): Refine and improve warnings From-SVN: r138506
2008-08-01par-ch3.adb (P_Type_Declaration): Properly handle missing type keywordArnaud Charlet2-9/+36
2008-08-01 Robert Dewar <dewar@adacore.com> * par-ch3.adb (P_Type_Declaration): Properly handle missing type keyword From-SVN: r138503
2008-08-01sem_ch12.adb: Minor comment reformattingThomas Quinot1-5/+5
2008-08-01 Thomas Quinot <quinot@adacore.com> * sem_ch12.adb: Minor comment reformatting From-SVN: r138502
2008-08-012008-08-01 Robert Dewar <dewar@adacore.com>Robert Dewar1-0/+15
* sem_res.adb: (Resolve_Call): Check violation of No_Specific_Termination_Handlers From-SVN: r138501
2008-08-01sem_prag.adb (Analyze_Pragma): Put entries in alpha orderRobert Dewar1-71/+80
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma): Put entries in alpha order (Analyze_Pragma): Make sure all GNAT pragmas call GNAT_Pragma From-SVN: r138500
2008-08-01scans.ads: Minor reformatting.Robert Dewar1-2/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * scans.ads: Minor reformatting. From-SVN: r138499
2008-08-01par-prag.adb (Prag, [...]): Deal with upper half encodingsRobert Dewar1-0/+4
2008-08-01 Robert Dewar <dewar@adacore.com> * par-prag.adb (Prag, case Wide_Character_Encoding): Deal with upper half encodings From-SVN: r138498
2008-08-01s-os_lib.adb: Minor reformattingRobert Dewar1-1/+3
2008-08-01 Robert Dewar <dewar@adacore.com> * s-os_lib.adb: Minor reformatting From-SVN: r138497
2008-08-01prj.ads: Minor reformattingRobert Dewar1-3/+6
2008-08-01 Robert Dewar <dewar@adacore.com> * prj.ads: Minor reformatting From-SVN: r138496
2008-08-01sem_ch4.adb: Minor reformatting Minor code reorganizationRobert Dewar1-3/+6
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_ch4.adb: Minor reformatting Minor code reorganization From-SVN: r138495
2008-08-01prj-nmsc.adb: Minor reformattingRobert Dewar1-17/+16
2008-08-01 Robert Dewar <dewar@adacore.com> * prj-nmsc.adb: Minor reformatting From-SVN: r138494
2008-08-01exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing correct ↵Gary Dismukes1-3/+5
accessibility levels. 2008-08-01 Gary Dismukes <dismukes@adacore.com> * exp_ch6.adb (Expand_Call): Adjustment to previous fix for passing correct accessibility levels. In the "when others" case, retrieve the access level of the Etype of Prev rather than Prev_Orig, because the original exression has not always been analyzed. From-SVN: r138493
2008-08-01utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter.Eric Botcazou2-36/+37
2008-08-01 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/utils.c (convert_vms_descriptor): Add gnu_expr_alt_type parameter. Convert the expression to it instead of changing its type in place. (build_function_stub): Adjust call to above function. From-SVN: r138492
2008-08-01sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a procedure ↵Arnaud Charlet2-5/+88
call whose prefix is a parameterless... 2008-08-01 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Analyze_One_Call): Handle complex overloading of a procedure call whose prefix is a parameterless function call that returns an access_to_procedure. From-SVN: r138491
2008-08-01exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets ↵Gary Dismukes1-9/+0
Orig_Prev to Prev in the case where... 2008-08-01 Gary Dismukes <dismukes@adacore.com> * exp_ch6.adb (Expand_Call): Remove ugly special-case code that resets Orig_Prev to Prev in the case where the actual is N_Function_Call or N_Identifier. This was interfering with other cases that are rewritten as N_Identifier, such as allocators, resulting in passing of the wrong accessibility level, and based on testing this code is apparently no longer needed at all. From-SVN: r138490
2008-08-012008-08-01 Ed Schonberg <schonberg@adacore.com>Ed Schonberg1-0/+9
* sem_prag.adb: (Check_Precondition_Postcondition): If not generating code, analyze the expression in a postcondition that appears in a subprogram body, so that it is properly decorated for ASIS use. From-SVN: r138489
2008-08-012008-08-01 Vincent Celier <celier@adacore.com>Vincent Celier2-0/+30
* mlib-utl.adb: (Adalib_Path): New variable to store the path of the adalib directory when procedure Specify_Adalib_Dir is called. (Lib_Directory): If Adalib_Path is not null, return its value (Specify_Adalib_Dir): New procedure * mlib-utl.ads (Specify_Adalib_Dir): New procedure From-SVN: r138488
2008-08-01prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>)Vincent Celier6-45/+65
2008-08-01 Vincent Celier <celier@adacore.com> * prj-attr.adb: New attribute Compiler'Name_Syntax (<lang>) * prj-nmsc.adb (Process_Compiler): Recognize attribute Name_Syntax * prj.adb (Object_Exist_For): Use Object_Generated, not Objects_Generated that is removed and was never modified anyway. * prj.ads: (Path_Syntax_Kind): New enumeration type (Language_Config): New component Path_Syntax, defaulted to Host. Components PIC_Option and Objects_Generated removed, as they are not used. * snames.adb: New standard name Path_Syntax * snames.ads: New standard name Path_Syntax From-SVN: r138487
2008-08-01checks.adb (Apply_Float_Conversion_Check): If the expression to be converted ↵Ed Schonberg1-1/+26
is a real literal and the target type has... 2008-08-01 Ed Schonberg <schonberg@adacore.com> * checks.adb (Apply_Float_Conversion_Check): If the expression to be converted is a real literal and the target type has static bounds, perform the conversion exactly to prevent floating-point anomalies on some targets. From-SVN: r138486
2008-08-01sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating codeRobert Dewar1-0/+6
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Process_PPCs): Don't copy spec PPC to body if not generating code From-SVN: r138485
2008-08-01s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths...Arnaud Charlet2-0/+34
2008-08-01 Jerome Lambourg <lambourg@adacore.com> * s-os_lib.adb (Normalize_Pathname): Take care of double-quotes in paths, which are authorized by Windows but can lead to errors when used elsewhere. From-SVN: r138484
2008-08-01sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_ExceptionRobert Dewar1-12/+3
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body): Remove special casing of Raise_Exception From-SVN: r138483
2008-08-01adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX.Jose Ruiz1-2/+6
2008-08-01 Jose Ruiz <ruiz@adacore.com> * adaint.c (__gnat_tmp_name): Refine the generation of temporary names for RTX. Adding a suffix that is incremented at each iteration. From-SVN: r138482
2008-08-01gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32).Jose Ruiz1-0/+30
2008-08-01 Jose Ruiz <ruiz@adacore.com> * gnat_ugn.texi: Document the RTX run times (rts-rtx-rtss and rts-rtx-w32). From-SVN: r138481
2008-08-01sem_ch12.ads (Need_Subprogram_Instance_Body): new function...Arnaud Charlet4-16/+85
2008-08-01 Ed Schonberg <schonberg@adacore.com> * sem_ch12.ads (Need_Subprogram_Instance_Body): new function, to create a pending instantiation for the body of a subprogram that is to be inlined. * sem_ch12.adb: (Analyze_Subprogram_Instantiation): use Need_Subprogram_Instance_Body. * sem_prag.adb (Make_Inline): If the pragma applies to an instance, create a pending instance for its body, so that calls to the subprogram can be inlined by the back-end. From-SVN: r138480
2008-08-01Resync.Arnaud Charlet1-0/+57
From-SVN: r138475
2008-08-01adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor ↵Jose Ruiz1-1/+5
tmpnam... 2008-08-01 Jose Ruiz <ruiz@adacore.com> * adaint.c (__gnat_tmp_name): RTSS applications do not support tempnam nor tmpnam, so we always use c:\WINDOWS\Temp\gnat-XXXXXX as temporary name. From-SVN: r138474
2008-08-01gnat_rm.texi: Document new mechanism Short_Descriptor.Doug Rupp14-519/+907
2008-08-01 Doug Rupp <rupp@adacore.com> * gnat_rm.texi: Document new mechanism Short_Descriptor. * types.ads (Mechanism_Type): Modify range for new Short_Descriptor mechanism values. * sem_prag.adb (Set_Mechanism_Value): Enhance for Short_Descriptor mechanism and Short_Descriptor mechanism values. * snames.adb (preset_names): Add short_descriptor entry. * snames.ads: Add Name_Short_Descriptor. * types.h: Add new By_Short_Descriptor mechanism values. * sem_mech.adb (Set_Mechanism_Value): Enhance for Short_Descriptor mechanism and Short_Descriptor mechanism values. * sem_mech.ads (Mechanism_Type): Add new By_Short_Descriptor mechanism values. (Descriptor_Codes): Modify range for new mechanism values. * treepr.adb (Print_Entity_Enfo): Handle new By_Short_Descriptor mechanism values. * gcc-interface/decl.c (gnat_to_gnu_entity): Handle By_Short_Descriptor. (gnat_to_gnu_param): Handle By_Short_Descriptor. * gcc-interface/gigi.h (build_vms_descriptor64): Remove prototype. (build_vms_descriptor32): New prototype. (fill_vms_descriptor): Remove unneeded gnat_actual parameter. * gcc-interface/trans.c (call_to_gnu): Removed unneeded gnat_actual argument in call fill_vms_descriptor. * gcc-interface/utils.c (build_vms_descriptor32): Renamed from build_vms_descriptor and enhanced to hande Short_Descriptor mechanism. (build_vms_descriptor): Renamed from build_vms_descriptor64. (convert_vms_descriptor32): New function. (convert_vms_descriptor64): New function. (convert_vms_descriptor): Rewrite to handle both 32bit and 64bit descriptors. * gcc-interface/utils2.c (fill_vms_descriptor): Revert previous changes, no longer needed. From-SVN: r138473
2008-08-01scng.adb (Error_Illegal_Wide_Character): Bump scan pointerRobert Dewar1-0/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * scng.adb (Error_Illegal_Wide_Character): Bump scan pointer From-SVN: r138472
2008-08-01Resync.Arnaud Charlet1-0/+46
From-SVN: r138470
2008-08-01Update comments.Arnaud Charlet1-7/+6
From-SVN: r138469
2008-08-01scng.adb: Minor reformattingRobert Dewar1-1/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * scng.adb: Minor reformatting From-SVN: r138468
2008-08-01vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTINGDoug Rupp1-0/+10
2008-08-01 Doug Rupp <rupp@adacore.com> * vms_data.ads: vms_data.ads: New qualfier /MACHINE_CODE_LISTING From-SVN: r138467
2008-08-01opt.ads: Minor documentation fixRobert Dewar1-1/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * opt.ads: Minor documentation fix From-SVN: r138466
2008-08-01sem_util.ads: Minor reformatting.Robert Dewar1-1/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * sem_util.ads: Minor reformatting. From-SVN: r138465
2008-08-01mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy ↵Doug Rupp2-67/+50
transfer address for debugging. 2008-08-01 Doug Rupp <rupp@adacore.com> * mlib-tgt-specific-vms-alpha.adb (Build_Dynamic_Library): Output a dummy transfer address for debugging. * mlib-tgt-specific-vms-ia64.adb (Build_Dynamic_Library): Likewise. From-SVN: r138464
2008-08-01exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged ↵Ed Schonberg1-0/+7
synchronized type, use corresponding record type. 2008-08-01 Ed Schonberg <schonberg@adacore.com> * exp_disp.adb (Expand_Interface_Conversion): If the target type is a tagged synchronized type, use corresponding record type. From-SVN: r138463
2008-08-01gnatchop.adb: Minor reformattingRobert Dewar1-33/+27
2008-08-01 Robert Dewar <dewar@adacore.com> * gnatchop.adb: Minor reformatting From-SVN: r138462
2008-08-01sinput.adb: Minor reformattingRobert Dewar1-1/+1
2008-08-01 Robert Dewar <dewar@adacore.com> * sinput.adb: Minor reformatting From-SVN: r138461
2008-08-01cstreams.c (__gnat_full_name): RTSS applications cannot ask for the current ↵Jose Ruiz1-2/+13
directory so only fully qualified... 2008-08-01 Jose Ruiz <ruiz@adacore.com> * cstreams.c (__gnat_full_name): RTSS applications cannot ask for the current directory so only fully qualified names are allowed. From-SVN: r138460
2008-08-01xref_lib.adb: Minor reformattingRobert Dewar1-1/+0
2008-08-01 Robert Dewar <dewar@adacore.com> * xref_lib.adb: Minor reformatting From-SVN: r138459
generated by cgit v1.1 at 2024-11-01 14:47:39 +0000