aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2014-08-01[multiple changes]Arnaud Charlet13-58/+257
2014-08-01 Robert Dewar <dewar@adacore.com> * hostparm.ads: Put back definition of OpenVMS as False to aid the transition process. * sem_ch7.adb: Minor reformatting. * prj-env.adb: Minor code fix. * gnat_rm.texi: Complete previous change. * sem_ch3.adb: Minor reformatting. * sem_ch6.adb: Minor reformatting. * sem_elab.adb: Minor reformatting. * exp_strm.adb: Complete previous change. 2014-08-01 Vincent Celier <celier@adacore.com> * sem_warn.adb (Warn_On_Unreferenced_Entity): Do not issue a warning when a constant is unreferenced and its type has pragma Unreferenced_Objects. 2014-08-01 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb: Flag2 is now known as Is_Hidden_Non_Overridden_Subprogram. (Is_Hidden_Non_Overridden_Subprogram): New routine. (Set_Is_Hidden_Non_Overridden_Subprogram): New routine. (Write_Entity_Fields): Output Flag2. * einfo.ads: New attribute Is_Hidden_Non_Overridden_Subprogram along with occurrences in entities. (Is_Hidden_Non_Overridden_Subprogram): New routine and pragma Inline. (Set_Is_Hidden_Non_Overridden_Subprogram): New routine and pragma Inline. * sem_ch7.adb (Install_Package_Entity): Do not enter implicitly declared non-overriden homographs into visibility. * sem_ch13.adb (Freeze_Entity_Checks): Hide all implicitly declared non-overriden homographs. (Hide_Non_Overridden_Subprograms): New routine. From-SVN: r213434
2014-08-01snames.ads-tmpl, [...]: Remove VMS-specific code.Robert Dewar19-430/+92
2014-08-01 Robert Dewar <dewar@adacore.com> * snames.ads-tmpl, s-os_lib.adb, s-os_lib.ads, s-fileio.adb: Remove VMS-specific code. * prj-conf.adb: Minor reformatting. * xr_tabls.adb (Read_File): Restore code which was enabled on non VMS platforms before. * prj-env.adb (Initialize_Default_Project_Path): Ditto. * sem_ch5.adb: Minor reformatting. * lib-writ.adb, lib-writ.ads, bindgen.adb, sem_vfpt.adb, sem_vfpt.ads, ali.adb, ali.ads, opt.ads, bcheck.adb, exp_strm.adb: Remove VMS-specific code. From-SVN: r213432
2014-08-01[multiple changes]Arnaud Charlet96-1325/+514
2014-08-01 Vincent Celier <celier@adacore.com> * make.adb (Await_Compile): Remove loop that was only needed for VMS. 2014-08-01 Robert Dewar <dewar@adacore.com> * a-calcon.ads, a-direct.adb, a-dirval-mingw.adb, a-dirval.adb, a-dirval.ads, a-except-2005.adb, a-excpol-abort.adb, a-numaux-darwin.ads, a-numaux.ads, bindgen.adb, bindusg.adb, einfo.adb, einfo.ads, err_vars.ads, errout.ads, errutil.adb, exp_ch3.adb, exp_ch4.adb, exp_ch7.adb, exp_ch7.ads, fname-uf.adb, fname.adb, fname.ads, freeze.adb, g-debpoo.adb, g-dirope.ads, g-excact.ads, g-expect.ads, g-socket.adb, g-socket.ads, g-sothco.ads, g-traceb.ads, gnat_rm.texi, gnatlink.adb, gnatls.adb, i-cstrea.adb, krunch.adb, krunch.ads, layout.adb, lib-util.adb, make.adb, mlib.adb, osint-b.adb, osint-b.ads, osint-c.adb, osint.adb, osint.ads, output.ads, par.adb, prj-conf.adb, prj-env.adb, prj-makr.adb, prj-nmsc.adb, prj.adb, prj.ads, repinfo.adb, rtsfind.adb, rtsfind.ads, s-excmac-gcc.ads, s-fatgen.adb, s-mastop.ads, s-parame-ae653.ads, s-parame-hpux.ads, s-parame-vxworks.ads, s-parame.ads, s-soflin.ads, s-stoele.adb, s-tasini.adb, s-taspri-dummy.ads, s-taspri-hpux-dce.ads, s-taspri-mingw.ads, s-taspri-posix-noaltstack.ads, s-taspri-posix.ads, s-taspri-solaris.ads, s-taspri-vxworks.ads, s-trasym.ads, sem_ch12.adb, sem_ch4.adb, sem_eval.adb, sem_intr.adb, sem_mech.adb, sem_mech.ads, sem_prag.adb, sem_res.adb, sem_util.adb, sem_util.ads, sinfo.adb, sinfo.ads, sinput-c.adb, symbols.ads, targparm.adb, treepr.adb, types.ads, xr_tabls.adb, xr_tabls.ads: Remove VMS specific code and comments. 2014-08-01 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): New procedure Check_Reverse_Iteration, to verify the legality of the Reverse indicator on various container types, and to detect illegal reverse iterations on containers that only supoort forward iteration. From-SVN: r213431
2014-08-01[multiple changes]Arnaud Charlet13-10435/+281
2014-08-01 Vincent Celier <celier@adacore.com> * gnatcmd.adb: Remove the VMS specific stuff. Integrate in procedure GNATCmd the relevant declarations from packages VMS_Cmds and VMS_Conv. * gnatcmd.ads: Update comments to remove any trace of VMS 2014-08-01 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: sem_ch12.adb (Build_Wrapper): Capture entity for defaulted actual that is an operator, before building wrapper for it in GNATprove mode. Restrict construction of wrapper to actuals that are operators. 2014-08-01 Vincent Celier <celier@adacore.com> * vms_conv.adb, vms_conv.ads, vms_data.ads, vms_cmds.ads: Remove VMS specific packages no longer needed. 2014-08-01 Pascal Obry <obry@adacore.com> * s-os_lib.ads (System.CRTL): Move with clause to body. (File_Size): New type. (File_Length64): Use it. (File_Length): Restore previous spec returning a Long_Integer. * s-os_lib.adb (System.CRTL): Move with clause here. 2014-08-01 Vincent Celier <celier@adacore.com> * mlib-prj.adb: Update comments to remove any mention of VMS. From-SVN: r213430
2014-08-01[multiple changes]Arnaud Charlet14-399/+177
2014-08-01 Arnaud Charlet <charlet@adacore.com> * ug_words, xgnatugn.adb, gcc-interface/Make-lang.in: Remove xgnatugn.adb and ug_words. 2014-08-01 Eric Botcazou <ebotcazou@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Check whether expansion can be avoid for Machine, Model and Rounding. (Is_Inline_Floating_Point_Attribute): Return true for Machine & Model, as well as Rounding if wrapped in a conversion to an integer type. * sem_res.adb (Simplify_Type_Conversion): Deal with Rounding as well. * gcc-interface/gigi.h (fp_arith_may_widen): Declare. * gcc-interface/utils.c (fp_arith_may_widen): New global variable. * gcc-interface/misc.c (enumerate_modes): Compute it. * gcc-interface/trans.c (FP_ARITH_MAY_WIDEN): Delete. (lvalue_required_for_attribute_p): Deal with Descriptor_Size, Machine and Model. (Attribute_to_gnu) <Attr_Model>: New case. <Attr_Machine>): Likewise. (convert_with_check): Test fp_arith_may_widen variable. 2014-08-01 Pascal Obry <obry@adacore.com> * adaint.h (GNAT_FOPEN): New definition for Windows. (GNAT_OPEN): Likewise. (GNAT_STAT): Likewise. (GNAT_FSTAT): Likewise. (GNAT_LSTAT): Likewise. (GNAT_STRUCT_STAT): Likewise. * adaint.c (__gnat_stat): Fix computation of file size for Windows. 2014-08-01 Vincent Celier <celier@adacore.com> * Makefile.rtl: Minor comment update. 2014-08-01 Vincent Celier <celier@adacore.com> * Make-generated.in: Remove dependencies for vms-help. From-SVN: r213429
2014-08-01[multiple changes]Arnaud Charlet10-7489/+3061
2014-08-01 Gary Dismukes <dismukes@adacore.com> * makeutl.ads, opt.ads: Minor grammar fixes. * makeutl.adb: Minor code reorganization. 2014-08-01 Arnaud Charlet <charlet@adacore.com> * gcc-interface/Makefile.in, gcc-interface/Make-lang.in, gnatsym.adb: Remove gnatsym (VMS only tool). 2014-08-01 Ben Brosgol <brosgol@adacore.com> * gnat_ugn.texi, projects.texi, xgnatugn.adb: Removed all VMS conditionalization from gnat_ugn.texi and projects.texi, and updated (considerably simplified) xgnatugn.adb, to be removed soon. From-SVN: r213427
2014-08-01debug.adb: Remove doc for gnatmake/gprbuild switch -ds.Vincent Celier7-14/+34
2014-08-01 Vincent Celier <celier@adacore.com> * debug.adb: Remove doc for gnatmake/gprbuild switch -ds. * make.adb (List_Bad_Compilations): Use Opt.No_Exit_Message instead of Debug.Debug_Flag_S. * makeutl.adb (Finish_Program, Fail_Program): Use Opt flag No_Exit_Message instead of Debug.Debug_Flag_S to suppress exit error messages. * makeutl.ads (No_Exit_Message_Option): New constant string for switch --no-exit-message. * opt.ads (No_Exit_Message): New Boolean flag, defaulted to False. * switch-m.adb (Scan_Make_Switches): Recognize new switch --no-exit-message. From-SVN: r213424
2014-08-01[multiple changes]Arnaud Charlet72-1873/+502
2014-08-01 Arnaud Charlet <charlet@adacore.com> * exp_vfpt.adb, exp_vfpt.ads: Removed, no longer used. * gcc-interface/Make-lang.in: Remove exp_vfpt.o 2014-08-01 Javier Miranda <miranda@adacore.com> * inline.ads (Inlined_Calls, Backend_Calls, Backend_Inlined_Subps, Backend_Not_Inlined_Subps): Declarations moved to inline.adb (Cannot_Inline): Update documentation. (Check_And_Build_Body_To_Inline): Renamed. (List_Inlining_Info): Subprogram moved here from package exp_ch6. * inline.adb (Check_Inlining_Restrictions): New local variable. (Inlined_Calls, Backend_Calls, Backend_Inlined_Subps, Backend_Not_Inlined_Subps): Declarations moved here from inline.ads (Number_Of_Statements): Removed. (Remove_Pragmas): Avoid duplicated version of this subprogram. (Build_Body_To_Inline): Code cleanup. (Build_Body_To_Inline.Has_Excluded_Statament): Removed. (Check_And_Build_Body_To_Inline): Renamed. Code cleanup. (Check_Body_To_Inline): Removed. (Generate_Body_To_Inline): Renamed as Generate_Subprogram_Body. (Has_Excluded_Declaration): No action if not Check_Inlining_Restrictions. (Has_Excluded_Statement): No action if not Check_Inlining_Restrictions. (Initialize): Initialize the lists of inlined calls and subprograms. (List_Inlining_Info): Subprogram moved here from package exp_ch6. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Update call to Check_And_Build_Body_To_Inline since it has been renamed as Check_And_Split_Unconstrained_Function * exp_ch6.ad[sb] (List_Inlining_Info): Subprogram moved to package inline. * gnat1drv.adb Update call to Inline.List_Inlining_Info. 2014-08-01 Vincent Celier <celier@adacore.com> * debug.adb: Add documentation for new debug switch -ds. * make.adb (List_Bad_Compilations): Do not issue any message when switch -ds is specified. * makeutl.adb (Fail_Program): Do not issue any message when -ds is specified. (Finish_Program): Ditto. 2014-08-01 Robert Dewar <dewar@adacore.com> * s-exnint.adb, s-exnint.ads, s-wwdwch.ads, s-carsi8.ads, s-casi32.ads, indepsw.adb, a-timoau.ads, s-explli.adb, s-explli.ads, s-casi16.ads, s-powtab.ads, g-wistsp.ads, a-ztmoau.adb, indepsw-gnu.adb, s-imgllb.ads, types.adb, gnat.ads, s-proinf.adb, indepsw-aix.adb, s-caun64.ads, s-imgllw.ads, s-traces-default.adb, s-vxwork-x86.ads, s-expllu.adb, s-exnlli.adb, s-exnlli.ads, s-traces.adb, widechar.ads, stand.adb, s-expint.adb, s-tratas-default.adb, s-expint.ads, s-geveop.ads, s-caun32.ads, s-expuns.adb, s-mantis.adb, s-mantis.ads, s-caun16.ads, s-tasinf.adb, s-memcop.ads, s-dsaser.ads, s-imgbiu.ads, a-szmzco.ads, g-strspl.ads, s-casi64.ads, g-zstspl.ads, indepsw-mingw.adb, tree_io.adb, s-boarop.ads, uname.ads, s-fore.adb, s-fore.ads, g-timsta.adb, g-timsta.ads, s-assert.adb, s-vector.ads, s-tratas.adb, s-tratas.ads: Minor fix to copyright notices. 2014-08-01 Eric Botcazou <ebotcazou@adacore.com> * sinfo.ads: Remove long obsolete comment. From-SVN: r213423
2014-08-01sem_util.adb: Add guard to setting of No_Predicate_On_Actual.Ed Schonberg2-6/+11
* sem_util.adb: Add guard to setting of No_Predicate_On_Actual. * sem_ch3.adb: Minor reformatting. From-SVN: r213422
2014-08-01sem_util.adb: Add guard to setting of No_Predicate_On_Actual.Ed Schonberg1-0/+5
2014-08-01 Ed Schonberg <schonberg@adacore.com> * sem_util.adb: Add guard to setting of No_Predicate_On_Actual. * sem_ch3.adb: Minor reformatting. From-SVN: r213421
2014-08-01cstreams.c: Only enable large file support on know supported platforms.Pascal Obry2-1/+36
2014-08-01 Pascal Obry <obry@adacore.com> * cstreams.c: Only enable large file support on know supported platforms. Add missing defines/includes. From-SVN: r213420
2014-08-012014-08-01 Ed Schonberg <schonberg@adacore.com>Ed Schonberg8-15/+189
* einfo.ads, einfo.adb New flags No_Predicate_On_Actual and No_Dynamic_Predicate_On_Actual, to enforce the generic contract on generic units that contain constructs that forbid subtypes with predicates. * sem_ch3.adb (Analyze_Subtype_Declaration, Process_Subtype): Inherit flags indicating the presence of predicates in subtype declarations with and without constraints. (Inherit_Predicate_Flags): Utility for the above. * sem_util.adb (Bad_Predicated_Subtype_Use): In a generic context, indicate that the actual cannot have predicates, and preserve warning. In an instance, report error if actual has predicates and the construct appears in a package declaration. * sem_ch12.adb (Diagnose_Predicated_Actual): Report error for an actual with predicates, if the corresponding formal carries No_Predicate_On_Actual or (in the case of a loop) No_Dynamic_Predicate_On_Actual. * sem_ch13.adb (Build_Predicate_Functions); Do not build a Static_Predicate function if the type is non-static (in the presence of previous errors), * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Set flag No_Dynamic_Predicate_On_Actual in a generic context, to enforce generic contract on actuals that cannot have predicates. From-SVN: r213418
2014-08-01a-direct.adb (C_Size): Returns an int64.Pascal Obry4-4/+12
2014-08-01 Pascal Obry <obry@adacore.com> * a-direct.adb (C_Size): Returns an int64. * osint.adb (System.CRTL): New with clause. (File_Length.Internal): Returns an int64. * s-os_lib.ads (File_Length): Returns an int64. From-SVN: r213416
2014-08-01* gcc-interface/decl.c, gcc-interface/trans.c: Remove VMS handling.Robert Dewar3-16/+8
From-SVN: r213415
2014-08-01gnatchop.adb, [...]: Minor reformatting.Robert Dewar30-557/+144
2014-08-01 Robert Dewar <dewar@adacore.com> * gnatchop.adb, gnatcmd.adb, make.adb, mlib-prj.adb, bindgen.adb, mlib.ads, butil.adb, clean.adb, binde.adb, gnatls.adb, gnatname.adb, osint.adb, krunch.adb: Minor reformatting. 2014-08-01 Robert Dewar <dewar@adacore.com> * inline.adb, inline.ads, fe.h, einfo.adb, einfo.ads, sem_util.adb, sem_util.ads, exp_ch4.adb, exp_ch11.adb, exp_ch6.adb, cstand.adb, sem_mech.adb, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb, snames.ads-tmpl: Remove VMS-specific code. From-SVN: r213414
2014-08-01binde.adb, [...]: Remove VMS handling.Arnaud Charlet18-629/+251
2014-08-01 Arnaud Charlet <charlet@adacore.com> * binde.adb, bindgen.adb, butil.adb, clean.adb, gnatbind.adb, gnatchop.adb, gnatcmd.adb, gnatls.adb, gnatname.adb, krunch.adb, make.adb, makeutl.adb, memtrack.adb, mlib-prj.adb, mlib.adb, mlib.ads, tempdir.adb: Remove VMS handling. From-SVN: r213413
2014-08-01adaint.h, adaint.c (__gnat_file_length): Returns an __int64.Pascal Obry7-13/+29
2014-08-01 Pascal Obry <obry@adacore.com> * adaint.h, adaint.c (__gnat_file_length): Returns an __int64. (__gnat_named_file_length): Likewise. (__gnat_file_length_attr): Likewise. * a-direct.adb (C_Size): Use size_t as returned type. * osint.adb (File_Length): Adjust spec for Internal routine (returns size_t). * s-os_lib.adb (File_Length): Now returns a CRTL.size_t. (System.CRTL): With claused moved to spec. * s-os_lib.ads (System.CRTL): With clause moved to here. From-SVN: r213412
2014-08-01adaint.h, adaint.c (__gnat_open): Added.Pascal Obry4-1/+28
2014-08-01 Pascal Obry <obry@adacore.com> * adaint.h, adaint.c (__gnat_open): Added. * s-crtl.ads (open): Import __gnat_open for large file support. From-SVN: r213411
2014-08-01[multiple changes]Arnaud Charlet5-446/+263
2014-08-01 Robert Dewar <dewar@adacore.com> * sem_case.adb (Dup_Choice): Improve message for integer constants. 2014-08-01 Arnaud Charlet <charlet@adacore.com> * gnatlink.adb: Remove special handling of VMS, RTX and JVM. 2014-08-01 Pascal Obry <obry@adacore.com> * adaint.h (GNAT_OPEN): Defines as open64 where supported. * adaint.c (GNAT_OPEN): Uses new macro where needed. From-SVN: r213410
2014-07-31utils.c (lookup_and_insert_pad_type): New function extracted from...Eric Botcazou3-28/+46
2014-07-31 Eric Botcazou <ebotcazou@adacore.com> * gcc-interface/utils.c (lookup_and_insert_pad_type): New function extracted from... (maybe_pad_type): ...here. Call it to canonicalize the pad type. * gcc-interface/gigi.h: Update comment. From-SVN: r213374
2014-07-31[multiple changes]Arnaud Charlet10-514/+620
2014-07-31 Javier Miranda <miranda@adacore.com> * debug.adb Remove documentation of -gnatd.k (no longer needed). * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Code cleanup. * inline.ads (Backend_Inlined_Subps): New Elist. (Backend_Not_Inlined_Subps): New Elist. (Has_Excluded_Declaration): Declaration previously located in * inline.adb (Has_Excluded_Statement): Declaration previously located in inline.adb * inline.adb (Has_Single_Return): Moved out of Build_Body_To_Inline to avoid having duplicated code. (Number_Of_Statements): New subprogram. (Register_Backend_Inlined_Subprogram): New subprogram. (Register_Backend_Not_Inlined_Subprogram): New subprogram. (Add_Inlined_Subprogram): Register backend inlined subprograms and also register subprograms that cannot be inlined by the backend. (Has_Excluded_Declaration): Moved out of Build_Body_To_Inline to avoid having duplicated code. Replace occurrences of Debug_Flag_Dot_K by Back_End_Inlining. * sem_res.adb (Resolve_Call): Code cleanup. * exp_ch6.adb (Expand_Call): Complete previous patch. Replace occurrence of Debug_Flag_Dot_K by Back_End_Inlining. (List_Inlining_Info): Add listing of subprograms passed to the backend and listing of subprograms that cannot be inlined by the backend. * sem_ch12.adb, sem_ch3.adb Replace occurrences of Debug_Flag_Dot_K by Back_End_Inlining. 2014-07-31 Robert Dewar <dewar@adacore.com> * nlists.ads: Minor code fix (remove unwise Inline for List_Length). From-SVN: r213373
2014-07-31(gnatlib-shared-vms): Remove.Arnaud Charlet1-29/+0
From-SVN: r213372
2014-07-31[multiple changes]Arnaud Charlet9-144/+54
2014-07-31 Arnaud Charlet <charlet@adacore.com> * einfo.adb: Remove VMS specific code. * exp_attr.adb: Remove VAX specific code. * set_targ.adb: Remove handling of VAX_Float. * sem_vfpt.adb: Remove references to Vax_Native. * sem_attr.adb (Is_VAX_Float): Remove ref to VAX_Native. 2014-07-31 Robert Dewar <dewar@adacore.com> * sem_ch4.adb: Minor reformatting. From-SVN: r213371
2014-07-31trans.c, misc.c: Remove references to VMS.Arnaud Charlet3-62/+37
* gcc-interface/trans.c, gcc-interface/misc.c: Remove references to VMS. Misc clean ups. From-SVN: r213370
2014-07-31cstand.adb, [...]: Remove obsolete VMS-specific code.Robert Dewar25-1345/+124
2014-07-31 Robert Dewar <dewar@adacore.com> * cstand.adb, einfo.adb, einfo.ads, errout.adb, exp_attr.adb, exp_prag.adb, frontend.adb, interfac.ads, par-prag.adb, s-auxdec.ads, s-filofl.ads, s-fishfl.ads, s-fvadfl.ads, s-fvaffl.ads, s-fvagfl.ads, s-vaflop.ads, sem_attr.adb, sem_attr.ads, sem_ch13.adb, sem_ch3.adb, sem_ch8.adb, sem_prag.adb, snames.adb-tmpl, snames.ads-tmpl: Remove obsolete VMS-specific code. From-SVN: r213369
2014-07-31[multiple changes]Arnaud Charlet56-19684/+46
2014-07-31 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_ch13.adb: Minor reformatting. 2014-07-31 Arnaud Charlet <charlet@adacore.com> * a-intnam-linux.ads: Minor: update obsolete comments. * s-taasde.adb: Minor: fix comment header. 2014-07-31 Arnaud Charlet <charlet@adacore.com> * s-auxdec-vms-ia64.adb, s-parame-vms-alpha.ads, s-asthan-vms-alpha.adb, s-tpopde-vms.adb, s-mastop-vms.adb, s-tpopde-vms.ads, s-taprop-vms.adb, mlib-tgt-vms_common.adb, mlib-tgt-vms_common.ads, s-inmaop-vms.adb, g-enblsp-vms-alpha.adb, s-ransee-vms.adb, s-osprim-vms.adb, s-osprim-vms.ads, g-socthi-vms.adb, g-socthi-vms.ads, system-vms_64.ads, s-osinte-vms.adb, s-osinte-vms.ads, g-eacodu-vms.adb, s-vaflop-vms-alpha.adb, s-parame-vms-ia64.ads, a-dirval-vms.adb, a-caldel-vms.adb, mlib-tgt-specific-vms-alpha.adb, s-tasdeb-vms.adb, symbols-vms.adb, a-intnam-vms.ads, g-expect-vms.adb, symbols-processing-vms-alpha.adb, mlib-tgt-specific-vms-ia64.adb, s-traent-vms.adb, s-traent-vms.ads, i-cstrea-vms.adb, a-numaux-vms.ads, symbols-processing-vms-ia64.adb, s-interr-vms.adb, s-memory-vms_64.adb, s-memory-vms_64.ads, g-enblsp-vms-ia64.adb, s-taspri-vms.ads, s-auxdec-vms_64.ads, s-intman-vms.adb, s-intman-vms.ads, s-tpopsp-vms.adb, s-asthan-vms-ia64.adb, a-calend-vms.adb, a-calend-vms.ads, system-vms-ia64.ads, s-auxdec-vms-alpha.adb: Removed. * namet.h (Is_Non_Ada_Error): Remove. From-SVN: r213368
2014-07-31[multiple changes]Arnaud Charlet11-96/+191
2014-07-31 Robert Dewar <dewar@adacore.com> * exp_util.adb, lib-writ.adb, sem_ch12.adb, s-direio.adb: Minor reformatting. 2014-07-31 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_Loop_Entry_Attribute): Update the comment which demonstrates the expansion of while loops subject to attribute 'Loop_Entry. The condition of a while loop along with related condition actions is now wrapped in a function. Instead of repeating the condition, the expansion now calls the function. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_case.adb (Check_Against_Predicate): Correct off-by-one error when reporting of missing values in a case statement for a type with a static predicate. (Check_Choices): Reject a choice given by a subtype to which a Dynamic_Predicate applies. * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Has_Dynamic_Predicate_Aspect flag from parent. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): A predicate cannot apply to a subtype of an incomplete type. (Is_Static_Choice): Treat an Others_Clause as static. The staticness of the expression and of the range are checked elsewhere. 2014-07-31 Pascal Obry <obry@adacore.com> * adaint.h (__gnat_ftell64): Added. (__gnat_fseek64): Added. (__int64): Added. * cstreams.c (__int64): Removed. From-SVN: r213366
2014-07-31[multiple changes]Arnaud Charlet13-84/+91
2014-07-31 Pascal Obry <obry@adacore.com> * a-stream.ads (Stream_Element_Offset): Now a signed 64bit type. * i-cstrea.ads, s-crtl.ads (fseek64): Offset is always a 64bit value. (ftell64): Always returns a 64bit value. * cstreams.c (int64): New definition. (_FILE_OFFSET_BITS): Set to 64 to enable 64bit offset support. (__gnat_ftell64): Always returns a 64bit value. The implemenation now uses ftello() on UNIX. (__gnat_fseek64): Offset is always a 64bit value. The implementation now uses fseeko() on UNIX. * a-ststio.adb, s-direio.adb (Set_Position): Simplify code, always use fseek64 to set the offset. (Size): Simplify code, always use fseek64/ftell64. * s-direio.ads (Count): Now an int64. * g-socket.ads (Vector_Element): Adjust definition for Length to be a size_t. This matches the C definition and avoid using a 64bit integer on 32bit platforms now that Count is always 64bit. * g-socthi-mingw.adb (Ada.Streams): Removed as not used anymore. (C_Recvmsg): Change some conversion to account for change in Vector_Element. (C_Sendmsg): Likewise. 2014-07-31 Robert Dewar <dewar@adacore.com> * cstand.adb (Create_Standard): Remove handling of -gnatdm flag. * debug.adb: Remove documentation of -gnatdm flag. * gnat1drv.adb (Adjust_Global_Switches): Remove handling of -gnatdm flag. From-SVN: r213365
2014-07-31[multiple changes]Arnaud Charlet10-99/+396
2014-07-31 Arnaud Charlet <charlet@adacore.com> * lib-writ.adb (Write_Unit_Information): Fix case where U = No_Unit. 2014-07-31 Claire Dross <dross@adacore.com> * exp_util.adb, exp_util.ads (Get_First_Parent_With_External_Axiomatization_For_Entity): New routine to find the first parent of an entity with a pragma Annotate (GNATprove, External_Axiomatization). (Has_Annotate_Pragma_For_External_Axiomatization): New function to check if a package has a pragma Annotate (GNATprove, External_Axiomatization). * einfo.ads, einfo.adb (Is_Generic_Actual_Subprogram): New flag on the entity for the declaration created for a formal subprogram in an instance. This is a renaming declaration, or in GNATprove_Mode the declaration of an expression function that captures the axiomatization of the actual. * sem_ch6.adb (Analyze_Expression_Function): For a Generic_Actual_Subprogram, place body immediately after the declaration because it may be used in a subsequent declaration in the instance. * sem_ch12.adb (Build_Wrapper): Add code to handle instances where the actual is a function, not an operator. Handle functions with one and two parameters and binary and unary operators. 2014-07-31 Pascal Obry <obry@adacore.com> * cstreams.c (__gnat_is_regular_file_fd): Removed. * adaint.c (__gnat_is_regular_file_fd): Added. From-SVN: r213364
2014-07-31[multiple changes]Arnaud Charlet3-2/+154
2014-07-31 Robert Dewar <dewar@adacore.com> * exp_strm.adb: Minor reformatting. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Build_Wrapper): New procedure, subsidiary to Analyze_Associations, to create a wrapper around operators that are actuals to formal subprograms. This is done in GNATProve mode in order to propagate the contracts of the operators to the body of the instance. From-SVN: r213363
2014-07-31sem_attr.adb (Analyze_Attribute, case 'Old): The reference is legal if ↵Ed Schonberg2-4/+13
within an aspect specification for a generic subprogram. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Old): The reference is legal if within an aspect specification for a generic subprogram. From-SVN: r213362
2014-07-31[multiple changes]Arnaud Charlet5-29/+90
2014-07-31 Javier Miranda <miranda@adacore.com> * gnat1drv.adb (Back_End_Inlining): Set to false if Suppress_All_Inlining is set. * debug.adb: Adding documentation for -gnatd.z. * inline.adb (Add_Inlined_Body): Extend the -gnatn2 processing to -gnatn1 for calls to Inline_Always routines. (Add_Inlined_Subprogram): Remove previous patch. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Check_One_Function): Apply properly the static semantic rules for indexing aspects and the functions they denote. From-SVN: r213361
2014-07-31[multiple changes]Arnaud Charlet6-12/+57
2014-07-31 Javier Miranda <miranda@adacore.com> * debug.adb: Complete documentation of -gnatd.z. 2014-07-31 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Minor doc fixes. 2014-07-31 Robert Dewar <dewar@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Fix posting of missing index value. 2014-07-31 Tristan Gingold <gingold@adacore.com> * s-unstyp.ads (Packed_Byte): Make this type universal aliasing. (Packed_Bytes1): Make component aliased. 2014-07-31 Robert Dewar <dewar@adacore.com> * s-unstyp.ads, s-fileio.adb: Minor reformatting. From-SVN: r213360
2014-07-31inline.adb, [...]: Minor reformatting.Robert Dewar5-16/+36
2014-07-31 Robert Dewar <dewar@adacore.com> * inline.adb, gnat1drv.adb, exp_ch6.adb, s-fileio.adb: Minor reformatting. From-SVN: r213359
2014-07-31Minor reformmating. complete previous change on s-traceb.adb.Arnaud Charlet1-2/+14
From-SVN: r213358
2014-07-31Minor reformatting.Arnaud Charlet2-14/+15
From-SVN: r213357
2014-07-31utils2.c ((build_binary_op): Don't set TREE_THIS_NOTRAP on array references ↵Eric Botcazou2-1/+5
here... * gcc-interface/utils2.c ((build_binary_op): Don't set TREE_THIS_NOTRAP on array references here, now done more selectively in trans.c. From-SVN: r213356
2014-07-31misc.c (gnat_init_gcc_fp(): Set flag_errno_math to 0.Doug Rupp2-0/+9
2014-07-31 Doug Rupp <rupp@adacore.com> * gcc-interface/misc.c (gnat_init_gcc_fp(): Set flag_errno_math to 0. From-SVN: r213355
2014-07-31decl.c, [...]: Add handling of Inline_Always pragma.Javier Miranda3-27/+56
* gcc-interface/decl.c, gcc-interface/trans.c, gcc-interface/gigi.h: Add handling of Inline_Always pragma. Co-Authored-By: Eric Botcazou <ebotcazou@adacore.com> From-SVN: r213354
2014-07-31[multiple changes]Arnaud Charlet14-24/+151
2014-07-31 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Is_Effectively_Volatile): New routine. 2014-07-31 Fedor Rybin <frybin@adacore.com> * gnat_ugn.texi: Document --test-duration option for gnattest. 2014-07-31 Javier Miranda <miranda@adacore.com> * opt.ads (Back_End_Inlining): New variable which controls activation of inlining by back-end expansion. * gnat1drv.adb (Adjust_Global_Switches): Initialize Back_End_Inlining * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body to be inlined by the frontend if Back_End_Inlining is enabled. * exp_ch6.adb (Register_Backend_Call): Moved to inline.adb. (Expand_Call): If backend inlining is enabled let the backend to handle inlined subprograms. * inline.ads (Register_Backend_Call): Moved here from exp_ch6 * inline.adb (Register_Backend_Call): Moved here from exp_ch6. (Add_Inlined_Subprogram): Add subprograms when Back_End_Inlining is set. (Must_Inline): Do not return Inline_Call if Back_End_Inlining is enabled. * debug.adb Document -gnatd.z * fe.h Import Back_End_Inlining variable. * gcc-interface/utils.c (create_subprog_decl): If Back_End_Inlining is enabled then declare attribute "always inline" 2014-07-31 Robert Dewar <dewar@adacore.com> * a-ngelfu.ads: Minor comment fix. From-SVN: r213353
2014-07-31[multiple changes]Arnaud Charlet11-160/+248
2014-07-31 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb (Freeze_Record_Type): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_ch3.adb (Analyze_Object_Contract, Process_Discriminants): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_ch5.adb (Analyze_Iterator_Specification, Analyze_Loop_Parameter_Specification): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_ch6.adb (Process_Formals): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_ch12.adb (Instantiate_Object): Replace the call to Is_SPARK_Volatile_Object with Is_Effectively_Volatile_Object and update related comment. * sem_prag.adb (Analyze_External_Property_In_Decl_Part, Analyze_Global_Item): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_res.adb (Resolve_Actuals, Resolve_Entity_Name): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. * sem_util.adb (Has_Enabled_Property, Variable_Has_Enabled_Property): Replace all calls to Is_SPARK_Volatile with Is_Effectively_Volatile and update related comments. (Is_Effectively_Volatile): New routine. (Is_Effectively_Volatile_Object): New routine. (Is_SPARK_Volatile): Removed. (Is_SPARK_Volatile_Object): Removed. * sem_util.ads (Is_Effectively_Volatile): New routine. (Is_Effectively_Volatile_Object): New routine. (Is_SPARK_Volatile): Removed. (Is_SPARK_Volatile_Object): Removed. 2014-07-31 Pascal Obry <obry@adacore.com> * s-fileio.adb (Open): Make sure a shared file gets inserted into the global list atomically. This ensures that the file descriptor won't be freed because another tasks is closing the file. From-SVN: r213352
2014-07-31sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on generation of ↵Robert Dewar4-5/+31
_FIRST and _LAST variables even in GNATprove_Mode. 2014-07-31 Robert Dewar <dewar@adacore.com> * sem_ch3.adb (Process_Range_Expr_In_Decl): Add comments on generation of _FIRST and _LAST variables even in GNATprove_Mode. * gnat_ugn.texi: Minor editing. * sem_prag.adb (Ensure_Aggregate_Form): Make sure generated aggregate is marked Comes_From_Source if argument is CFS. From-SVN: r213351
2014-07-31[multiple changes]Arnaud Charlet5-20/+41
2014-07-31 Pascal Obry <obry@adacore.com> * s-fileio.adb: Remove obsolete comment. 2014-07-31 Vincent Celier <celier@adacore.com> * a-strbou.ads ("=" (Bounded_String, Bounded_String): Add overriding keyword before function to avoid error when compiler is called with -gnatyO (check overriding indicators). 2014-07-31 Tucker Taft <taft@adacore.com> * gnat_ugn.texi: Add a paragraph pointing the reader to the "plugins" example. 2014-07-31 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb (Freeze_Expression): Document the purpose of the parent chain traversal. From-SVN: r213350
2014-07-31[multiple changes]Arnaud Charlet4-22/+64
2014-07-31 Robert Dewar <dewar@adacore.com> * checks.ads, checks.adb (Activate_Overflow_Check): Do not set flag for unconstrained fpt ops. 2014-07-31 Pascal Obry <obry@adacore.com> * s-fileio.adb (Open): Make sure a shared file gets inserted into the global list atomically. This ensures that the file descriptor won't be freed because another tasks is closing the file. From-SVN: r213349
2014-07-31[multiple changes]Arnaud Charlet14-15/+260
2014-07-31 Vincent Celier <celier@adacore.com> * projects.texi: Minor spelling error fix. 2014-07-31 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document No_Elaboration_Code_All restriction. * lib-writ.adb, lib-load.adb: Initialize No_Elab_Code field in unit information. * lib.ads, lib.adb (No_Elab_Code): New field in unit information. * restrict.adb (Process_Restriction_Synonyms): Add handling of No_Elaboration_Code_All. * restrict.ads (Process_Restriction_Synonyms): Now handles No_Elaboration_Code_All. * sem_ch10.adb (Analyze_Context): Enforce transitive with for No_Elaboration_Code_All. * sem_prag.adb (Process_Restrictions_Or_Restriction_Warnings): Handle setting of No_Elab_Code in unit information. Handle No_Elaboration_Code_All. * snames.ads-tmpl (Name_No_Elaboration_Code): New name for pragma processing. (Name_No_Elaboration_Code_All): New name for pragma processing. 2014-07-31 Eric Botcazou <ebotcazou@adacore.com> * exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Reject array types with a null range and use the Esize of the component instead of its RM_Size to identify appropriate values. 2014-07-31 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb Add with and use clause for Aspects. (Freeze_Expression): Emit an error when a volatile constant lacks Boolean aspect Import. (Has_Boolean_Aspect_Import): New routine. From-SVN: r213347
2014-07-31[multiple changes]Arnaud Charlet7-70/+256
2014-07-31 Gary Dismukes <dismukes@adacore.com> * exp_util.adb: Minor reformatting. 2014-07-31 Vincent Celier <celier@adacore.com> * errutil.adb (Error_Msg): Make sure that all components of the error message object are initialized. 2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Try_Container_Indexing): If the container type is class-wide, use specific type to locate iteration primitives. * sem_ch13.adb (Check_Indexing_Functions): Add legality checks for rules in RM 4.1.6 (Illegal_Indexing): New diagnostic procedure. Minor error message reformating. * exp_ch5.adb (Expand_Iterator_Loop): Handle properly Iterator aspect for a derived type. 2014-07-31 Robert Dewar <dewar@adacore.com> * debug.adb: Document debug flag d.X. From-SVN: r213346
2014-07-31sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb.Ed Schonberg7-33/+65
2014-07-31 Ed Schonberg <schonberg@adacore.com> * sem_util.ads (Find_Specific_Type): Moved here from exp_disp.adb. * sem_util.adb (Find_Specific_Type): If type is untagged private, retrieve full view so that primitive operations can be located. * exp_disp.adb Move Find_Specific_Type to sem_util. * exp_ch4.adb (Expand_N_Op_Eq): If operands are class-wide, use Find_Specific_Type to locate primitive equality. * exp_util.adb (Make_CW_Equivalent_Type): A class_wide equivalent type does not require initialization. * exp_attr.adb (Compile_Stream_Body_In_Scope): Within an instance body all visibility is established, and the enclosing package declarations must not be installed. From-SVN: r213345
2014-07-31sem_parg.adb, [...] (Collect_Subprogram_Inputs_Outputs): Make subprogram public.Yannick Moy3-12/+18
2014-07-31 Yannick Moy <moy@adacore.com> * sem_parg.adb, sem_prag.ads (Collect_Subprogram_Inputs_Outputs): Make subprogram public. From-SVN: r213344
2014-07-31* gcc-interface/Makefile.in (s-traceb.o): Adjust rules.Bob Duff2-4/+6
From-SVN: r213342
2014-07-31[multiple changes]Arnaud Charlet3-18/+111
2014-07-31 Ed Schonberg <schonberg@adacore.com> * exp_ch9.adb (Expand_N_Protected_Type_Declaration): New predicate Discriminated_Size, to distinguish between private components that depend on discriminants from those whose size depends on some other non-static expression. 2014-07-31 Nicolas Setton <setton@adacore.com> * g-exptty.adb (Close): Fix binding to Waitpid: use the tty version. From-SVN: r213341
generated by cgit v1.1 at 2025-09-20 08:11:08 +0000