aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/debug.adb
AgeCommit message (Collapse)AuthorFilesLines
2015-10-26debug.adb: Introduce debug flag -gnatd.5.Arnaud Charlet1-1/+5
2015-10-26 Arnaud Charlet <charlet@adacore.com> * debug.adb: Introduce debug flag -gnatd.5. From-SVN: r229349
2015-10-23[multiple changes]Arnaud Charlet1-7/+1
2015-10-23 Hristian Kirtchev <kirtchev@adacore.com> * debug.adb: Switch -gnatd.5 is no longer in use, remove the associated documentation. * exp_dbug.adb (Get_External_Name): Do not add a special prefix for ignored Ghost entities or when switch -gnatd.5 is enabled. * exp_dbug.ads Remove the documentation concerning the encoding of ignored Ghost entities. 2015-10-23 Bob Duff <duff@adacore.com> * a-exextr.adb (Notify_Exception): For Unhandled_Raise_In_Main, mimic the output from Ada.Exceptions.Last_Chance_Handler; don't print "Exception raised". * s-stalib.ads, s-exctra.ads, s-exctra.adb: Add Unhandled_Raise_In_Main to types Exception_Trace_Kind/Trace_Kind. From-SVN: r229246
2015-10-23[multiple changes]Arnaud Charlet1-1/+7
2015-10-23 Bob Duff <duff@adacore.com> * exp_strm.adb (Build_Record_Or_Elementary_Input_Function): Use Underlying_Type for B_Typ, in case the Typ is a subtype of a type with unknown discriminants. * g-awk.ads: Minor style fix in comment 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com> * debug.adb: Document the use of debug switch -gnatd.5. * einfo.adb: Code reformatting. (Is_Ghost_Entity): Moved from ghost.adb. * einfo.ads New synthesized attribute Is_Ghost_Enity along with usage in nodes and pragma Inline. (Is_Ghost_Entity: Moved from ghost.ads. * exp_ch3.adb Code reformatting. (Expand_Freeze_Array_Type): Capture, set and restore the Ghost mode. (Expand_Freeze_Class_Wide_Type): Capture, set and restore the Ghost mode. (Expand_Freeze_Enumeration_Type): Capture, set and restore the Ghost mode. (Expand_Freeze_Record_Type): Capture, set and restore the Ghost mode. * exp_ch6.adb (Expand_Subprogram_Contract): Do not expand the contract of an ignored Ghost subprogram. * exp_ch13.adb Add with and use clauses for Ghost. (Expand_N_Freeze_Entity): Capture, set and restore the Ghost mode. * exp_dbug.adb (Get_External_Name): Code reformatting. Add a special prefix for ignored Ghost entities or when requested by -gnatd.5 for any Ghost entity. * exp_dbug.ads Document the use of prefix "_ghost_" for ignored Ghost entities. * exp_prag.adb (Expand_Pragma_Check): Capture, set and restore the Ghost mode. (Expand_Pragma_Loop_Variant): Use In_Assertion_Expr to signal the original context. * ghost.adb (Check_Ghost_Overriding): Code cleanup. (Is_Ghost_Entity): Moved to einfo.adb. (Is_OK_Declaration): Move the assertion expression check to the outer level. (Is_OK_Ghost_Context): An assertion expression is a valid Ghost context. * ghost.ads (Is_Ghost_Entity): Moved to einfo.ads. * sem_ch3.adb (Analyze_Object_Contract): A source Ghost object cannot be imported or exported. Mark internally generated objects as Ghost when applicable. (Make_Class_Wide_Type): Inherit the ghostness of the root tagged type. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Mark a stand alone subprogram body as Ghost when applicable. (Analyze_Subprogram_Declaration): Mark internally generated subprograms as Ghost when applicable. * sem_ch7.adb: Code cleanup. * sem_ch13.adb (Add_Invariants): Add various formal parameters to break dependency on global variables. (Build_Invariant_Procedure): Code cleanup. Capture, set and restore the Ghost mode. * sem_res.adb (Resolve_Actuals): The actual parameter of a source Ghost subprogram whose formal is of mode IN OUT or OUT must be a Ghost variable. 2015-10-23 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch8.adb Code cleanup. (Find_Expanded_Name): Replace the call to In_Pragmas_Depends_Or_Global with a call to In_Abstract_View_Pragma. (In_Abstract_View_Pragma): New routine. (In_Pragmas_Depends_Or_Global): Removed. * sem_prag.adb (Analyze_Part_Of): Catch a case where indicator Part_Of denotes the abstract view of a variable. From-SVN: r229224
2015-10-20[multiple changes]Arnaud Charlet1-5/+6
2015-10-20 Ed Schonberg <schonberg@adacore.com> * sem_smem.adb (Check_Shared_Var): Clean up code that handles type declarations with discriminants, remove obsolete check. 2015-10-20 Arnaud Charlet <charlet@adacore.com> * par_sco.adb: Minor style fixes. 2015-10-20 Vincent Celier <celier@adacore.com> * debug.adb: Update documentation of -gnatdu. From-SVN: r229048
2015-10-20[multiple changes]Arnaud Charlet1-2/+2
2015-10-20 Gary Dismukes <dismukes@adacore.com> * sem_ch13.adb: Minor reference change (RM => AARM). 2015-10-20 Eric Botcazou <ebotcazou@adacore.com> * make.adb (Check): Skip multilib switches reinstated by the compiler only when counting the number of switches, since it is what really matters in the regular operating mode. 2015-10-20 Arnaud Charlet <charlet@adacore.com> * einfo.adb: Add extra assertion for small clause. * cstand.adb: Minor style fix in comment. * debug.adb: Minor reformatting. * exp_util.adb: Fix minor typo. 2015-10-20 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Same_Instantiated_Function): New predicate in Check_Formal_Package_Instance, used to verify that the formal and the actual of an actual package match when both are functions given as attribute references. From-SVN: r229034
2015-10-20[multiple changes]Arnaud Charlet1-1/+8
2015-10-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Check_Usage): Update the calls to Usage_Error. (Usage_Error): Remove formal parameter Item. Emit a clearer message concerning a missing dependency item and place it on the related pragma. 2015-10-20 Bob Duff <duff@adacore.com> * debug.adb, expander.adb: Implement -gnatd.B switch, which triggers a bug box when an abort_statement is seen. This is useful for testing Comperr.Compiler_Abort. * gnat1drv.adb: Trigger bug box on all exceptions other than Unrecoverable_Error. From-SVN: r229032
2015-10-16[multiple changes]Arnaud Charlet1-6/+1
2015-10-16 Arnaud Charlet <charlet@adacore.com> * usage.adb, debug.adb, a-except.adb, a-except.ads, a-except-2005.adb, a-except-2005.ads, s-imgrea.adb: Minor code clean ups related to jgnat/dotnet removal. 2015-10-16 Arnaud Charlet <charlet@adacore.com> * s-osprim-vxworks.adb, s-osprim-darwin.adb, s-tadeca.adb, s-osprim-unix.adb, s-osprim-solaris.adb, s-osprim-posix.adb, s-osprim.ads (Monotonic_Clock): Removed, unused. 2015-10-16 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Try_Object_Operation, Try_One_Interpretation): Do not reset the Obj_Type of the prefix if an interpretation involves an untagged type, to prevent a crash when analyzing an illegal program in All_Errors mode. 2015-10-16 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Expression_With_Actions): Force the evaluation of the expression when its type is Boolean. (Force_Boolean_Evaluation): New routine. 2015-10-16 Bob Duff <duff@adacore.com> * sem_util.adb (Has_Discrim_Dep_Array): Remove this function, and the call. No longer needed now that the back end can handle such things. Should result in further speedups in some cases. 2015-10-16 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Build_Predicate_Functions): If expression for predicate is side-effect free, indicate that the predicate function is pure, to allow for optimization of redundant predicate checks. From-SVN: r228881
2015-10-16exp_ch5.adb, [...]: Code clean up: remove special handling for .NET and JVM.Arnaud Charlet1-13/+6
2015-10-16 Arnaud Charlet <charlet@adacore.com> * exp_ch5.adb, sem_ch3.adb, frontend.adb, exp_ch7.adb, exp_ch7.ads, sem_ch5.adb, sem_type.adb, exp_util.adb, exp_util.ads, comperr.adb, exp_attr.adb, sinfo.ads, exp_ch9.adb, make.adb, usage.adb, lib-writ.adb, sem_ch9.adb, bindgen.adb, debug.adb, einfo.adb, einfo.ads, types.ads, checks.adb, sem_prag.adb, s-tasini.adb, rtsfind.ads, freeze.adb, sem_util.adb, sem_util.ads, exp_dbug.adb, gnatlink.adb, gnat1drv.adb, targparm.adb, targparm.ads, exp_ch4.adb, exp_ch11.adb, repinfo.adb, s-soflin.adb, s-soflin.ads, exp_ch6.adb, exp_ch13.adb, sem_mech.adb, sem_ch6.adb, par-prag.adb, exp_disp.adb, sem_ch8.adb, exp_disp.ads, snames.adb-tmpl, exp_aggr.adb, sem_eval.adb, exp_intr.adb, sem_ch13.adb, snames.ads-tmpl, sem_disp.adb, exp_ch3.adb: Code clean up: remove special handling for .NET and JVM. From-SVN: r228874
2015-10-16[multiple changes]Arnaud Charlet1-1/+6
2015-10-16 Bob Duff <duff@adacore.com> * debug.adb: Document -gnatdQ switch. 2015-10-16 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Analyze_Formal_Subprogram): Implement rule that a formal abstract subprogram cannot have a null default: RM 12.6 (4 1.2). From-SVN: r228869
2015-05-26[multiple changes]Arnaud Charlet1-1/+4
2015-05-26 Robert Dewar <dewar@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Defend against bad bounds. * debug.adb: Document -gnatd.k. * erroutc.adb (Set_Msg_Insertion_Line_Number): Implement -gnatd.k. 2015-05-26 Robert Dewar <dewar@adacore.com> * gnat1drv.adb (Gnat1drv): Provide new arguments for Get_Target_Parameters. * restrict.adb (Set_Restriction_No_Specification_Of_Aspect): new procedure. (Set_Restriction_No_Use_Of_Attribute): new procedure. * restrict.ads (Set_Restriction_No_Specification_Of_Aspect): new procedure. (Set_Restriction_No_Use_Of_Attribute): new procedure. * s-rident.ads (Integer_Parameter_Restrictions): New subtype. * targparm.adb (Get_Target_Parameters): Allow new restriction pragmas No_Specification_Of_Aspect No_Use_Of_Attribute No_Use_Of_Pragma. * targparm.ads: New parameters for Get_Target_Parameters. * tbuild.adb (Set_NOD): New name for Set_RND. (Set_NSA): New procedure. (Set_NUA): New procedure. (Set_NUP): New procedure. * tbuild.ads (Make_SC): Minor reformatting. (Set_NOD): New name for Set_RND. (Set_NSA, Set_NUA, Set_NUP): New procedure. 2015-05-26 Ed Schonberg <schonberg@adacore.com> * a-stwise.adb (Find_Token): If source'first is not positive, an exception must be raised, as specified by RM 2005 A.4.3 (68/1). This must be checked explicitly, given that run-time files are normally compiled without constraint checks. * a-stzsea.adb (Find_Token): Ditto. 2015-05-26 Ed Schonberg <schonberg@adacore.com> * sem_util.ads sem_util.adb (Is_Current_Instance): New predicate to fully implement RM 8.6 (17/3). which earlier only applied to synchronized types. Used to preanalyze aspects that include current instances of types, such as Predicate and Invariant. * sem_res.adb (Resolve_Entity_Name): Use Is_Current_Instance. * sem_ch13.adb (Add_Predicates): In ASIS mode, preserve original expression of aspect and analyze it to provide proper type information. 2015-05-26 Robert Dewar <dewar@adacore.com> * rtsfind.ads: Add entries for RE_Exn[_Long]_Float. * s-exnllf.adb (Exn_Float): New function. (Exn_Long_Float): New function. (Exn_Long_Long_Float): Rewritten interface. (Exp): New name for what used to be Exn_Long_Long_Float. * s-exnllf.ads (Exn_Float): New function. (Exn_Long_Float): New function. 2015-05-26 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Selected_Component): Do not emit an error on a selected component when the prefix is a type name that is a Current_Instance. * einfo.ads: Minor grammar fix. 2015-05-26 Doug Rupp <rupp@adacore.com> * init.c [vxworks] (sysLib.h): Only for x86. From-SVN: r223678
2015-05-22debug.adb: Update documentation.Robert Dewar1-5/+5
2015-05-22 Robert Dewar <dewar@adacore.com> * debug.adb: Update documentation. * einfo.ads, einfo.adb (Needs_Typedef): New flag * exp_unst.adb (Unnest_Subprogram): Mark AREC types as needing typedef's in C. * frontend.adb: Update comments. * gnat1drv.adb (Adjust_Global_Switches): Set all needed flags for -gnatd.V * opt.ads (Generate_C_Code): New switch. * osint-c.adb (Write_C_File_Info): Removed, not used (Write_H_File_Info): Removed, not used * osint-c.ads (Write_C_File_Info): Removed, not used (Write_H_File_Info): Removed, not used * osint.ads (Write_Info): Minor comment updates. (Output_FD): Moved from private part to public part of spec. * sem.adb (Semantics): Force expansion on if in Generate_C_Code mode. * atree.ads: minor typo in comment. * sem_prag.adb (Process_Atomic_Independent_Shared_Volatile): Do not allow VFA on composite object with aliased component. From-SVN: r223546
2015-05-12[multiple changes]Arnaud Charlet1-1/+4
2015-05-12 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting. 2015-05-12 Vincent Celier <celier@adacore.com> * gnatcmd.adb: If we want to invoke gnatmake (gnatclean) with -P, then check if gprbuild (gprclean) is available; if it is, use gprbuild (gprclean) instead of gnatmake (gnatclean). 2015-05-12 Robert Dewar <dewar@adacore.com> * debug.adb: Add flag -gnatd.3 to output diagnostic info from Exp_Unst. * einfo.ad, einfo.adb: Reorganize (and remove most of) flags used by Exp_Unst. * exp_ch6.adb (Unest_Bodies): Table for delayed calls to Unnest_Subprogram (Expand_N_Subprogram_Body): Add entry to table for later call instead of calling Unnest_Subprogram directly (Initialize): New procedure (Unnest_Subprograms): New procedure * exp_ch6.ads (Add_Extra_Actual_To_Call): Move into proper alpha order. (Initialize): New procedure. (Unnest_Subprograms): New procedure. * exp_unst.adb (Unnest_Subprogram): Major rewrite, moving all processing to this routine which is now called late after instantiating bodies. Fully handles the case of generic instantiations now. * exp_unst.ads: Major rewrite, moving all processing to Unnest_Subprogram. * frontend.adb (Frontend): Add call to Exp_Ch6.Initialize. (Frontend): Add call to Unnest_Subprograms. * sem_ch8.adb (Find_Direct_Name): Back to old calling sequence for Check_Nested_Access. * sem_util.adb (Build_Default_Subtype): Minor reformatting (Check_Nested_Access): Back to original VM-only form (we now do all the processing for Unnest_Subprogram at the time it is called. (Denotes_Same_Object): Minor reformatting (Note_Possible_Modification): Old calling sequence for Check_Nested_Access. * sem_util.ads (Check_Nested_Access): Back to original VM-only form (we now do all the processing for Unnest_Subprogram at the time it is called. From-SVN: r223043
2015-03-02debug.adb: Document new debug flag -gnatd.1.Robert Dewar1-3/+4
2015-03-02 Robert Dewar <dewar@adacore.com> * debug.adb: Document new debug flag -gnatd.1. * einfo.ads, einfo.adb (Has_Nested_Subprogram): New flag. (Has_Uplevel_Reference): New flag (Is_Static_Type): New flag. (Uplevel_Reference_Noted):New flag (Uplevel_References): New field. * elists.ads elists.adb (List_Length): New function. * exp_ch6.adb (Expand_N_Subprogram_Body): Call Unnest_Subprogram when appropriate (Process_Preconditions): Minor code reorganization and reformatting * exp_unst.ads, exp_unst.adb: New files. * gnat1drv.adb (Adjust_Global_Switches): Set Unnest_Subprogram_Mode if -gnatd.1 * namet.ads, namet.adb (Name_Find_Str): New version of Name_Find with string argument. * opt.ads (Unnest_Subprogram_Mode): New flag. * par-ch3.adb (P_Identifier_Declarations): Fixes to -gnatd.2 handling. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Set Has_Nested_Subprogram flag. * sem_ch8.adb (Find_Direct_Name): New calling sequence for Check_Nested_Access. (Find_Selected_Component): Minor comment addition. * sem_util.adb (Check_Nested_Access): New version for use with Exp_Unst. (Note_Possible_Modification): New calling sequence for Check_Nested_Access. * sem_util.ads (Check_Nested_Access): New version for use with Exp_Unst. * gcc-interface/Make-lang.in (GNAT1_OBJS): Add exp_unst.o From-SVN: r221109
2015-02-20[multiple changes]Arnaud Charlet1-3/+11
2015-02-20 Arnaud Charlet <charlet@adacore.com> * sysdep.c, expect.c, s-oscons-tmplt.c, gsocket.h, adaint.c: Remove obsolete references to RTX, nucleus, VMS. 2015-02-20 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Fix_Error): For an illegal Type_Invariant'Class aspect, use name that mentions Class explicitly, rather than compiler-internal name. 2015-02-20 Robert Dewar <dewar@adacore.com> * debug.adb: Add documentation for -gnatd.2 (allow statements in decl sequences). * par-ch3.adb (P_Identifier_Declarations): Handle statement appearing where declaration expected more cleanly. (Statement_When_Declaration_Expected): Implement debug flag -gnatd.2. 2015-02-20 Jose Ruiz <ruiz@adacore.com> * a-dinopr.ads: Add spec for this package (Unimplemented_Unit). * a-dispat.ads (Yield): Include procedure added in Ada 2012. * a-dispat.adb (Yield): Implement procedure added in Ada 2012. * impunit.adb (Non_Imp_File_Names_05): Mark unit a-dinopr.ads as defined by Ada 2005. * snames.ads-tmpl (Name_Non_Preemptive_FIFO_Within_Priorities): This is the correct name for the dispatching policy (FIFO was missing). 2015-02-20 Javier Miranda <miranda@adacore.com> * sem_res.adb (Resolve_Type_Conversion): If the type of the operand is the limited-view of a class-wide type then recover the class-wide type of the non-limited view. From-SVN: r220852
2014-11-20[multiple changes]Arnaud Charlet1-1/+1
2014-11-20 Bob Duff <duff@adacore.com> * debug.adb: Minor comment fix. 2014-11-20 Arnaud Charlet <charlet@adacore.com> * a-ciorma.adb: Minor update: move pragma Annotate up. * a-cfdlli.adb: Skip codepeer analysis on this body. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case No_Elaboration_Code_All): Allow use of this pragma with generic unit (package or subprogram). * gnat_rm.texi: Clarify that pragma No_Elaboration_Code_All can be applied to generics. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_aggr.adb (Valid_Limited_Ancestor): Ancestor part of extension aggregate can itself be an extension aggregate, as well as a call that is rewritten as a reference. 2014-11-20 Eric Botcazou <ebotcazou@adacore.com> * inline.adb (Add_Inlined_Subprogram): Insert all programs generated as a body or whose declaration was provided along with the body. 2014-11-20 Javier Miranda <miranda@adacore.com> * sem.adb (Semantics): Disable expansion if we are compiling a separate unit under configurable runtime. By default separate units are compiled with expansion disabled but under configurable runtime we enable the expansion to get error messages about missing entities. From-SVN: r217855
2014-11-07[multiple changes]Arnaud Charlet1-1/+5
2014-11-07 Arnaud Charlet <charlet@adacore.com> * debug.adb, snames.adb-tmpl (Is_Keyword_Name): Consider 'overriding' a keyword in Ada 95 mode when -gnatd.D is used. * gnat_ugn.texi: Document -gnatd.D. 2014-11-07 Vasiliy Fofanov <fofanov@adacore.com> * gnatls.adb: Lower severity of the program's return value in some common cases. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Decorate_Type): The limited view of a tagged type has an empty list of primitive operations. 2014-11-07 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): Update references to SPARK RM. (Process_Full_View): Update references to SPARK RM. * sem_ch6.adb (Analyze_Generic_Subprogram_Body): Update references to SPARK RM. (Analyze_Subprogram_Body_Helper): Update references to SPARK RM. * sem_ch7.adb (Analyze_Package_Body_Helper): Update references to SPARK RM. * sem_prag.adb (Check_Ghost_Constituent): Update references to SPARK RM. * sem_res.adb (Check_Ghost_Policy): Update references to SPARK RM. (Resolve_Actuals): Ensure that the actual parameter of a Ghost subprogram whose formal is of mode IN OUT or OUT is Ghost. * sem_util.adb (Check_Ghost_Completion): Update references to SPARK RM. 2014-11-07 Ed Schonberg <schonberg@adacore.com> * exp_ch7.adb (Make_Final_Call): If type of designated object is derived from that of the formal of the Deep_Finalize procedure, add an unchecked conversion to prevent spurious type error. 2014-11-07 Robert Dewar <dewar@adacore.com> * table.adb, inline.adb, einfo.adb, gnat1drv.adb, exp_ch13.adb, exp_fixd.adb, prj-conf.adb, exp_strm.adb, a-cofove.adb, exp_ch3.ads: Minor reformatting. 2014-11-07 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, sem_ch13.adb, prj-tree.adb: Minor reformatting. From-SVN: r217227
2014-10-17[multiple changes]Arnaud Charlet1-1/+6
2014-10-17 Robert Dewar <dewar@adacore.com> * exp_ch9.adb (Expand_N_Task_Body): Add defense against previous errors. * freeze.adb (Freeze_Entity): Add defense against checking null scope for generic. * restrict.adb (Tasking_Allowed): Add test for No_Run_Time mode. * sem_ch13.adb (Freeze_Entity_Checks): Add defense against previous errors. * sem_ch9.adb (Analyze_Task_Type_Declaration): Give error if in No_Run_Time mode. 2014-10-17 Robert Dewar <dewar@adacore.com> * prj-makr.adb: Minor reformatting. 2014-10-17 Robert Dewar <dewar@adacore.com> * gnatcmd.adb, make.adb, prj-part.adb, gnatlink.adb, prj-nmsc.adb, prj-conf.adb, prj-env.adb: Use Is_Directory_Separator where possible. 2014-10-17 Ed Schonberg <schonberg@adacore.com> * exp_prag.adb (Undo_Initialization): If Initialize_Scalars is enabled, code will be generated for some composite types to initialize an object after its declaration. If there is a subsequent Import pragma for the object, that code must be removed as specified byw the semantics of the pragma, and to prevent out-of-order elaboration issues in the back-end. 2014-10-17 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch4.adb (Expand_N_Op_Concat): Keep concatenation operator wrapping mechanism under debug flag -gnatd.h. * debug.adb: Claim debug switch -gnatd.h. From-SVN: r216384
2014-08-01[multiple changes]Arnaud Charlet1-4/+6
2014-08-01 Vincent Celier <celier@adacore.com> * debug.adb: Minor documentation addition for -dn switch. 2014-08-01 Robert Dewar <dewar@adacore.com> * sem_aggr.adb, exp_ch9.adb, sem_prag.adb, sem_util.adb, sem_attr.adb, sem_eval.ads, sem_cat.adb, sem_ch13.adb: Improve documentation of Is_Static_Expression vs Is_OK_Static_Expression. In several places, use the Is_OK version as suggested by the spec. 2014-08-01 Vincent Celier <celier@adacore.com> * gnatcmd.adb: Revert last change which was not correct. 2014-08-01 Hristian Kirtchev <kirtchev@adacore.com> * freeze.adb (Find_Constant): Ensure that the constant being inspected is still an object declaration (i.e. not a renaming). From-SVN: r213458
2014-08-01[multiple changes]Arnaud Charlet1-1/+7
2014-08-01 Robert Dewar <dewar@adacore.com> * debug.adb: Document debug switch -gnatd.Z. * sem.adb (Semantics): Force expansion on in no or configurable run time mode. 2014-08-01 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Loop_Parameter_Specification): An unchecked conversion denotes an iterator specification. Such a conversion will be inserted in the context of an inlined call when needed, and its argument is always an object. From-SVN: r213456
2014-08-01[multiple changes]Arnaud Charlet1-9/+7
2014-08-01 Robert Dewar <dewar@adacore.com> * make.adb, makeutl.ads: Minor reformatting. * debug.adb, opt.ads: Clarify documentation of Front_End_Inlining and Back_End_Inlining. 2014-08-01 Tristan Gingold <gingold@adacore.com> * gnatcmd.adb (GNATCmd): Set AAMP_On_Target using command name. From-SVN: r213453
2014-08-01gnat1drv.adb (Adjust_Global_Switches): Reverse meaning of -gnatd.z.Javier Miranda1-11/+9
2014-08-01 Javier Miranda <miranda@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Reverse meaning of -gnatd.z. * debug.adb: Updating documentation. * exp_ch6.adb (Expand_Call): Remove assertion. From-SVN: r213452
2014-08-01[multiple changes]Arnaud Charlet1-0/+2
2014-08-01 Robert Dewar <dewar@adacore.com> * sem_aggr.adb, sem_ch3.adb, sem_ch5.adb, sem_util.adb, sem_res.adb: Minor reformatting. 2014-08-01 Vincent Celier <celier@adacore.com> * make.adb (Initialize): Set Keep_Temporary_Files to True when -dn is specified. * makeusg.adb: Add line for new switch --keep-temp-files. * makeutl.ads (Keep_Temp_Files_Option): New constant String. * opt.ads (Keep_Temporary_Files): Document that it is also used by gnatmake and gprbuild. * switch-m.adb: Recognize new switch --keep-temp-files. From-SVN: r213451
2014-08-01debug.adb: Remove doc for gnatmake/gprbuild switch -ds.Vincent Celier1-9/+1
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 Charlet1-1/+9
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-07-31[multiple changes]Arnaud Charlet1-5/+1
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[multiple changes]Arnaud Charlet1-9/+1
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 Charlet1-2/+6
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 Charlet1-1/+6
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-31[multiple changes]Arnaud Charlet1-1/+3
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 Charlet1-1/+7
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-30[multiple changes]Arnaud Charlet1-6/+1
2014-07-30 Pat Rogers <rogers@adacore.com> * gnat_rm.texi: Minor word error. 2014-07-30 Ed Schonberg <schonberg@adacore.com> * exp_prag.adb (Expand_Old): Insert declarationss of temporaries created to capture the value of the prefix of 'Old at the beginning of the current declarative part, to prevent data flow anomalies in the postcondition procedure that will follow. 2014-07-30 Yannick Moy <moy@adacore.com> * debug.adb: Retire debug flag -gnatdQ. * inline.adb (Can_Be_Inlined_In_GNATprove_Mode): Check SPARK_Mode on decl, not on body. Ignore predicate functions. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove use of debug flag -gnatdQ. Correctly analyze SPARK_Mode on decl and body when generating a decl for a body on which SPARK_Mode aspect is given. * sem_prag.adb (Analyze_Pragma|SPARK_Mode): Reorder tests for attaching pragma to entity, to account for declaration not coming from source. * sem_res.adb (Resolve_Call): Issue warning and flag subprogram as not always inlined in GNATprove mode, when called in an assertion context. From-SVN: r213271
2014-07-30[multiple changes]Arnaud Charlet1-1/+3
2014-07-30 Vincent Celier <celier@adacore.com> * debug.adb: Minor comment update. 2014-07-30 Robert Dewar <dewar@adacore.com> * s-tasuti.adb, s-tassta.adb: Minor reformatting. * sprint.adb (Sprint_Node): Handle N_Contract case. * exp_prag.adb: Minor reformatting. * freeze.adb (Freeze_Entity): Check useless postcondition for No_Return subprogram. * sem_prag.adb: Minor reformatting. 2014-07-30 Javier Miranda <miranda@adacore.com> * a-tags.ads: Complete comments about performance. 2014-07-30 Fedor Rybin <frybin@adacore.com> * gnat_ugn.texi: Adding description for --exit-status option to gnattest section. Fixing index entry of --passed-tests option in gnattest section. 2014-07-30 Javier Miranda <miranda@adacore.com> * Makefile.rtl, gnat_rm.texi, i-cpp.adb, i-cpp.ads, impunit.adb, rtsfind.ads: Remove references to package Interfaces.CPP since this package is no longer needed. From-SVN: r213270
2014-07-30[multiple changes]Arnaud Charlet1-4/+5
2014-07-30 Doug Rupp <rupp@adacore.com> * adaint.c (__gnat_tmp_name) [__ANDROID__]: Default to putting temp files in /cache directory unless overridden by TMPDIR. 2014-07-30 Jose Ruiz <ruiz@adacore.com> * s-tassta.adb, s-tarest.adb (Initialize, Create_Task, Create_Restricted_Task): Remove redundant check. Number_Of_CPUs returns type CPU, so it can never be greater than CPU_Range'Last. 2014-07-30 Bob Duff <duff@adacore.com> * s-taskin.ads: Minor comment fix. 2014-07-30 Thomas Quinot <quinot@adacore.com> * g-socket.adb: Remove now useless WITH, USE, and USE TYPE clauses. 2014-07-30 Yannick Moy <moy@adacore.com> * debug.adb: Free debug flag dQ used for frontend inlining in GNATprove mode.. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Remove test of debug flag.. 2014-07-30 Thomas Quinot <quinot@adacore.com> * Make-generated.in: Remove generation of s-oscons.ads, only generate the xoscons utility, in runtime-agnostic rules. * gcc-interface/Makefile.in: Clean up rules. Remove VMS parts, no longer supported. From-SVN: r213250
2014-07-30[multiple changes]Arnaud Charlet1-5/+6
2014-07-30 Robert Dewar <dewar@adacore.com> * debug.adb: Document that d7 suppresses compilation time output. * errout.adb (Write_Header): Include compilation time in header output. * exp_intr.adb (Expand_Intrinsic_Call): Add Compilation_Date/Compilation_Time (Expand_Source_Info): Expand Compilation_Date/Compilation_Time. * g-souinf.ads (Compilation_Date): New function (Compilation_Time): New function. * gnat1drv.adb (Gnat1drv): Set Opt.Compilation_Time. * gnat_rm.texi (Compilation_Date): New function (Compilation_Time): New function. * opt.ads (Compilation_Time): New variable. * s-os_lib.ads, s-os_lib.adb (Current_Time_String): New function. * sem_intr.adb (Compilation_Date): New function. (Compilation_Time): New function. * snames.ads-tmpl (Name_Compilation_Date): New entry. (Name_Compilation_Time): New entry. 2014-07-30 Yannick Moy <moy@adacore.com> * inline.adb: Add comment. 2014-07-30 Ed Schonberg <schonberg@adacore.com> * par-ch4.adb (Is_Parameterless_Attribute): 'Result is a parameterless attribute, and a postondition can mention an indexed component or a slice whose prefix is an attribute reference F'Result. 2014-07-30 Robert Dewar <dewar@adacore.com> * sprint.adb (Sprint_Node_Actual, case Object_Declaration): Avoid bomb when printing package Standard. 2014-07-30 Ed Schonberg <schonberg@adacore.com> * sem_elab.adb (Check_Internal_Call_Continue): If an elaboration entity is created at this point, ensure that the name of the flag is unique, because the subprogram may be overloaded and other homonyms may also have elaboration flags created on the fly. 2014-07-30 Hristian Kirtchev <kirtchev@adacore.com> * sem_attr.adb (Analyze_Array_Component_Update): New routine. (Analyze_Attribute): Major cleanup of attribute 'Update. The logic is now split into two distinct routines depending on the type of the prefix. The use of <> is now illegal in attribute 'Update. (Analyze_Record_Component_Update): New routine. (Check_Component_Reference): Removed. (Resolve_Attribute): Remove the return statement and ??? comment following the processing for attribute 'Update. As a result, the attribute now freezes its prefix. 2014-07-30 Javier Miranda <miranda@adacore.com> * exp_ch4.adb (Apply_Accessibility_Check): Do not call Base_Address() in VM targets. From-SVN: r213246
2014-07-292014-07-29 Yannick Moy <moy@adacore.com>Yannick Moy1-1/+5
* debug.adb Enable GNATprove inlining under debug flag -gnatdQ for now. * inline.ads, inline.adb (Can_Be_Inlined_In_GNATprove_Mode): New function to decide when a subprogram can be inlined in GNATprove mode. (Check_And_Build_Body_To_Inline): Include GNATprove_Mode as a condition for possible inlining. * sem_ch10.adb (Analyze_Compilation_Unit): Remove special case for Inline_Always in GNATprove mode. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Build inlined body for subprograms in GNATprove mode, under debug flag -gnatdQ. * sem_prag.adb Minor change in comments. * sem_res.adb (Resolve_Call): Only perform GNATprove inlining inside subprograms marked as SPARK_Mode On. * sinfo.ads: Minor typo fix. From-SVN: r213205
2014-07-29sem_ch10.adb, [...]: Minor reformatting.Robert Dewar1-2/+3
2014-07-29 Robert Dewar <dewar@adacore.com> * sem_ch10.adb, debug.adb, sem_prag.adb, sem_res.adb, sem_ch6.adb: Minor reformatting. From-SVN: r213183
2014-07-18[multiple changes]Arnaud Charlet1-125/+246
2014-07-18 Vincent Celier <celier@adacore.com> * debug.adb: Update comment. 2014-07-18 Hristian Kirtchev <kirtchev@adacore.com> * exp_util.adb (Needs_Finalization): There is no reason why a C type should not benefit from finalization actions. 2014-07-18 Thomas Quinot <quinot@adacore.com> * s-oscons-tmplt.c (NAME_MAX): Fix definition for Solaris (FILENAME_MAX): Remove unneeded definition. From-SVN: r212785
2014-07-18exp_attr.adb, debug.adb: Update comments.Robert Dewar1-0/+7
2014-07-18 Robert Dewar <dewar@adacore.com> * exp_attr.adb, debug.adb: Update comments. From-SVN: r212784
2014-07-18[multiple changes]Arnaud Charlet1-1/+1
2014-07-18 Vincent Celier <celier@adacore.com> * par-ch4.adb (Simple_Expression): Add missing style check for binary adding operators. (Term): Add missing style check for multiplying operators. 2014-07-18 Robert Dewar <dewar@adacore.com> * impunit.adb: Minor comment correction. * widechar.adb, s-wchcon.ads: Minor comment corrections. From-SVN: r212783
2014-07-17debug.adb: Remove -gnatdQ.Robert Dewar1-7/+1
2014-07-17 Robert Dewar <dewar@adacore.com> * debug.adb: Remove -gnatdQ. * exp_disp.adb: Remove -gnatdQ. * a-ztenio.ads, a-wtinio.ads, a-wtmoio.ads, a-ztcoau.ads, a-tiinio.ads, a-wtfiio.ads, a-timoio.ads, sem_ch12.adb, a-tifiio.ads, a-ztinio.ads, rtsfind.adb, rtsfind.ads, a-ztmoio.ads, a-wtdeio.ads, a-ztfiio.ads, a-tideio.ads, a-wtflio.ads, a-ztdeio.ads, sem_ch8.adb, a-tiflio.ads, sprint.adb, a-ztflio.ads, snames.ads-tmpl, a-wtenio.ads, a-tienio.ads: Rename Text_IO_Kludge to Text_IO_Special_Unit. From-SVN: r212725
2014-06-13[multiple changes]Arnaud Charlet1-6/+1
2014-06-13 Robert Dewar <dewar@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference, case Pred/Succ): Change reason to Overflow. 2014-06-13 Robert Dewar <dewar@adacore.com> * makeutl.adb: Minor reformatting. 2014-06-13 Gail Schenker <schenker@adacore.com> * debug.adb, sem_eval.adb (Why_Not_Static): Remove temporary code and associated flag (d.z), no longer needed. 2014-06-13 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): For Import and Export aspects, do not check whether a corresponding Convention aspect has been specified. Convention is optional in Ada2012, and defaults to Convention_Ada. From-SVN: r211624
2014-06-13[multiple changes]Arnaud Charlet1-7/+1
2014-06-13 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Minor fixes. * gnat_ugn.texi: Added a missing "@itemize". 2014-06-13 Robert Dewar <dewar@adacore.com> * debug.adb: Remove -gnatd.1 flag documentation. * layout.adb (Layout_Type): Remove special handling of size for anonymous access type. * sem_ch3.adb (Replace_Type): Remove special handling of size for anonymous access type. From-SVN: r211620
2014-06-13debug.adb: Document debug flag -gnatd.1.Robert Dewar1-1/+7
2014-06-13 Robert Dewar <dewar@adacore.com> * debug.adb: Document debug flag -gnatd.1. * layout.adb (Layout_Type): Size change for anonymous access types under -gnatd.1. * sem_ch3.adb (Replace_Type): Size change for anonymous access types under -gnatd.1. From-SVN: r211619
2014-06-11[multiple changes]Arnaud Charlet1-10/+1
2014-06-11 Robert Dewar <dewar@adacore.com> * sem_ch13.adb: Minor reformatting. 2014-06-11 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Check_Clause_Syntax): Add new local variable Outputs. Account for the case where multiple output items appear as an aggregate. 2014-06-11 Robert Dewar <dewar@adacore.com> * sem_warn.adb (Output_Obsolescent_Entity_Warnings): Tag warning with ?j? not ??. 2014-06-11 Ed Schonberg <schonberg@adacore.com> * einfo.ads: Minor reformatting. 2014-06-11 Hristian Kirtchev <kirtchev@adacore.com> * a-cbdlli.adb, a-cdlili.adb, a-cidlli.adb, a-crdlli.adb (Insert): Add new variable First_Node. Update the position after all insertions have taken place to First_Node. 2014-06-11 Robert Dewar <dewar@adacore.com> * debug.adb: Remove debug flag -gnatd.1, no longer needed. * layout.adb (Layout_Type): Remove test of -gnatd.1. From-SVN: r211465
2014-06-11[multiple changes]Arnaud Charlet1-1/+10
2014-06-11 Thomas Quinot <quinot@adacore.com> * freeze.ads: Minor reformatting. * checks.adb (Determine_Range): Do not attempt to determine the range of a deferred constant whose full view has not been seen yet. * sem_res.adb (Resolve): Remove undesirable guard against resolving expressions from expression functions. 2014-06-11 Robert Dewar <dewar@adacore.com> * debug.adb (Debug_Flag_Dot_1): Set to enable fix for anonymous access types. * layout.adb (Layout_Type): Make anonymous access types for subprogram formal types and return types always thin. For now only enabled if -gnatd.1 set. 2014-06-11 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Stream_TSS_Definition): Apply legality rule for stream attributes of interface types (RM 13.13.2 (38/3)): subprogram must be a null procedure. From-SVN: r211464
2014-06-11Code clean ups.Arnaud Charlet1-0/+10
From-SVN: r211461
2014-06-112014-06-11 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet1-7/+1
* gnat_ugn.texi, vms_data.ads: add description of gnatstub -W<par> option to specify the result file encoding. 2014-06-11 Robert Dewar <dewar@adacore.com> * errout.ads, sem_ch12.adb: Minor reformatting. * debug.adb, erroutc.adb: Remove -gnatd.q debug switch. * lib-xref.adb: Minor reformatting. * restrict.adb: Minor code reorganization (put routines in alpha order). From-SVN: r211455
2014-06-11[multiple changes]Arnaud Charlet1-1/+7
2014-06-11 Robert Dewar <dewar@adacore.com> * debug.adb: Add debug flag -gnatd.q. * erroutc.adb (Prescan_Message): Bomb if untagged warning with -gnatd.q set. * styleg.adb (Check_Xtra_Parens): Message should be a style message. * sem_aggr.adb, sem_ch3.adb, exp_ch9.adb, checks.adb, sem_prag.adb, par-endh.adb, eval_fat.adb, freeze.adb, sem_util.adb, sem_attr.adb, sem_elab.adb, sem_ch6.adb, sem_warn.adb, sem_cat.adb, sem_ch13.adb, lib-xref.adb: Add remaining warning tags. 2014-06-11 Ben Brosgol <brosgol@adacore.com> * gnat_rm.texi: Revised chapter on Implementation Defined Characteristics. From-SVN: r211448
2014-05-21[multiple changes]Arnaud Charlet1-1/+6
2014-05-21 Robert Dewar <dewar@adacore.com> * gnatcmd.adb: Minor error msg changes (no upper case letter at start). * sem_ch12.adb, sem_ch5.adb, sem_res.adb, sem_util.adb: Minor reformatting. 2014-05-21 Robert Dewar <dewar@adacore.com> * debug.adb: Debug flag -gnatd.G inhibits static elab tracing via generic formals. * sem_elab.adb (Is_Call_Of_Generic_Formal): Return False if -gnatd.G is set. 2014-05-21 Thomas Quinot <quinot@adacore.com> * exp_pakd.adb (Revert_Storage_Order): Renamed from Byte_Swap to more accurately describe that this subprogram needs to come into play also in cases where no byte swapping is involved, because it also takes care of some required shifts (left-justification of values). 2014-05-21 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): Indicate whether a Scalar_Storage_Order attribute definition is present for the component's type. (Freeze_Record_Type): Suppress junk warnings about purportedly junk Bit_Order / Scalar_Storage_Order attribute definitions. 2014-05-21 Robert Dewar <dewar@adacore.com> * sem_ch8.adb (Analyze_Subprogram_Renaming): Put back call to Kill_Elaboration_Checks. 2014-05-21 Gary Dismukes <dismukes@adacore.com> * layout.adb (Assoc_Add): Suppress the optimization of the (E - C1) + C2 case, when the expression type is unsigned and C1 < C2, to avoid creating a negative literal when folding. From-SVN: r210709
2014-05-21[multiple changes]Arnaud Charlet1-0/+5
2014-05-21 Robert Dewar <dewar@adacore.com> * sem_elab.adb, prj-dect.adb: Minor reformatting. 2014-05-21 Robert Dewar <dewar@adacore.com> * erroutc.ads: Minor comment addition. 2014-05-21 Robert Dewar <dewar@adacore.com> * errout.ads: Add documentation for use of >*> tag. * restrict.adb: Make sure we use >*> tag for restriction warnings. 2014-05-21 Gary Dismukes <dismukes@adacore.com> * debug.adb: Add case of illegal overriding_indicator for a protected subprogram body to description of -gnatd.E switch. * sem_ch6.adb (Verify_Overriding_Indicator): Issue error message for cases of giving overriding_indicators on protected subprogram bodies, but change this to a warning if -gnatd.E is enabled. No longer give a style warning about missing indicators on protected subprogram bodies. From-SVN: r210704
generated by cgit v1.1 at 2025-02-15 08:27:53 +0000