aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada
AgeCommit message (Collapse)AuthorFilesLines
2013-05-26decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a ↵Eric Botcazou3-3/+12
type with a freeze node. * gcc-interface/decl.c (gnat_to_gnu_entity): Do not prematurely elaborate the full view of a type with a freeze node. * gcc-interface/trans.c (process_type): Add explicit predicate. From-SVN: r199336
2013-05-26decl.c (gnat_to_gnu_entity): Always build the UNC variable for aliased ↵Eric Botcazou2-19/+17
objects with unconstrained nominal... * gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Always build the UNC variable for aliased objects with unconstrained nominal subtype. From-SVN: r199335
2013-05-24gigi.h (gnat_init_gcc_fp): Declare.Eric Botcazou4-4/+39
* gcc-interface/gigi.h (gnat_init_gcc_fp): Declare. * gcc-interface/trans.c (gigi): Call it. * gcc-interface/misc.c (gnat_init_gcc_fp): New function. From-SVN: r199287
2013-05-24gigi.h (enum inline_status_t): New type.Eric Botcazou5-41/+89
* gcc-interface/gigi.h (enum inline_status_t): New type. (create_subprog_decl): Adjust prototype. * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Procedure>: Adjust calls to create_subprog_decl. (get_minimal_subprog_decl): Likewise. * gcc-interface/trans.c (gigi): Likewise. (build_raise_check): Likewise. (establish_gnat_vms_condition_handler): Likewise. (Compilation_Unit_to_gnu): Likewise. (gnat_to_gnu): Likewise. * gcc-interface/utils.c (create_subprog_decl): Change inline_flag parameter to inline_status and implement for suppressed inlining. From-SVN: r199286
2013-05-24ada-tree.h (LOOP_STMT_NO_UNROLL): New define.Eric Botcazou3-8/+61
* gcc-interface/ada-tree.h (LOOP_STMT_NO_UNROLL): New define. (LOOP_STMT_UNROLL): Likewise. (LOOP_STMT_NO_VECTOR): Likewise. (LOOP_STMT_VECTOR): Likewise. * gcc-interface/trans.c (struct loop_info_d): Replace label field with stmt field. (Pragma_to_gnu) <Pragma_Loop_Optimize>: New case. (Loop_Statement_to_gnu): Save the loop statement onto the stack instead of the label. (gnat_to_gnu) <N_Exit_Statement>: Retrieve the loop label. From-SVN: r199281
2013-05-24trans.c: Include diagnostic.h and opts.h.Eric Botcazou2-1/+91
* gcc-interface/trans.c: Include diagnostic.h and opts.h. (Pragma_to_gnu) <Pragma_Warnings>: New case. From-SVN: r199280
2013-05-24decl.c (gnat_to_gnu_entity): Constify a handful of local variables.Eric Botcazou2-13/+69
* gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Constify a handful of local variables. For a derived untagged type that renames discriminants, change the type of the stored discriminants to a subtype with the bounds of the type of the visible discriminants. (build_subst_list): Rename local variable. From-SVN: r199279
2013-05-16Makefile.in (LLINKER): New variable.Jason Merrill2-1/+7
* Makefile.in (LLINKER): New variable. (mostlyclean): Remove link mutex. * configure.ac: Handle --enable-link-mutex. * lock-and-run.sh: New script. From-SVN: r198977
2013-05-13Restore Solaris/amd64 Ada bootstrap (PR ada/57188)Rainer Orth2-1/+6
PR ada/57188 * gcc-interface/Makefile.in: Allow for amd64 solaris2. From-SVN: r198824
2013-05-08Minor tweaksEric Botcazou1-2/+1
From-SVN: r198706
2013-05-07re PR ada/56474 (bogus Storage_Error raised for record containing empty ↵Eric Botcazou2-5/+16
zero-based array) PR ada/56474 * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Array_Subtype>: Use int_const_binop to shift bounds by 1 when they are integer constants. From-SVN: r198663
2013-04-25Minor reformatting.Arnaud Charlet1-2/+2
From-SVN: r198301
2013-04-25* gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Exclude s-init.ad{s,b}Arnaud Charlet2-0/+5
From-SVN: r198300
2013-04-25Update dependencies.Arnaud Charlet1-36/+35
From-SVN: r198299
2013-04-25[multiple changes]Arnaud Charlet17-2008/+168
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Apply_Predicate_Check): Update the comment associated with the call to Check_Expression_Against_Static_Predicate. * sem_ch3.adb (Analyze_Object_Declaration): Update the comment associated with the call to Check_Expression_Against_Static_Predicate. * sem_util.adb (Check_Expression_Against_Static_Predicate): Broaden the check from a static expression to an expression with a known value at compile time. * sem_util.ads (Check_Expression_Against_Static_Predicate): Update comment on usage. 2013-04-25 Thomas Quinot <quinot@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference, cases Position, First_Bit, and Last_Bit): Fix incorrect test in implementation of RM 2005 13.5.2(3/2). 2013-04-25 Claire Dross <dross@adacore.com> * a-cfhase.adb, a-cfhase.ads, a-cforma.adb, a-cforma.ads, a-cfhama.adb, a-cfhama.ads, a-cforse.adb, a-cforse.ads, a-cofove.adb, a-cofove.ads (Query_Element): Removed. (Update_Element): Removed. (Insert): The version with no New_Item specified is removed. (Iterate): Removed. (Write): Removed. (Read): Removed. Every check of fields Busy and Lock has been removed. 2013-04-25 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Contract_Cases): Remove call to S14_Pragma (Find_Related_Subprogram): Require proper placement in subprogram body (Find_Related_Subprogram): Detect duplicates for all cases (Find_Related_Subprogram): Handle case of spec nested inside body. From-SVN: r198297
2013-04-25[multiple changes]Arnaud Charlet6-102/+149
2013-04-25 Arnaud Charlet <charlet@adacore.com> * par-prag.adb: Fix typo. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Apply_Predicate_Check): If the type has a static predicate and the expression is also static, check whether the expression satisfies the predicate. * sem_ch3.adb (Analyze_Object_Declaration): If the type has a static predicate and the expression is also static, see if the expression satisfies the predicate. * sem_util.adb: Alphabetize several routines. (Check_Expression_Against_Static_Predicate): New routine. * sem_util.ads (Check_Expression_Against_Static_Predicate): New routine. From-SVN: r198296
2013-04-25gnat_rm.texi: Document Reason argument for pragma Warnings.Robert Dewar5-23/+71
2013-04-25 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document Reason argument for pragma Warnings. * par-prag.adb: Handle Reason parameter for pragma Warnings. * sem_prag.adb (Analyze_Pragma, case Warnings): Allow Reason argument. * snames.ads-tmpl (Name_Reason): New name entry. From-SVN: r198295
2013-04-25[multiple changes]Arnaud Charlet6-61/+105
2013-04-25 Yannick Moy <moy@adacore.com> * exp_spark.adb (Expand_SPARK_N_In): Remove procedure. (Expand_SPARK): Remove special expansion for membership tests. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): Update all places that should use constant Base_Typ. When building an invariant check, account for invariants coming from the base type. Prevent the creation of a junk invariant check when the related object is of an array type and it is initialized with an aggregate. * exp_util.adb (Make_Invariant_Call): Typ is now a variable. Use the base type to create an invariant call when the type of the expression is a composite subtype. 2013-04-25 Vasiliy Fofanov <fofanov@adacore.com> * a-cborse.adb: Fix minor typo. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Different_Generic_Profile): A spec and body match in an instance if a subtype declaration that renames a generic actual with the same name appears between spec and body. From-SVN: r198294
2013-04-25[multiple changes]Arnaud Charlet4-38/+34
2013-04-25 Robert Dewar <dewar@adacore.com> * sem_util.adb: Minor reformatting. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb (Expand_N_Aggregate): Use special circuitry to fold strings with a single others choice only if there are no expressions in the aggregate. 2013-04-25 Arnaud Charlet <charlet@adacore.com> * gnat_ugn.texi: Update doc on Ada 2012 default mode. From-SVN: r198293
2013-04-25[multiple changes]Arnaud Charlet6-486/+551
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb: Add with and use clause for Stringt. (Expand_Contract_Cases): Moved from sem_ch6. Add formal parameters Decls and Stmts along with comments on their usage. * exp_ch6.ads (Expand_Contract_Cases): Moved from sem_ch6. * sem_ch6.adb (Expand_Contract_Cases): Moved to exp_ch6. (Process_Contract_Cases): Update the call to Expand_Contract_Cases. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * gnat_rm.texi: Minor editing, to clarify use of dimension aspects. * sem_util.adb (Is_OK_Variable_For_Out_Formal): Reject an aggregate for a packed type, which may be converted into an unchecked conversion of an object. From-SVN: r198292
2013-04-25sem_prag.adb: Minor code reorganization (correct misspelling Restiction).Robert Dewar10-406/+826
2013-04-25 Robert Dewar <dewar@adacore.com> * sem_prag.adb: Minor code reorganization (correct misspelling Restiction). * sem_util.adb, aspects.ads, sem_ch6.adb: Minor reformatting. * gnat_rm.texi: Document impl-defined aspects. * sem_dim.adb, sem_dim.ads, gnat_ugn.texi, s-dimmks.ads: Minor reformatting. From-SVN: r198291
2013-04-25[multiple changes]Arnaud Charlet9-256/+385
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Set_Abstract_States): The attribute now applies to generic packages. * sem_ch4.adb (Referenced): Moved to sem_util. * sem_ch7.adb (Unit_Requires_Body): A [generic] package with a non-null abstract state needs a body. * sem_prag.adb (Analyze_Depends_In_Decl_Part): Update the calls to Collect_Subprogram_Inputs_Outputs. (Analyze_Global_Item): Verify the proper usage of an item with mode In_Out or Output relative to the enclosing context. (Analyze_Pragma): Abstract_State can now be applied to a generic package. Do not reset the Analyzed flag for pragmas Depends and Global as this is not needed. (Appears_In): Moved to library level. (Check_Mode_Restiction_In_Enclosing_Context): New routine. (Collect_Subprogram_Inputs_Outputs): Moved to library level. Add formal parameters Subp_Id, Subp_Inputs, Subp_Outputs and Global seen along with comments on usage. * sem_util.ads, sem_util.adb (Referenced): New routine. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch6.adb (Expand_Contract_Cases): Generate detailed error messages only when switch -gnateE is in effect. 2013-04-25 Yannick Moy <moy@adacore.com> * sem_attr.adb (Analyze_Attribute): Do not issue an error for a possibly misplaced 'Result or 'Old attribute when analyzing the aspect. From-SVN: r198290
2013-04-25sem_ch12.adb, [...]: Minor reformatting.Robert Dewar4-82/+88
2013-04-25 Robert Dewar <dewar@adacore.com> * sem_ch12.adb, sem_util.adb, sem_ch4.adb: Minor reformatting. From-SVN: r198289
2013-04-25[multiple changes]Arnaud Charlet7-21/+117
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch4.adb (Analyze_Quantified_Expression): Add local variable Loop_Id. Verify that the loop variable is used within the condition of the quantified expression. (Referenced): New routine. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_case.adb (Analyze_Choices): Enhance the error message given on a bad use of subtype predicate. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Enhance the error message given on a bad use of subtype predicate. * sem_util.adb (Bad_Predicated_Subtype_Use): Add formal parameter Suggest_Static. Emit an extra error message advising how to remedy the bad use of the predicate if the context warrants it. * sem_util.ads (Bad_Predicated_Subtype_Use): Add formal parameter Suggest_Static along with a comment explaining its usage. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_disp.adb (Check_Dispatching_Operation): Further refinement to checks for AI05-0125: the check for a hidden primitive that may be overridden by the new declaration only applies if the hidden operation is never declared. This is not the case if the operation is declared in a parent unit. From-SVN: r198288
2013-04-25[multiple changes]Arnaud Charlet15-215/+261
2013-04-25 Robert Dewar <dewar@adacore.com> * debug.adb: Remove d.X and d.Y entries and documentation. * exp_ch4.adb (Expand_N_If_Expression): Remove special code used if expression with actions not available (now always available). (Expand_Short_Circuit_Operator): Same change. * gnat1drv.adb (Adjust_Global_Switches) Remove setting Use_Expression_With_Actions flag, since this is now obsolete. * opt.ads (Use_Expression_Actions): Removed (always True now). * sinfo.ads: Minor comment updates. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Check_Generic_Actuals): If an actual is an array subtype whose base type is currently private, install full view when compiling instance body. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_disp.adb (Check_Dispatching_Operation): Refine checks for AI05-0125: the check for a hidden primitive that may be overridden by the new declaration is only performed if the declaration comes from source, and it must carry an explicit overriding indicator. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Abstract_States): The attribute now applies to generic packages. * sem_ch3.adb (Analyze_Object_Declaration): Check whether an object declaration introduces an illegal hidden state. * sem_prag.adb (Analyze_Abstract_State): Check whether a state declaration introduces an illegal hidden state. * sem_util.ads, sem_util.adb (Check_No_Hidden_State): New routine. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Is_Build_In_Place_Function_Call): The call may be to a protected function, in which case the name in the call is a selected component. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch4.adb (Analyze_Quantified_Expression): Warn on a suspicious use of quantifier "some" when "all" was meant. (No_Else_Or_Trivial_True): New routine. From-SVN: r198287
2013-04-25[multiple changes]Arnaud Charlet5-49/+69
2013-04-25 Robert Dewar <dewar@adacore.com> * einfo.ads, einfo.adb: Put back with/use for Namet. (Get_Pragma): New name (wi new spec) for Find_Pragma. * sem_ch6.adb: Change name Find_Pragma to Get_Pragma with different interface. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb (Is_Visible_Component): In an instance all components are visible. From-SVN: r198286
2013-04-25[multiple changes]Arnaud Charlet11-27/+145
2013-04-25 Matthew Heaney <heaney@adacore.com> * a-rbtgbo.adb, a-crbtgo.adb (Generic_Equal): do not test for tampering when container empty. * a-crbtgk.adb (Ceiling, Find, Floor): ditto. (Generic_Conditional_Insert, Generic_Conditional_Insert_With_Hint): ditto. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * par-ch12.adb: Move aspects from package specification to generic package declaration. * sem_ch12.adb: Analyze aspect specifications before building and analyzing the generic copy, so that the generated pragmas are properly taken into account. * sem_ch13.adb: For compilation unit aspects that apply to a generic package declaration, insert corresponding pragmas ahead of visible declarations. * sprint.adb: Display properly the aspects of a generic type declaration. 2013-04-25 Robert Dewar <dewar@adacore.com> * frontend.adb: Minor reformatting. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * einfo.ads: Extend documentation on use of Is_Private_Ancestor for untagged types. * sem_ch3.adb (Is_Visible_Component): Refine predicate for the case of untagged types derived from private types, to reject illegal selected components. From-SVN: r198285
2013-04-25[multiple changes]Arnaud Charlet6-4/+49
2013-04-25 Gary Dismukes <dismukes@adacore.com> * sem_util.adb (Is_Dependent_Component_Of_Mutable_Object): Test for case of selecting from an unexpanded implicit dereference and do not make a recursive call on such a prefix. 2013-04-25 Doug Rupp <rupp@adacore.com> * targparm.adb (VXF{_Str}): New tag for vaxfloat. (Get_Target_Parameters): Handle VXF tag. * targparm.ads (VAX_Float_On_Target): New boolean. * system-vms-ia64.ads (VAX_Float): New boolean. * frontend.adb (Frontend): Handle VAX float boolean. From-SVN: r198284
2013-04-25einfo.ads, einfo.adb: Remove with and use clauses for Namet.Hristian Kirtchev6-61/+62
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * einfo.ads, einfo.adb: Remove with and use clauses for Namet. (Find_Pragma): New routine. * sem_util.ads, sem_util.adb (Find_Pragma): Moved to einfo. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch13.adb (Add_Call): Do not capture the nature of the inherited predicate. (Add_Predicates): Save the static predicate for diagnostics and error reporting purposes. (Process_PPCs): Remove local variables Dynamic_Predicate_Present and Static_Predicate_Present. Add local variable Static_Pred. Ensure that the expression of a static predicate is static. From-SVN: r198283
2013-04-25[multiple changes]Arnaud Charlet6-22/+151
2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb (Is_Ghost_Subprogram): Remove useless code. 2013-04-25 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor addition of index entry. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch6.adb (Check_Access_Invariants): Test whether an invariant procedure is empty before generating a call to it. (Has_Enabled_Predicate): New routine. (Has_Null_Body): New routine. (Process_PPCs): Test whether an invariant procedure is empty before generating a call to it. Test whether predicates are enabled for a particular type before generating a predicate call. * sem_util.ads, sem_util.adb (Find_Pragma): New routine. From-SVN: r198282
2013-04-25sem_ch7.adb, [...]: Minor reformatting.Robert Dewar6-22/+20
2013-04-25 Robert Dewar <dewar@adacore.com> * sem_ch7.adb, einfo.adb, repinfo.adb, snames.adb-tmpl, snames.ads-tmpl: Minor reformatting. From-SVN: r198281
2013-04-25sem_ch7.adb: Minor reformatting.Thomas Quinot2-1/+5
2013-04-25 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb: Minor reformatting. From-SVN: r198280
2013-04-25[multiple changes]Arnaud Charlet19-117/+205
2013-04-25 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Minor fix to Loop_Variant doc (Loop_Entry allowed). * s-tarest.adb: Minor reformatting. 2013-04-25 Hristian Kirtchev <kirtchev@adacore.com> * aspects.ads, aspects.adb: Remove aspect Ghost from all relevant tables. * einfo.adb: Remove with and use clause for Aspects. (Is_Ghost_Function): Removed. (Is_Ghost_Entity): New routine. (Is_Ghost_Subprogram): New routine. * einfo.ads: Remove synthesized attribute Is_Ghost_Function along with its uses in entities. Add synthesized attributes Is_Ghost_Entity and Is_Ghost_Subprogram along with uses in related entities. (Is_Ghost_Function): Removed. (Is_Ghost_Entity): New routine. (Is_Ghost_Subprogram): New routine. * par-prag.adb: Remove pragma Ghost from the processing machinery. * repinfo.adb (List_Mechanisms): Add a value for convention Ghost. * sem_attr.adb (Analyze_Access_Attribute): Update the check for ghost subprograms. * sem_ch4.adb (Analyze_Call): Update the check for calls to ghost subprograms. (Check_Ghost_Function_Call): Removed. (Check_Ghost_Subprogram_Call): New routine. * sem_ch6.adb (Check_Convention): Rewritten. (Check_Overriding_Indicator): Remove the check for overriding ghost functions. (Convention_Of): New routine. * sem_ch12.adb (Preanalyze_Actuals): Update the check for ghost generic actual subprograms. * sem_mech.adb (Set_Mechanisms): Add an entry for convention Ghost. * sem_prag.adb: Remove the value for pragma Ghost from table Sig_Flags. (Analyze_Pragma): Remove the processing for pragma Ghost. (Process_Convention): Emit an error when a ghost subprogram attempts to override. (Set_Convention_From_Pragma): Emit an error when a ghost subprogram attempts to override. * sinfo.ads: Clarify the usage of field Label_Construct. * snames.adb-tmpl (Get_Convention_Id): Add an entry for predefined name Ghost. (Get_Convention_Name): Add an entry for convention Ghost. * snames.ads-tmpl: Move predefined name Ghost to the sublist denoting conventions. Add convention id Ghost. Remove pragma id Ghost. 2013-04-25 Ed Schonberg <schonberg@adacore.com> * sem_ch7.adb (Swap_Private_Dependents): Do no recurse on child units if within a generic hierarchy. From-SVN: r198275
2013-04-24Update dependencies.Arnaud Charlet1-1418/+1467
From-SVN: r198245
2013-04-24[multiple changes]Arnaud Charlet11-284/+310
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb (Expand_Actuals): Add a predicate check on an actual the related type has a predicate function. * sem_ch3.adb (Constant_Redeclaration): Ensure that the related type has an invariant procedure before building a call to it. * sem_ch6.adb (Append_Enabled_Item): New routine. (Check_Access_Invariants): Use routine Append_Enabled_Item to chain onto the list of postconditions. (Contains_Enabled_Pragmas): Removed. (Expand_Contract_Cases): Use routine Append_Enabled_Item to chain onto the list of postconditions. (Invariants_Or_Predicates_Present): Removed. (Process_PPCs): Partially reimplemented. 2013-04-24 Sergey Rybin <rybin@adacore.com frybin> * tree_io.ads: Update ASIS_Version_Number because of changes in the way how entities are chained in a scope by means of Next_Entity link. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * exp_ch13.adb (Expand_N_Attribute_Definition_Clause, case Storage_Size): If the clause is not from an aspect, insert assignment to size variable of task type at the point of the clause, not after the task definition, to prevent access before elaboration in the back-end. 2013-04-24 Yannick Moy <moy@adacore.com> * sem_prag.adb (Sig_Flags): Set correct value for Pragma_Assume. 2013-04-24 Yannick Moy <moy@adacore.com> * gnat_rm.texi: Document 'Loop_Entry. 2013-04-24 Jose Ruiz <ruiz@adacore.com> * s-tassta.adb, s-tarest.adb (Task_Wrapper): Start looking for fall-back termination handlers from the parents, because they apply only to dependent tasks. * s-solita.adb (Task_Termination_Handler_T): Do not look for fall-back termination handlers because the environment task has no parent, and if it defines one of these handlers it does not apply to itself because they apply only to dependent tasks. From-SVN: r198244
2013-04-24[multiple changes]Arnaud Charlet16-82/+187
2013-04-24 Robert Dewar <dewar@adacore.com> * sem_type.adb, exp_attr.adb, exp_ch4.adb: Minor reformatting. 2013-04-24 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document 'Update attribute. * sem_attr.adb (Analyze_Attribute, case Update): Remove call to S14_Attribute (S14_Attribute): removed. 2013-04-24 Robert Dewar <dewar@adacore.com> * interfac.ads: Add size clauses for IEEE_Float_32/64 2013-04-24 Claire Dross <dross@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Remove special assignment of Use_Expression_With_Actions for SPARK_Mode. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Apply_Predicate_Check): Check for the presence of the dynamic predicate aspect when trying to determine if the predicate of a type is non-static. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for the presence of the dynamic predicate aspect when trying to determine if the predicate of a type is non- static. * sem_ch13.adb (Add_Call): Capture the nature of the inherited ancestor predicate. (Build_Predicate_Functions): Update comments. Rewrite the checks on static predicate application. Complain about the form of a non-static expression only when the type is static. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: Add guard to tree traversal. 2013-04-24 Vincent Celier <celier@adacore.com> * clean.adb (Clean): Remove local variable Root_Environment, use Makeutl.Root_Environment instead. * gnatcmd.adb: Remove local variable Root_Environment, use Makeutl.Root_Environment instead. * make.adb (Gnatmake): Remove local variable Root_Environment, use Makeutl.Root_Environment instead. * prj-makr.adb: Remove local variable Root_Environment, use Makeutl.Root_Environment instead. From-SVN: r198243
2013-04-24[multiple changes]Arnaud Charlet7-41/+132
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_Loop_Entry_Attribute): Clarify the extraction of the declarative part of the conditional block. Move the processing of simple infinite loops to the start of the expansion logic. Correct the check which determines whether the proper scope is installed in visibility. * sem_attr.adb (Analyze_Attribute): Add local variable Attr to keep track of the attribute in case the enclosing indexed component has to be rewritten. When searching for the enclosing loop, start from the proper attribute reference in case of a rewriting. Do not allow for 'Loop_Entry to appear in pragma Assert. Replace loop variable J with Index. Set the type of the proper attribute. * sem_ch5.adb (Check_Unreachable_Code): Detect a specialized block that services a loop statement subject to at least one 'Loop_Entry attribute. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_type.adb (Disambiguate): In Ada 2012 mode, when trying to resolve a fixed point operation, use first subtype to determine whether type and operator are declared in the same list of declarations. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * par-ch6.adb (P_Subprogram): Detect an illegal placement of the aspect specification list in the context of expression functions. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_N_Allocator): If the designated object has tasks, and the pointer type is an itype that has no master id, create a master renaming in the current context, which can only be an init_proc. From-SVN: r198242
2013-04-24[multiple changes]Arnaud Charlet7-65/+105
2013-04-24 Robert Dewar <dewar@adacore.com> * sem_ch3.adb, sem_ch7.adb: Minor reformatting. * gnat_rm.texi: Document pragma Loop_Invariant. * sem_attr.adb (Analyze_Attribute, case Loop_Entry): This is no longer an S14_Attribute. * sem_prag.adb (Analyze_Pragma, case Loop_Invariant): Combine processing with Assert, allow message parameter, remove call to S14_Pragma. 2013-04-24 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb: Minor reformatting. From-SVN: r198241
2013-04-24[multiple changes]Arnaud Charlet7-118/+172
2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_ch7.adb (Swap_Private_Dependents): New internal routine to Install_Private_Declarations, to make the installation of private dependents recursive in the presence of child units. * sem_ch3.adb (Build_Discriminated_Subtype): Initialize properly the Private_Dependents of a private subtype. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_Loop_Entry_Attribute): Update the retrieval of the block declarations. * par-ch4.adb (P_Name): Let the name parsing machinery create a sequence of nested indexed components for attribute Loop_Entry. * sem_attr.adb (Analyze_Attribute): Add local constant Context. Reimplement part of the analysis of attribute Loop_Entry. (Convert_To_Indexed_Component): Removed. * sem_ch4.adb (Analyze_Indexed_Component_Form): Do not analyze an indexed component after it has been rewritten into attribute Loop_Entry. From-SVN: r198240
2013-04-24snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration ↵Yannick Moy3-11/+15
pragma. 2013-04-24 Yannick Moy <moy@adacore.com> * snames.ads-tmpl: Minor change to list Loop_(In)variant not in configuration pragma. * sem_ch3.adb (Analyze_Declarations): Do not look at the original node for analyzing the expressions in pre/postconditions. From-SVN: r198239
2013-04-24[multiple changes]Arnaud Charlet7-7/+20
2013-04-24 Robert Dewar <dewar@adacore.com> * gnatcmd.adb, xref_lib.adb, gnatls.adb, sem_ch13.adb: Minor reformatting. 2013-04-24 Yannick Moy <moy@adacore.com> * sem_ch6.adb (Analyze_Generic_Subprogram_Body, Analyze_Subprogram_Body_Helper): Reset contract node to Empty before setting entity to E_Subprogram_Body. * sem_ch8.adb (Analyze_Subprogram_Renaming): Reset contract node to Empty before setting entity to E_Subprogram_Body. From-SVN: r198238
2013-04-24[multiple changes]Arnaud Charlet9-13/+111
2013-04-24 Vincent Celier <celier@adacore.com> * gnat_ugn.texi: Document new gnatls switch -aPdir. * gnatcmd.adb: Pass switch -aP<dir> to gnatls. * gnatls.adb (Scan_Ls_Arg): Process new switch -aP<dir>. Issue a warning for unknown switches. (Usage): Add line for new switch -aPdir. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_util.adb, sem_util.ads (Is_Limited_Class_Wide_Type): Return true if the type comes from a limited view, so that task attributes can be constructed. 2013-04-24 Yannick Moy <moy@adacore.com> * checks.adb (Apply_Float_Conversion_Check): Do not apply checks if full expansion is not enabled. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Create_Extra_Formals): In Ada 2012, create extra formals if the type does not yet have a completion, and thus has no underlying view. 2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Treat an aspect specification for Address as a reference, to suppress warnings on entities that may be read by an external device. From-SVN: r198237
2013-04-242013-04-24 Sergey Rybin <rybin@adacore.com frybin>Arnaud Charlet8-40/+239
* gnat_ugn.texi: Add description of '--help' and '--version' options for ASIS tools: gnatelim, gnatmetric, gnatstub, gnatpp. 2013-04-24 Arnaud Charlet <charlet@adacore.com> * gnat_rm.texi: Minor syntax fix. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_Loop_Entry_Attribute): Add extra comments on what and why is being analyzed. Remove the decoration of renamings as this simply falls out of the general analysis mechanism. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Explain_Redundancy): New routine. (Resolve_Equality_Op): Place the error concerning a redundant comparison to True at the "=". Try to explain the nature of the redundant True. 2013-04-24 Javier Miranda <miranda@adacore.com> * checks.adb, exp_ch6.adb (Install_Null_Excluding_Check): No check in interface thunks since it is performed at the caller side. (Expand_Simple_Function_Return): No accessibility check needed in thunks since the check is done by the target routine. 2013-04-24 Vincent Celier <celier@adacore.com> * xref_lib.adb (Add_Entity): Use the canonical file names so that source file names with capital letters are found on platforms where file names are case insensitive. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * par-ch4.adb (P_Name): Continue to parse the name extension when the construct is attribute Loop_Entry. Do not convert the attribute reference into an indexed component when there is at least one expression / range following 'Loop_Entry. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch6.adb (Contains_Enabled_Pragmas): New routine. (Process_PPCs): Generate procedure _Postconditions only when the context has invariants or predicates or enabled aspects/pragmas. From-SVN: r198236
2013-04-24[multiple changes]Arnaud Charlet14-429/+641
2013-04-24 Thomas Quinot <quinot@adacore.com> * g-socket.adb (Host_Entry): Introduce intermediate copy of memory location pointed to by Hostent_H_Addr, as it might not have sufficient alignment. 2013-04-24 Yannick Moy <moy@adacore.com> * repinfo.adb (List_Rep_Info): Set the value of Unit_Casing before calling subprograms which may read it. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * einfo.adb: Remove Loop_Entry_Attributes from the usage of nodes. Flag 260 is now used. (Has_Loop_Entry_Attributes): New routine. (Loop_Entry_Attributes): Removed. (Set_Has_Loop_Entry_Attributes): New routine. (Set_Loop_Entry_Attributes): Removed. (Write_Entity_Flags): Write out Flag 260. (Write_Field10_Name): Remove the output for Loop_Entry_Attributes. * einfo.ads: Remove attribute Loop_Entry_Attributes, its related comment and uses in nodes. Add new attribute Has_Loop_Entry_Attributes, related comment and uses in loop nodes. (Has_Loop_Entry_Attributes): New routine and pragma Inline. (Loop_Entry_Attributes): Removed along with pragma Inline. (Set_Has_Loop_Entry_Attributes): New routine and pragma Inline. (Set_Loop_Entry_Attributes): Removed along with pragma Inline. * exp_attr.adb (Expand_Loop_Entry_Attribute): New routine. (Expand_N_Attribute_Reference): Expand attribute 'Loop_Entry. * exp_ch5.adb: Remove with and use clause for Elists. (Expand_Loop_Entry_Attributes): Removed. (Expand_N_Loop_Statement): Add local variable Stmt. Rename local constant Isc to Scheme. When a loop is subject to attribute 'Loop_Entry, retrieve the nested loop from the conditional block. Move the processing of controlled object at the end of loop expansion. * sem_attr.adb (Analyze_Attribute): Do not chain attribute 'Loop_Entry to its related loop. * sem_ch5.adb (Analyze_Loop_Statement): Add local variable Stmt. When the iteration scheme mentions attribute 'Loop_Entry, the entire loop is rewritten into a block. Retrieve the nested loop in such cases to complete the analysis. * sem_util.ads, sem_util.adb (Find_Loop_In_Conditional_Block): New routine. (Subject_To_Loop_Entry_Attributes): New routine. 2013-04-24 Robert Dewar <dewar@adacore.com> * exp_prag.adb (Expand_Loop_Variant): Generate pragma Check (Loop_Variant, xxx) rather than Assert (xxx). * gnat_rm.texi: Document pragma Loop_Variant. * sem_prag.adb (Analyze_Pragma, case Loop_Variant): Remove call to S14_Pragma. From-SVN: r198235
2013-04-24adabkend.adb, [...]: Everything with name 'Alfa' renamed in 'SPARK'.Yannick Moy45-1918/+1925
2013-04-24 Yannick Moy <moy@adacore.com> * adabkend.adb, ali-util.adb, ali.adb, debug.adb, errout.adb, errout.ads, erroutc.adb, exp_ch3.adb, exp_ch4.adb, exp_ch6.adb, exp_ch7.adb, exp_dbug.adb, exp_util.adb, expander.adb, freeze.adb, gnat1drv.adb, lib-writ.adb, lib-writ.ads, lib-xref.adb, lib-xref.ads, opt.adb, opt.ads, restrict.adb, sem_aggr.adb, sem_attr.adb, sem_ch3.adb, sem_ch4.adb, sem_ch5.adb, sem_ch6.adb, sem_eval.adb, sem_prag.adb, sem_res.adb, sem_util.adb: Everything with name 'Alfa' renamed in 'SPARK'. Update comments. Renaming of units with name 'Alfa', renamed with 'SPARK' instead. * exp_alfa.adb: renamed exp_spark.adb. * exp_alfa.ads: renamed exp_spark.ads. * get_alfa.adb: renamed get_spark_xrefs.adb. * get_alfa.ads: renamed get_spark_xrefs.ads. * lib-xref-alfa.adb: renamed lib-xref-spark_specific.adb. * put_alfa.adb: renamed put_spark_xrefs.adb. * put_alfa.ads: renamed put_spark_xrefs.ads. * alfa.adb: renamed spark_xrefs.adb. * alfa.ads: renamed spark_xrefs.ads. * alfa_test.adb: renamed spark_xrefs_test.adb. From-SVN: r198234
2013-04-24gnat_rm.texi: Document pragma Assume.Robert Dewar3-33/+53
2013-04-24 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document pragma Assume. * sem_prag.adb (Analyze_Pragma, case Assume): Now processed as part of Assert, and no longer requires -gnatd.F From-SVN: r198231
2013-04-24gnat_rm.texi: Document pragma Assert_And_Cut.Robert Dewar3-4/+42
2013-04-24 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document pragma Assert_And_Cut. * sem_prag.adb (Analyze_Pragma, case Assert_And_Cut): Remove S14_Pragma call. From-SVN: r198230
2013-04-24[multiple changes]Arnaud Charlet3-4/+21
2013-04-24 Ed Schonberg <schonberg@adacore.com> * sem_aux.adb: Add guard in Available_View. 2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Analyze_Depends_In_Decl_Part): Use Find_Related_Subprogram to find the associated subprogram. (Analyze_Global_In_Decl_List): Use Find_Related_Subprogram to find the associated subprogram. (Analyze_Pragma): Use Find_Related_Subprogram to find the associated subprogram. From-SVN: r198229
2013-04-24exp_ch6.adb: Remove with and use clause for Sem_Prag.Hristian Kirtchev8-758/+610
2013-04-24 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb: Remove with and use clause for Sem_Prag. (Freeze_Subprogram): Call Analyze_Subprogram_Contract to analyze the contract of a subprogram. * sem_ch3.adb: Remove with and use clause for Sem_Prag. (Analyze_Declarations): Call Analyze_Subprogram_Contract to analyze the contract of a subprogram. * sem_ch6.adb (Analyze_Subprogram_Contract): New routine. (Check_Subprogram_Contract): Removed. * sem_ch6.ads (Analyze_Subprogram_Contract): New routine. (Check_Subprogram_Contract): Removed. (Expand_Contract_Cases): Add a guard against malformed contract cases. * sem_ch13.adb (Analyze_Aspect_Specifications): Call Decorate_Delayed_Aspect_And_Pragma to decorate aspects Contract_Cases, Depends and Global. Reimplement the analysis of aspect Contract_Cases. (Decorate_Delayed_Aspect_And_Pragma): New routine. * sem_prag.adb (Analyze_Contract_Cases_In_Decl_Part): New routine. (Analyze_CTC_In_Decl_Part): Removed. (Analyze_Pragma): Reimplement the analysis of pragma Contract_Cases. (Analyze_Test_Case_In_Decl_Part): New routine. (Find_Related_Subprogram): New routine. (Requires_Profile_Installation): Add new formal Prag. Update the logic to take into account the origin of the pragma. * sem_prag.ads (Analyze_Contract_Cases_In_Decl_Part): New routine. (Analyze_CTC_In_Decl_Part): Removed. (Analyze_Test_Case_In_Decl_Part): New routine. From-SVN: r198227
2013-04-24[multiple changes]Arnaud Charlet14-71/+199
2013-04-24 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Process_Convention): Move Stdcall tests to Set_Convention_From_Pragma so that they are applied to each entry of a homonym set. (Process_Convention): Don't try to set convention if already set. 2013-04-24 Robert Dewar <dewar@adacore.com> * gnatbind.adb: Minor reformatting. 2013-04-24 Vincent Celier <celier@adacore.com> * clean.adb (Gnatclean): Add the default project search directories in the project search path after scanning the switches on the command line. (Initialize): Do not put the default project search directories in the project search path. * gnatcmd.adb (GNATcmd): Add the default project search directories in the project search path after scanning the switches on the command line. * make.adb (Initialize): Add the default project search directories in the project search path after scanning the switches on the command line. 2013-04-24 Yannick Moy <moy@adacore.com> * restrict.ads (Restriction_Warnings): Initialize with all False value. 2013-04-24 Robert Dewar <dewar@adacore.com> * checks.ads, checks.adb (Predicate_Checks_Suppressed): New function. * exp_util.ads, exp_util.adb (Make_Predicate_Check): Check setting of Predicate_Check. * snames.ads-tmpl (Name_Predicate_Check): New check name. * types.ads (Predicate_Check): New definition. * gnat_rm.texi: Add documentation for Predicate_Check. From-SVN: r198226
generated by cgit v1.1 at 2025-03-31 21:13:01 +0000