summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2014-01-24 Pascal Obry <obry@adacore.com>charlet2014-01-249-119/+171
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * prj-attr.adb, projects.texi, snames.ads-tmpl: Add Excluded_Patterns attribute definition. 2014-01-24 Vincent Celier <celier@adacore.com> * makeutl.adb (Queue.Insert_No_Roots): In gprbuild, do not put in the Queue the same source (same path, same multi-source index) from the same project file, to avoid compiling several times the same source. 2014-01-24 Eric Botcazou <ebotcazou@adacore.com> * einfo.ads (First_Rep_Item): Remove obsolete stuff. (Has_Gigi_Rep_Item): Likewise. * sem_prag.adb (Analyze_Pragma) <Pragma_Linker_Section>: Do not set Has_Gigi_Rep_Item for objects. * gcc-interface/decl.c (prepend_one_attribute_to): Rename into... (prepend_one_attribute): ...this. (prepend_one_attribute_pragma): New function extracted from... (prepend_attributes): ...here. Swap the parameters for consistency. (gnat_to_gnu_entity): Adjust calls to prepend_one_attribute_to and to prepend_attributes. <object>: Deal with a pragma Linker_Section on a constant or variable. <E_Function>: Deal with a pragma Linker_Section on a subprogram. (get_minimal_subprog_decl): Adjust calls to prepend_one_attribute_to. 2014-01-24 Vincent Celier <celier@adacore.com> * opt.ads: Minor comment update. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207028 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-24 Robert Dewar <dewar@adacore.com>charlet2014-01-244-5/+19
| | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Input_Output): Add missing error check for junk operand. * sem_util.adb (Is_Refined_State): Add defense against junk tree from error. 2014-01-24 Pascal Obry <obry@adacore.com> * projects.texi: Removes Build_Slaves attribute documentation. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207027 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Robert Dewar <dewar@adacore.com>charlet2014-01-234-9/+40
| | | | | | | | | | | | | | | | | | | * opt.adb (Register_Opt_Config_Switches): Save SPARK_Mode_Pragma setting. 2014-01-23 Ed Schonberg <schonberg@adacore.com> * sem_util.adb (Is_Potentially_Unevaluated): Predicate only applies to expressions that come from source. * sem_attr.adb (Analyze_Attribute, case 'Old): Improve error message. (Analyze_Attribute, case 'Loop_Entry): Apply SPARK 2014 legality rule regarding potentially unevaluated expressions, to prefix of attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206993 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Ed Schonberg <schonberg@adacore.com>charlet2014-01-2316-105/+318
| | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_util.adb (Make_Invqriant_Call): If type of expression is a private extension, get invariant from base type. 2014-01-23 Robert Dewar <dewar@adacore.com> * sem_util.adb, sem_attr.adb: Minor reformatting. 2014-01-23 Robert Dewar <dewar@adacore.com> * opt.adb (Save_Opt_Config_Switches): Save SPARK_Mode_Pragma (Restore_Opt_Config_Switches): Restore SPARK_Mode_Pragma. * sem.adb (Semantics): Remove save/restore of SPARK_Mode[_Pragma]. Not needed since already done in Save/Restore_Opt_Config_Switches. 2014-01-23 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, einfo.adb, einfo.ads, sem_prag.adb, gnat_ugn.texi, freeze.adb, repinfo.adb, aspects.adb, aspects.ads, sem_ch13.adb: Linker_Section enhancements. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206992 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Tristan Gingold <gingold@adacore.com>charlet2014-01-2311-16/+150
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi: Minor editing. 2014-01-23 Robert Dewar <dewar@adacore.com> * opt.adb (Set_Opt_Config_Switches): Reset SPARK mode for with'ed internal units. * sem.adb (Semantics): Save and restore SPARK_Mode[_Pragma]. 2014-01-23 Javier Miranda <miranda@adacore.com> * lib-xref.adb (Generate_Reference): As part of processing the "end-of-spec" reference generate an extra reference to the first private entity of the package. * xr_tabls.adb (Add_Reference): No action needed for the extra 'E' reference associated; similar to the processing of the 'e' reference. 2014-01-23 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Change "--&pp off" to "--!pp off". 2014-01-23 Ed Schonberg <schonberg@adacore.com> * sem_util.ads, sem_util.adb (Is_Potentially_Unevaluated): new predicate to implement rule given in 6.1.1 (20/3). * sem_attr.adb (Analyze_Attribute, case 'Old): Reject prefix of 'Old in a postcondition, if it is potentially unevaluated and it is not an entity name. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206990 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor editing.charlet2014-01-231-8/+9
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206989 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Bob Duff <duff@adacore.com>charlet2014-01-232-0/+41
| | | | | | | | * gnat_ugn.texi: Document the new "--&pp off" feature of gnatpp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206988 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Robert Dewar <dewar@adacore.com>charlet2014-01-236-11/+82
| | | | | | | | | | | | | | | | | | | | | | | | * gnatlink.adb (Gnatlink): Fix problem of generating bad name msg on VMS. 2014-01-23 Bob Duff <duff@adacore.com> * g-dynhta.ads: Minor comment fix. 2014-01-23 Yannick Moy <moy@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Inherit SPARK_Mode from spec on body only when not already inherited on spec. Set SPARK_Mode from context on body without previous spec. * * sem_prag.adb (Analyze_Pragma): Check placement of pragma on library-level entities. Correct retrieval of entity from declaration, for cases where the declaration is not a unit. * sem_ch12.adb (Instantiate_Object): Avoid calling Is_Volatile_Object on an empty node. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206987 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Robert Dewar <dewar@adacore.com>charlet2014-01-235-18/+82
| | | | | | | | | | | | | | | | * gnatlink.adb (Gnatlink): Check for suspicious executable file names on windows. 2014-01-23 Robert Dewar <dewar@adacore.com> * a-ngelfu.ads: Remove bad uses of AND which should be AND THEN. * sem_res.adb (Check_No_Direct_Boolean_Operators): Don't give style errors in instances. * g-dynhta.ads (Static_HTable): Comment updates. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206986 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Vincent Celier <celier@adacore.com>charlet2014-01-235-22/+49
| | | | | | | | | | | | | | | | | * prj-conf.adb (Get_Or_Create_Configuration_File): Do not attempt to find a configuration project file when Config_File_Name is No_Configuration_File. * prj-conf.ads (No_Configuration_File): New constant String. * prj-pars.adb (Parse): Call Get_Or_Create_Configuration_File with Config_File_Name set to No_Configuration_File, so that no existing configuration project file will be used, and the configuration project will be only created in memory when Add_Default_GNAT_Naming_Scheme is called. * projects.texi: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206985 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Vincent Celier <celier@adacore.com>charlet2014-01-233-5/+13
| | | | | | | | | | * prj-conf.adb (Get_Or_Create_Configuration_File): Never parse a config project file if On_Load_Config is not null. * prj-pars.adb: Minor comment changes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206984 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2014-01-231-2/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206983 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Ed Schonberg <schonberg@adacore.com>charlet2014-01-232-30/+36
| | | | | | | | | * lib-xref.adb (Output_References): Output progenitors of synchronized tagged types, for source navigation. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206981 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-23 Robert Dewar <dewar@adacore.com>charlet2014-01-2317-104/+79
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_util.adb, sinfo.adb, sinfo.ads, sem.adb, sem_res.adb, expander.adb, exp_ch11.adb, exp_ch11.ads, sem_ch11.adb, sem_ch11.ads, sprint.adb, sprint.ads: Remove unused node N_Subprogram_Info. 2014-01-23 Emmanuel Briot <briot@adacore.com> * prj-conf.adb (Get_Or_Create_Configuration_File): call On_Load_Config later. 2014-01-23 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Declarations): Do not generate the spec of the late primitive in ASIS mode. Add two comments to explain the special cases when the expansion is not performed. 2014-01-23 Robert Dewar <dewar@adacore.com> * sem_util.adb (Note_Possible_Modification): Fix error of misbehaving for implicit dereference cases in -gnatc mode. 2014-01-23 Emmanuel Briot <briot@adacore.com> * prj-pars.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206980 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Ed Schonberg <schonberg@adacore.com>charlet2014-01-227-8/+87
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Subprogram_Body_Helper): A subprogram body generated for an expression function within a protected body needs a set of renaming declarations if the expression function comes from source. 2014-01-22 Ed Schonberg <schonberg@adacore.com> * lib-xref.adb (Get_Type_Reference): In semantics-only mode, list interface progenitor of a tagged concurrent type, for better source navigation. 2014-01-22 Robert Dewar <dewar@adacore.com> * lib.adb (In_Extended_Main_Code_Unit): Return False for Standard_Location. (In_Extended_Main_Source_Unit): Return False for Standard_Location. * lib.ads (In_Extended_Main_Code_Unit): Add documentation on treatment of Slocs No_Location and Standard_Location. * restrict.adb (Check_Restriction_No_Dependence): Explicitly check for entity with Standard_Location Sloc, rather than relying on Lib routines to do that. * sem_res.adb (Resolve_Call): Implement SPARK_05 restriction that a call cannot occur before a later occuring body within the same unit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206931 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Thomas Quinot <quinot@adacore.com>charlet2014-01-2212-63/+246
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * rtsfind.adb: Update comment. 2014-01-22 Hristian Kirtchev <kirtchev@adacore.com> * sem_aux.ads, sem_aux.adb (Is_Body): New routine. * sem_ch3.adb (Analyze_Declarations): Add local variable Body_Seen. Generate the spec of a late controlled primitive body that is about to freeze its related type. (Handle_Late_Controlled_Primitive): New routine. 2014-01-22 Robert Dewar <dewar@adacore.com> * a-stream.adb: Minor reformatting. 2014-01-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (From_Actual_Package): Introduce a recursive sub-procedure Declared_In_Actual to handle properly the visibility of actuals in actual packages, that are themselves actuals to a actual package of the current instance. This mimics properly the visibility of formals of formal packages declared with a box, within the corresponding generic unit. 2014-01-22 Robert Dewar <dewar@adacore.com> * checks.adb: Do not assume that a volatile variable is valid. 2014-01-22 Thomas Quinot <quinot@adacore.com> * g-catiio.ads (Image, Value): Clarify that these functions operate in the local time zone. Minor documentation update. 2014-01-22 Thomas Quinot <quinot@adacore.com> * csets.adb, csets.ads, opt.ads: Minor documentation fixes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206930 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-2214-82/+352
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_aux.adb, sem_aux.ads, sem_ch3.adb (Has_Unconstrained_Elements): Moved to sem_aux.adb. 2014-01-22 Robert Dewar <dewar@adacore.com> * vms_data.ads: Minor reformatting. 2014-01-22 Robert Dewar <dewar@adacore.com> * debug.adb: Document messages affected by -gnatd.E including the new ones that relate to late definition of equality. * sem_ch6.adb (Check_Untagged_Equality): In Ada 2012 mode, if debug flag -gnatd.E is set, then generate warnings rather than errors. (Check_Untagged_Equality): In earlier versions of Ada, generate warnings if Warn_On_Ada_2012_Incompatibility flag is set. 2014-01-22 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Usage_Error): Output additional messages for unconstrained OUT parameters lacking an input dependency. 2014-01-22 Robert Dewar <dewar@adacore.com> * sem_ch4.adb: Minor reformatting. 2014-01-22 Robert Dewar <dewar@adacore.com> * restrict.ads: Minor reformatting. * sem_res.adb (Resolve_Call): Check for SPARK_05 restriction that forbids a call from within a subprogram to the same subprogram. 2014-01-22 Thomas Quinot <quinot@adacore.com> * a-stream.ads (Read_SEA, Write_SEA): New subprograms, optimized stream attributes for Stream_Element_Array. * a-stream.adb (Read_SEA, Write_SEA): Bodies for the above. * rtsfind.adb (Check_CRT): Do not reject a reference to an entity defined in the current scope. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206929 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-228-23/+65
| | | | | | | | | | | | | | | | | | | | * debug.adb, exp_ch4.adb, erroutc.adb: Minor reformatting. 2014-01-22 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb, sem_ch8.adb, exp_ch3.adb: Minor reformatting. 2014-01-22 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb (Analyze_Object_Declaration): For a constant declaration initialized with a function call, whose type has variable size, need to remove side effects so that the initialization expression becomes a dereference of a temporary reference to the function result. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206928 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Yannick Moy <moy@adacore.com>charlet2014-01-224-25/+37
| | | | | | | | | | | | | | * errout.adb (Initialize): Remove trick to add dummy entry in Warnings table. * erroutc.adb (Set_Warnings_Mode_Off, Set_Warnings_Mode_On): Do nothing if warnings are suppressed by command line switch. * opt.ads (Warning_Mode): Document behavior wrt pragma Warnings, in normal mode and in GNATprove_Mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206927 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-225-36/+102
| | | | | | | | | | | | | | | * sem_ch3.adb, errout.adb, erroutc.adb: Minor reformatting. 2014-01-22 Robert Dewar <dewar@adacore.com> * sem_ch13.adb (Check_Pool_Size_Clash): New procedure (Analyze_Attribute_Definition_Clause, case Storage_Pool): call Check_Pool_Size_Clash (Analyze_Attribute_Definition_Clause, case Storage_Size): call Check_Pool_Size_Clash. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206923 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-2211-41/+60
| | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb, exp_util.adb, sem_dim.adb, sem_elab.adb, sem_ch8.adb, sem_eval.ads: Minor reformatting. 2014-01-22 Thomas Quinot <quinot@adacore.com> * sem_eval.adb (Compile_Time_Known_Bounds): Return False for Any_Composite to prevent cascaded errors. 2014-01-22 Yannick Moy <moy@adacore.com> * errout.adb (Initialize): Do not insert special entry in Warnings table in GNATprove_Mode. * erroutc.adb (Set_Warnings_Mode_On): Add info in Warnings table in GNATprove_Mode. * gnat1drv.adb (Adjust_Global_Switches): Do not suppress frontend warnings anymore. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206922 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-228-98/+162
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Initializes_In_Decl_Part): Handle null initializes case. 2014-01-22 Robert Dewar <dewar@adacore.com> * snames.ads-tmpl: Update header. 2014-01-22 Thomas Quinot <quinot@adacore.com> * exp_util.adb (Insert_Actions): When inserting actions on a short circuit operator that has already been analyzed, do not park actions in node; instead introduce an N_Expression_With_Actions and insert actions immediately. Add guard for unexpected case of climbing up through statement in Actions list of an N_Expression_With_Actions. * sem_elab.adb (Insert_Elab_Check): Remove complex specialized circuitry for the case where the context is already analyzed, as it is not needed and introduces irregularities in finalization. Instead rely on the above change to Insert_Actions to ensure that late insertion on short circuit operators works as expected. 2014-01-22 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb (Operator_Check): Improve error message when an operand of concatenation is an access type. 2014-01-22 Thomas Quinot <quinot@adacore.com> * sem_dim.adb (Analyze_Dimension_Identifier): Add guard against cascaded error. 2014-01-22 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Find_Selected_Component): Handle properly the case of an expanded name in a proper body, whose prefix is a package in the context of the proper body, when there is a homonym of the package declared in the parent unit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206921 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Robert Dewar <dewar@adacore.com>charlet2014-01-226-225/+439
| | | | | | | | | | | | | | | * sem_warn.adb (Check_Use_Clause): Don't give no entities used msg if errors found. (Check_One_Unit): Same change. 2014-01-22 Robert Dewar <dewar@adacore.com> * ug_words: Add missing/wrong entries for VMS warning switches. * sem_prag.adb (Check_Duplicate_Pragma): Avoid flagging parent type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206920 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-22 Jerome Guitton <guitton@adacore.com>charlet2014-01-224-2/+57
| | | | | | | | | | | | | * mlib-tgt-specific-vxworks.adb (Get_Target_Suffix): Replace xscale by arm. 2014-01-22 Robert Dewar <dewar@adacore.com> * gnat_rm.texi, gnat_ugn.texi: Document passive task optimization git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206919 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Makefile.in: Minor fixes.ebotcazou2014-01-222-3/+8
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206918 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-217-72/+160
| | | | | | | | | | | | | | | | | | | | | | * par-ch4.adb (P_If_Expression): Rewritten to improve error recovery. * par-ch5.adb (P_Condition): New version with expression prescanned. * par.adb (P_Condition): New version with expression prescanned. 2014-01-21 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document that Allow_Integer_Address is ignored if Address is not a private type. * sem_prag.adb (Analyze_Pragma, case Allow_Integer_Address): Ignore pragma if System.Address is not a private type. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * namet.ads (Name_Len): Initialize to 0 to avoid accessing an uninitialized value. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206892 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Thomas Quinot <quinot@adacore.com>charlet2014-01-219-81/+121
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi (Scalar_Storage_Order): Update documentation. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Set_Instance_Env): In Ada 2012 mode, preserve the value of Assertions_Enabled flag when compiling an instance of an internal unit. This facilitates the use of pre/postconditions in generic internal units, such as the new elementary function libraries. 2014-01-21 Robert Dewar <dewar@adacore.com> * exp_aggr.adb: Minor reformatting. * sem_attr.adb: Minor reformatting. * sem_res.adb: Minor comment addition. * einfo.adb: Minor comment updates. * freeze.adb: Minor reformatting and code reorganization. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * par-ch4.adb (P_If_Expression): Handle more gracefully an elsif clause that does not have an else part. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206891 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-219-221/+202
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * checks.adb, sem_util.ads, sem_ch4.adb: Minor reformatting. 2014-01-21 Pascal Obry <obry@adacore.com> * projects.texi: Minor typo fix. 2014-01-21 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): If a record type has an explicit Scalar_Storage_Order attribute definition clause, reject any component that itself is of a composite type and does not have one. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Generate_Parent_Reference): Make public so it can be used to generate proper cross-reference information for the parent units of proper bodies. 2014-01-21 Thomas Quinot <quinot@adacore.com> * gcc-interface/decl.c (gnat_to_gnu_entity): For a modular type that represents a bit packed array type, propagate the reverse storage order flag to the generated wrapper record. * exp_pakd.adb (Expand_Packed_Element_Set, Expand_Packed_Element_Reference): No byte swapping required in the front-end for the case of a reverse storage order array, as this is now handled uniformly in the back-end. However we still need to swap back an extracted element if it is itself a nested composite with reverse storage order. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206890 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-01-213-29/+95
| | | | | | | | | | | | | | * sem_prag.adb (Analyze_External_Property): Add processing for "others". (Analyze_Pragma): Update the grammar of pragma Abstract_State to include "others". 2014-01-21 Arnaud Charlet <charlet@adacore.com> * gnat_ugn.texi: Minor updates. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206889 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Thomas Quinot <quinot@adacore.com>charlet2014-01-219-84/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_pakd.adb: Update comment, minor reformatting. 2014-01-21 Hristian Kirtchev <kirtchev@adacore.com> * sem_ch3.adb (Analyze_Variable_Contract): Trigger the volatile object check when SPARK_Mode is on. * sem_ch6.adb (Process_Formals): Trigger the volatile object check when SPARK_Mode is on. * sem_ch12.adb (Instantiate_Object): Trigger the volatile object check when SPARK_Mode is on. * sem_ch13.adb (Analyze_Aspect_Specifications): Insert the corresponding pragma of aspect SPARK_Mode in the visible declarations of a package declaration. * sem_prag.adb (Analyze_Pragma): Trigger the volatile object check when SPARK_Mode is on. * sem_res.adb (Resolve_Actuals): Trigger the volatile object check when SPARK_Mode is on. (Resolve_Entity_Name): Trigger the volatile object check when SPARK_Mode is on. 2014-01-21 Robert Dewar <dewar@adacore.com> * a-except-2005.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206888 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-219-22/+53
| | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb, sem_prag.adb, sem_prag.ads, sem_ch12.adb, sem_res.adb, sem_ch6.adb, a-except-2005.adb: Minor reformatting. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): When a class-wide object is declared, it is rewritten as a renaming of an dynamic expression that wraps the initial value. The renaming declaration is first given an internal name, to prevent collisions with the entity already declared, and then the name is modified to reflect the original one. the modification of the name must preserve the source location of the original, to prevent spurious errors when compiling with style checks if the declaration involves more than one entity. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206887 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-01-2121-220/+1207
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * aspects.adb Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in table Canonical_Aspect. * aspects.ads Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in tables Aspect_Id, Aspect_Names, Aspect_Delay and Implementation_Defined_Aspect. * atree.adb (Ekind_In): New version with 8 parameters. (Node34): New routine. (Set_Node34): New routine. * atree.ads (Ekind_In): New version with 8 parameters. (Node34): New routine. (Set_Node34): New routine. * einfo.adb Contract is now Node34. (Contract): Update the assertion and node usage. (Get_Pragma): Include pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. (Set_Contract): Update the assertion and node usage. (Write_Field24_Name): Remove the output for a contract. (Write_Field34_Name): Add output for a contract. * einfo.ads Contract is now Node34. Update the comment on attribute usage and related node structures. (Get_Pragma): Update the comment on usage. * par-prag.adb (Prag): Pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes do not require special processing by the parser. * sem_ch3.adb (Analyze_Variable_Contract): New routine. (Analyze_Declarations): Analyze the contract of a variable at the end of the declarative region. (Analyze_Object_Declaration): Create a contract for a variable. * sem_ch6.adb (Analyze_Subprogram_Contract): Update the retrieval of classification pragmas. (Process_Formals): Detect an illegal use of a volatile object as a formal in a function. * sem_ch12.adb (Instantiate_Object): Detect an illegal use of a volatile object as an actual in generic instantiation. * sem_prag.adb Add entries for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes in table Sig_Flags. (Analyze_External_State_In_Decl_Part): New routine. (Analyze_Global_Item): Detect an illegal use of a volatile object as a global item of a function. (Analyze_Pragma): Reimplement pragma Abstract_State. Add support for pragmas Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. (Check_External_Properties): New routine. * sem_prag.ads (Analyze_External_State_In_Decl_Part): New routine. (Check_External_Properties): New routine. * sem_res.adb (Resolve_Actuals): Detect an illegal use of a volatile object as an actual in a call. (Resolve_Entity_Name): Add local variables Par, Prev and Usage_OK. Detect illegal contexts of volatile objects. * sem_util.adb (Add_Contract_Item): Add support for pragmas associated with the contract of a variable. (Async_Readers_Enabled): New routine. (Async_Writers_Enabled): New routine. (Effective_Reads_Enabled): New routine. (Effective_Writes_Enabled): New routine. (Has_Enabled_Property): New routine. (Is_Unchecked_Conversion_Instance): New routine. (Is_Volatile_Object): Add support for entities that may denote a volatile object. * sem_util.ads (Add_Contract_Item): Update the comment on usage. (Async_Readers_Enabled): New routine. (Async_Writers_Enabled): New routine. (Effective_Reads_Enabled): New routine. (Effective_Writes_Enabled): New routine. (Is_Unchecked_Conversion_Instance): New routine. * sinfo.ads Update the comment on the structure of N_Contract. * snames.ads-tmpl Add predefined names for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. Add pragma ids for Async_Readers, Async_Writers, Effective_Reads and Effective_Writes. 2014-01-21 Robert Dewar <dewar@adacore.com> * exp_ch4.adb (Eval_Op_Expon): Use CRT_Safe_Compile_Time_Known_Value * sem_eval.adb (Compile_Time_Known_Value): Remove special handling of CRT mode (CRT_Safe_Compile_Time_Known_Value): New function (Eval_Op_Expon): Add CRT_Safe in call to Test_Foldable (Test_Foldable): Add CRT_Safe parameter * sem_eval.ads (Compile_Time_Known_Value): Remove special handling of CRT mode. (CRT_Safe_Compile_Time_Known_Value): New function. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206886 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-212-26/+34
| | | | | | | | | | * sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Fix problem with pragma or aspect that applies to package spec or subprogram spec. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206885 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-2122-259/+480
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_aggr.adb: Minor reformatting. 2014-01-21 Johannes Kanig <kanig@adacore.com> * gnat1drv.adb (Gnat1drv) remove obsolete reference to -gnatd.H. 2014-01-21 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Document the "checks" attribute in gnat2xml. 2014-01-21 Steve Baird <baird@adacore.com> * gnat_rm.texi: Improve description of SPARK_Mode pragma. 2014-01-21 Vincent Celier <celier@adacore.com> * prj-part.adb (Parse_Single_Project): Accept to extend a project if it has only be imported by an project being extended. When a project that has only been imported by a project being extended is imported by another project that is not being extended, reset the previous indication, so that it will be an error if this project is extended later. * prj-tree.adb (Create_Project): Include component From_Extended in table Projects_HT * prj-tree.ads (Project_Name_And_Node): New Boolean component From_Extended 2014-01-21 Robert Dewar <dewar@adacore.com> * atree.ads, atree.adb: Add Node33 and Set_Node33. * einfo.ads, einfo.adb (SPARK_Pragma): New field (SPARK_Aux_Pragma): New field (SPARK_Pragma_Inherited): New flag (SPARK_Aux_Pragma_Inherited): New flag (SPARK_Mode_Pragmas): Removed. * lib.ads, lib.adb: Remove SPARK_Mode_Pragma, no longer used. * opt.ads (SPARK_Mode_Pragma): New global variable. * sem.ads: Add Save_SPARK_Mode_Pragma field to Scope_Stack_Entry. * sem_ch3.adb: Use new SPARK_Mode data structures. * sem_ch6.adb: Set SPARK_Mode fields in subprogram specs and bodies. * sem_ch7.adb: Set SPARK_Mode fields in package spec and body entities. * sem_ch8.adb (Push_Scope): Save SPARK_Mode_Pragma. (Pop_Scope): Restore SPARK_Mode_Pragma. * sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Rewrite for new data structures. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * back_end.adb: Undo previous change, not needed. Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206879 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Thomas Quinot <quinot@adacore.com>charlet2014-01-218-40/+81
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch5.adb: Fix comment. * switch-c.adb: Minor comment update. * exp_ch3.adb: Minor reformatting. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * back_end.adb (Scan_Compiler_Arguments): Do not store object filename in gnatprove mode. 2014-01-21 Thomas Quinot <quinot@adacore.com> * sinfo.ads (No_Ctrl_Actions): Clarify documentation (flag also suppresses usage of primitive _assign for tagged types). * exp_aggr.adb (Build_Array_Aggr_Code.Gen_Assign): Set No_Ctrl_Actions for a tagged type that does not require finalization, as we want to disable usage of _assign (which may cause undesirable discriminant checks on an uninitialized, invalid target). 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb: Reject invariant'class on completion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206878 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Javier Miranda <miranda@adacore.com>charlet2014-01-2111-73/+181
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch3.adb (Build_Init_Procedure): For derivations of interfaces, do not move the the initialization of the _parent field since such assignment is not generated. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Rewrite_Renamed_Operator): Do not replace entity with the operator it renames if we are within an expression of a pre/postcondition, because the expression will be reanalyzed at a later point, and the analysis of the renaming may affect the visibility of the operator when in an instance. 2014-01-21 Robert Dewar <dewar@adacore.com> * sinfo.ads, sinfo.adb: Change Do_Discriminant_Check to use new Flag1. Add this flag to type conversion nodes and assignment nodes. * treepr.adb: Deal properly with Flag 1,2,3. * treeprs.adt: Minor comment update. 2014-01-21 Robert Dewar <dewar@adacore.com> * sem_eval.adb (Compile_Time_Known_Value): Add Ignore_CRT parameter. * sem_eval.ads (Compile_Time_Known_Value): Add Ignore_CRT parameter, completely rewrite spec. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Install_Withed_Unit): If the unit is a subprogram instance that is inlined, it may have been rewritten as a wrapper package. In that case the unit that must be made visible is the related instance of the package. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Refine previous change in codepeer mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206874 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Arnaud Charlet <charlet@adacore.com>charlet2014-01-219-35/+55
| | | | | | | | | | | | | | | | | | | | | * exp_ch9.adb (Expand_N_Selective_Accept.Add_Accept): Always add call to Abort_Undefer, as expected by the runtime. * s-tasren.adb (Local_Complete_Rendezvous): Replace Defer_Abort_Nestable by Defer_Abort, since we do not expect abort to be deferred at this point. Update comments. 2014-01-21 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb, exp_ch5.adb, checks.adb: Minor reformatting. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * switch-c.adb, usage.adb, gnat_ugn.texi: Mark -gnates as internal, remove from doc. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206873 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-215-8/+11
| | | | | | | | * switch-c.adb, usage.adb, atree.adb, atree.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206872 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Thomas Quinot <quinot@adacore.com>charlet2014-01-2112-97/+201
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * atree.adb, atree.ads (Num_Extension_Nodes): Switch to Node_Id, since this is value is used in Node_Id arithmetic operations. (Copy_Node, Exchange_Entities): Use loops indexed by Num_Extension_Nodes instead of hard-coded unrolled code. 2014-01-21 Yannick Moy <moy@adacore.com> * gnat1drv.adb: Minor code cleanup, removing useless code. 2014-01-21 Arnaud Charlet <charlet@adacore.com> * opt.ads (SPARK_Switches_File_Name): New. * switch-c.adb (Scan_Front_End_Switches): Add handling of -gnates=xxx * * usage.adb (Usage): Document -gnates, in gnatprove mode only. * gnat_ugn.texi: Document -gnates. 2014-01-21 Yannick Moy <moy@adacore.com> * errout.adb (Special_Msg_Delete): Update comment. Remove special case for GNATprove which should not ignore mismatch in sizes for representation clauses. * sem_prag.adb (Analyze_Pragma): Remove special case for GNATprove which should not ignore pragma Pack. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch4.adb: Code clean up. 2014-01-21 Steve Baird <baird@adacore.com> * gnat_rm.texi: Improve GNAT RM description of SPARK_Mode pragma. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206871 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-21 Robert Dewar <dewar@adacore.com>charlet2014-01-219-37/+248
| | | | | | | | | | | | | | | | | | | | | | | | | | * gcc-interface/gigi.h: Get Flags array address. * gcc-interface/trans.c: Acquire Flags array address. * atree.adb: Add support for Flags array and Flag0,1,2,3. * atree.ads: Add support for Flags array and Flag0,1,2,3. * atree.h: Add support for Flags array and Flag0,1,2,3. * back_end.adb: Pass Flags array address to gigi. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Attribute_Renaming): Transfer original attribute reference to generated body so that legality checks on stream attributes are properly applied. If type is tagged and already frozen, insert generated body at the point of the renaming declaration. 2014-01-21 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. * sem_ch8.adb: Minor reformatting git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206870 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Robert Dewar <dewar@adacore.com>charlet2014-01-2024-111/+215
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * checks.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * exp_ch4.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * opt.adb (SPARK_Mode_Config): Handled like other config flags * opt.ads (SPARK_Mode_Type): Moved here from types (renamed from SPARK_Mode_Id) (SPARK_Mode_Type): Add pragma Ordered, remove SPARK_ from names (SPARK_Mode): New flag (SPARK_Mode_Config): New flag (Config_Switches_Type): Add SPARK_Mode field * sem.adb: Minor code reorganization (remove unnecessary with) * sem.ads (Scope_Stack_Entry): Add Save_SPARK_Mode field * sem_aggr.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_attr.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch3.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch4.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): Reset SPARK_Mode from spec if needed * sem_ch7.adb (Analyze_Package_Body_Helper): Reset SPARK_Mode from spec if needed * sem_ch8.adb (Push_Scope): Save SPARK_Mode (Pop_Scope): Restore SPARK_Mode * sem_elab.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_prag.adb (Get_SPARK_Mode_From_Pragma): New function (Get_SPARK_Mode_Id): Removed (Get_SPARK_Mode_Type): New name of Get_SPARK_Mode_Id * sem_prag.ads (Get_SPARK_Mode_From_Pragma): New function * sem_res.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * sem_util.adb: Check SPARK_Mode instead of GNATProve_Mode for converting warnings on inevitable exceptions to errors. * types.ads (SPARK_Mode_Id): Moved to opt.ads and renamed SPARK_Mode_Type 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb: Add semantic information to rewritten type reference. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * exp_ch5.adb (Expand_N_Assignment_Statement): If both sides are of a type with unknown discriminants, convert both to the underlying view of the type, so that the proper constraint check can be applied to the right-hand side. 2014-01-20 Robert Dewar <dewar@adacore.com> * atree.adb (Copy_Node): Fix failure to copy last component (Exchange_Entities): Fix failure to exchange last entity 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206844 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Robert Dewar <dewar@adacore.com>charlet2014-01-203-9/+10
| | | | | | | | * gnat_rm.texi, sem_ch4.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206843 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Ed Schonberg <schonberg@adacore.com>charlet2014-01-203-3/+35
| | | | | | | | | | | | | | | * sem_ch4.adb (Analyze_Quantified_Expression): If after pre-analysis the loop parameter specification has been rewritten as a iterator specification, propagate the change to the quantified expression, for ASIS navigtion needs. 2014-01-20 Vincent Celier <celier@adacore.com> * par-ch10.adb: Minor error message change: escape [ and ]. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206842 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Robert Dewar <dewar@adacore.com>charlet2014-01-2023-290/+414
| | | | | | | | | | | | | | | | | | | | | | * checks.adb: Make warnings on exceptions into errors in GNATprove mode. * errout.adb: Implement [ and ] insertion characters. * errout.ads: Document new [ and ] insertion characters. * sem_ch12.adb, restrict.adb, frontend.adb, exp_ch7.adb: Minor addition of ??? comment. * lib-xref.adb, exp_util.adb, gnat1drv.adb: Minor reformatting * exp_ch4.adb, sem_ch3.adb, sem_ch4.adb, sem_ch6.adb, sem_elab.adb, sem_eval.adb, sem_res.adb, sem_util.adb, sem_attr.adb, sem_aggr.adb: Make warnings on exceptions into errors in GNATprove mode. * sem_dim.adb: Minor reformatting throughout Quote [ and ] in error messages. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * sem_ch13.adb: Code clean up. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206841 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Robert Dewar <dewar@adacore.com>charlet2014-01-206-30/+61
| | | | | | | | | | | | | | | | | | | | | * errout.ads, errout.adb: Implement >? >x? >X? sequences in error messages. * sem_ch6.adb (Check_Statement_Sequence): Missing return is an error in GNATprove mode. 2014-01-20 Ed Schonberg <schonberg@adacore.com> * par-ch4.adb (Is_Parameterless_Attribute): The Ada2012 attribute reference 'Old takes no parameters, and thus can appear as a prefix of a slice. 2014-01-20 Eric Botcazou <ebotcazou@adacore.com> * exp_aggr.adb: Fix minor typos. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206839 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Ed Schonberg <schonberg@adacore.com>charlet2014-01-203-19/+37
| | | | | | | | | | | | | | | | | | * sem_attr.adb (Analyze_Attribute, case 'Constrained): In an instance the attribute is legal, and its value is determined statically if the type has no discriminants. This choice is more useful than rechecking the legality rule in the instance, is consistent with older usage, and is also consistent with all existing tests. 2014-01-20 Arnaud Charlet <charlet@adacore.com> * sem_cat.adb (Validate_Static_Object_Name): Change error into warning in Relaxed_Semantic_Mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206838 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Ed Schonberg <schonberg@adacore.com>charlet2014-01-2010-167/+128
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_attr.adb: Code and comments cleanup. 2014-01-20 Yannick Moy <moy@adacore.com> * debug.adb Free debug flags -gnatd.D, -gnatd.G and -gnatd.V * * errout.adb (Compilation_Errors): Remove special handling in GNATprove mode. * gnat1drv.adb (Adjust_Global_Switches): Remove handling of the removed debug flags. * gnat_rm.texi: Initial documentation for Abstract_State, Depends, Global, Initial_Condition, Initializes and Refined_State pragmas and aspects. * opt.ads (Frame_Condition_Mode, Formal_Extensions, SPARK_Strict_Mode): Remove global flags. * sem_ch3.adb (Analyze_Object_Declaration): Check of no hidden state always performed now, on packages declaring a null state. (Signed_Integer_Type_Declaration): Remove ill-designed attempt at providing pedantic mode for bounds of integer types. * sem_ch4.adb (Analyze_Quantified_Expression): Warning on suspicious "some" quantified expression now issued under control of -gnatw.t, like the other warning on unused bound variable. * sem_prag.adb (Check_Precondition_Postcondition): Remove useless test on removed flag. (Analyze_Pragma): Remove tests for SPARK 2014 pragmas, not officially allowed by GNAT. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206837 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-01-203-65/+165
| | | | | | | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Pragma): Ensure that the sole argument of pragmas Abstract_State, Contract_Cases, Depends, Global and Initializes in in aggregate form. (Analyze_Refined_Pragma): Ensure that the sole argument of pragmas Refined_Depends, Refined_Global and Refined_State is in aggregate form. (Ensure_Aggregate_Form): New routine. 2014-01-20 Doug Rupp <rupp@adacore.com> * sem_attr.adb (Analyze_Attribute): case Attribute_Constrained => treat all prefixes as legal for Declib compatibility. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206836 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-01-203-72/+165
| | | | | | | | | | | | | | * sem_prag.adb (Check_Mode): Reimplement the routine. (Find_Mode): New routine. 2014-01-20 Robert Dewar <dewar@adacore.com> * sem_ch4.adb (Operator_Check): Handle additional Allow_Integer_Address cases. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206835 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-01-20 Robert Dewar <dewar@adacore.com>charlet2014-01-207-31/+47
| | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi (Allow_Integer_Address): Remove note about not allowed if address is non-private, no longer true. * sem_prag.adb (Analyze_Pragma, case Allow_Integer_Address): Remove check for address being private, causes difficulty when pragma used in gnat.adc file and is not needed, since we guard this in Address_Integer_Convert_OK. * exp_ch7.adb: Minor reformatting. * sem_ch4.adb: Handle operator operands in Allow_Integer_Address mode. 2014-01-20 Robert Dewar <dewar@adacore.com> * checks.adb (Apply_Range_Check): Remove gnatprove special casing of exponentiation. * sem_res.adb (Resolve_Op_Expon): Apply range check to right operand for integer case to check range against Natural. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206833 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud