summaryrefslogtreecommitdiffstats
path: root/gcc/ada
Commit message (Collapse)AuthorAgeFilesLines
...
* 2013-01-29 Javier Miranda <miranda@adacore.com>charlet2013-01-2914-176/+667
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * errout.ads, errout.adb (Get_Ignore_Errors): New subprogram. * opt.ads (Warn_On_Overlap): Update documentation. * sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate): Check function writable actuals. * sem_ch3.adb (Build_Derived_Record_Type, Record_Type_Declaration): Check function writable actuals. * sem_ch4.adb (Analyze_Range): Check function writable actuals. * sem_ch5.adb (Analyze_Assignment): Remove code of the initial implementation of AI05-0144. * sem_ch6.adb (Analyze_Function_Return, (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code of the initial implementation of AI05-0144. * sem_res.adb (Resolve): Remove code of the initial implementation. (Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call of the initial implementation. (Resolve_Arithmetic_Op, Resolve_Logical_Op, Resolve_Membership_Op): Check function writable actuals. * sem_util.ad[sb] (Actuals_In_Call): Removed (Check_Order_Dependence): Removed (Save_Actual): Removed (Check_Function_Writable_Actuals): New subprogram. * usage.adb (Usage): Update documentation. * warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when setting all warnings. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195540 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Robert Dewar <dewar@adacore.com>charlet2013-01-2911-34/+124
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-calend-vms.adb: Minor comment fix. 2013-01-29 Robert Dewar <dewar@adacore.com> * mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash because of casing issues. * sem_util.ads: Minor comment fix. * style.adb (Check_Identifier): Set proper casing for entities in ASCII. * styleg.adb: Minor comment improvement. * stylesw.ads (Style_Check_Standard): Fix bad comments. 2013-01-29 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb: Add the grammar for pragmas Abstract_State and Global. (Analyze_Pragma): Push the scope of the related subprogram and install its formals once before starting the analysis of the [moded] global list. 2013-01-29 Pascal Obry <obry@adacore.com> * prj-proc.adb (Process_Expression_Variable_Decl): Always handle relative paths in Project_Path as relative to the aggregate project location. Note that this was what was documented. 2013-01-29 Vincent Celier <celier@adacore.com> * gnatcmd.adb: For "gnat stub -P ...", do not check the naming scheme for Ada, when Ada is not a language for the project. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195539 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Ed Schonberg <schonberg@adacore.com>charlet2013-01-295-11/+111
| | | | | | | | | | | | | | | | | | | * sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Is_Generic_Actual_Type flag in a nested instance. * sem_ch12.adb (Restore_Private_Views): Preserve Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type of an enclosing instance. * sem_util.adb (Corresponding_Generic_Type): Handle generic actual which is an actual of an enclosing instance. * sem_type.adb (Real_Actual): If a generic_actual_type is the formal of an enclosing generic and thus renames the corresponding actual, use the actual of the enclosing instance to resolve spurious ambiguities in instantiations when two formals are instantiated with the same actual. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195538 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Robert Dewar <dewar@adacore.com>charlet2013-01-293-8/+221
| | | | | | | | | | | | | | * gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as being available as implementation-defined pragmas in earlier versions of Ada. 2013-01-29 Vincent Celier <celier@adacore.com> * clean.adb (Delete): On VMS, delete all versions of the file. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195537 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Robert Dewar <dewar@adacore.com>charlet2013-01-2930-112/+389
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure. * par-util.adb (No_Constraint): Undo special handling, moved to par-ch6.adb. 2013-01-29 Robert Dewar <dewar@adacore.com> * aspects.ads: Aspect Warnings is implementation defined Add some other missing entries to impl-defined list Mark Warnings as GNAT pragma in main list. * sem_ch8.adb: Process aspects for all cases of renaming declarations. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag. * sem_elab.adb (Check_Internal_Call_Continue): Do not issue warnings about possible elaboration error if call is within an assertion. * sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node. 2013-01-29 Robert Dewar <dewar@adacore.com> * a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb, * s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb, s-tasdeb-vms.adb: Replace pragma Interface by pragma Import. 2013-01-29 Robert Dewar <dewar@adacore.com> * opt.ads (Ignore_Style_Checks_Pragmas): New flag. * par-prag.adb (Par, case Style_Checks): Recognize Ignore_Style_Checks_Pragmas. * sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize Ignore_Style_Checks_Pragmas. * switch-c.adb: Recognize -gnateY switch. * usage.adb: Add documentation for "-gnateY". * vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY). 2013-01-29 Vincent Celier <celier@adacore.com> * clean.adb (Clean_Executables): Add Sid component when calling Queue.Insert. * make.adb: When inserting in the Queue, add the Source_Id (Sid) when it is known (Start_Compile_If_Possible): When the Source_Id is known (Sid), get the path name of the ALI file (Full_Lib_File) from it, to avoid finding old ALI files in other object directories. * makeutl.ads (Source_Info): New Source_Id component Sid in Format_Gnatmake variant. 2013-01-29 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document -gnateY. 2013-01-29 Doug Rupp <rupp@adacore.com> * s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads, system-vms-ia64.ads: Replace pragma Interface by pragma Import. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195536 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-29 Robert Dewar <dewar@adacore.com>charlet2013-01-2913-43/+249
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * atree.ads, atree.adb (Node30): New function. (Set_Node30): New procedure. (Num_Extension_Nodes): Change to 5 (activate new fields/flags). * atree.h: Add macros for Field30 and Node30. * einfo.ads, einfo.adb: Move some fields to avoid duplexing. * treepr.adb (Print_Entity_Information): Print fields 30-35. 2013-01-29 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma, case Interface): Consider to be a violation of No_Obsolescent_Features even in Ada 95. Also generates a warning in -gnatwj mode. (Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj mode. * gnat_ugn.texi: Additional documentation on -gnatwj and pragma Interface[_Name]. 2013-01-29 Vincent Celier <celier@adacore.com> * snames.ads-tmpl: Add new standard name Trailing_Switches. 2013-01-29 Ed Schonberg <schonberg@adacore.com> * sem_disp.adb (Check_Controlling_Type): If a designated type T of an anonymous access type is a limited view of a tagged type, it can be a controlling type only if the subprogram is in the same scope as T. 2013-01-29 Vincent Celier <celier@adacore.com> * gnatcmd.adb: Use the project where the config pragmas file is declared to get its path. 2013-01-29 Vincent Celier <celier@adacore.com> * prj-attr.adb: New attribute Linker'Trailing_Switches. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195535 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Doebotcazou2013-01-222-1/+6
| | | | | | | not translate the Etype of the node before translating the Actions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195368 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_sizeebotcazou2013-01-222-6/+26
| | | | | | | | instead of optimize and adjust warning message. (Compilation_Unit_to_gnu): Process pragmas preceding the unit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195366 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/gigi.h (ADT_unhandled_except_decl,ebotcazou2013-01-223-1/+49
| | | | | | | | | | | | ADT_unhandled_others_decl): New. (unhandled_others_decl, unhandled_except_decl): Define. * gcc-interface/trans.c: Include common/common-target.h. (gigi): Initialize them. (Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main function in a try/catch clause. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195364 138bc75d-0d04-0410-961f-82ee72b054a4
* * Makefile.tpl (BOOT_ADAFLAGS): Remove -gnata.ebotcazou2013-01-112-2/+14
| | | | | | | | | | | | | | | | * Makefile.in: Regenerate. gcc/ * configure.ac (Tree checking): Set TREECHECKING to yes if enabled. Substitute TREECHECKING. * configure: Regenerate. * Makefile.in (TREECHECKING): New. gcc/ada/ * gcc-interface/Make-lang.in (COMMON_ADAFLAGS): Remove -gnata. (CHECKING_ADAFLAGS): New. (ALL_ADAFLAGS): Include CHECKING_ADAFLAGS. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195104 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/config-lang.in (boot_language_boot_flags): Delete.ebotcazou2013-01-103-7/+9
| | | | | | | * gcc-interface/Make-lang.in (BOOT_ADAFLAGS): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@195091 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <E_Record_Type>: Adjustebotcazou2013-01-072-8/+12
| | | | | | | | | comment about type extension with discriminants. <E_Record_Subtype>: Remove useless test and reorder conditions. (elaborate_entity) <E_Record_Subtype>: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194965 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Richard Biener <rguenther@suse.de>rguenth2013-01-072-4/+9
| | | | | | | | | PR ada/864 * gcc-interface/Make-lang.in (ada.install-common): Always apply program_transform_name. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194964 138bc75d-0d04-0410-961f-82ee72b054a4
* * gnatvsn.ads (Current_Year): Bump to 2013.ebotcazou2013-01-062-2/+6
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194947 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_field): Emit a specializedebotcazou2013-01-062-5/+29
| | | | | | | | | | diagnostic for component size mismatch wrt volatile requirements. Add a gcc_unreachable() at the end of the checks for size. Split the check on volatile for positions into one check on atomic and a subsequent one on volatile. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194946 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (elaborate_entity) <E_Record_Type>: Delete.ebotcazou2013-01-062-12/+4
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194945 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (gnat_to_gnu_entity) <discrete_type>: Do notebotcazou2013-01-062-4/+12
| | | | | | | pack the field of the record type made for a misaligned type. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194942 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/decl.c (annotate_value) <COMPONENT_REF>: Be preparedebotcazou2013-01-062-11/+23
| | | | | | | for discriminants inherited from parent record types. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194939 138bc75d-0d04-0410-961f-82ee72b054a4
* Update Copyright years for files modified in 2011 and/or 2012.jakub2013-01-0479-81/+82
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194903 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-042-10/+7
| | | | | | | | | | | | * sinfo.ads: Clean up order of N_xxx subtypes 2013-01-04 Vincent Celier <celier@adacore.com> * prj-conf.adb (Check_Target): Allow --autoconf= with no target. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194897 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-0417-183/+1785
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * warnsw.adb: Minor fixes to -gnatw.d handling. 2013-01-04 Robert Dewar <dewar@adacore.com> * einfo.adb, atree.adb: Enlarge entities to make 63 more flags, 6 more fields. 2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker> * gnat_ugn.texi: Fix typo. 2013-01-04 Robert Dewar <dewar@adacore.com> * gnat_rm.texi: Document alignment choice for subtypes. 2013-01-04 Robert Dewar <dewar@adacore.com> * validsw.ads: Minor fix to comment. 2013-01-04 Doug Rupp <rupp@adacore.com> * Makefile.rtl (GNATRTL_NONTASKING_OBJS, GNATRTL_ALTIVEC_OBJS): Factor g-al* objects. * gcc-interface/Makefile.in (ADA_EXCLUDE_SRCS): Add g-al* sources. (GNATRTL_ALTIVEC_OBJS): Override to null for VMS. Rename leon vxworks toolchain as leon-wrs-vxworks. * gcc-interface/Make-lang.in: Update dependencies 2013-01-04 Pascal Obry <obry@adacore.com> * prj.ads (For_Each_Source): Add Locally_Removed parameter. (Source_Iterator): Add Locally_Removed field. * prj.adb (For_Each_Source): Ignore Locally_Removed files if needed. (Next): Likewise. 2013-01-04 Robert Dewar <dewar@adacore.com> * exp_attr.adb: Minor reformatting. 2013-01-04 Robert Dewar <dewar@adacore.com> * checks.adb (Insert_Valid_Check): Fix handling of renamed packed array element. * exp_ch4.adb (Expand_Concatenate): Fix some missing parent fields in generated code. * exp_util.adb (Side_Effect_Free): Improve detection of cases needing renaming. 2013-01-04 Robert Dewar <dewar@adacore.com> * sinfo.ads: Clean up order of N_xxx subtypes 2013-01-04 Vincent Celier <celier@adacore.com> * prj-conf.adb (Check_Target): Allow --autoconf= with no target. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194896 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-0411-27/+113
| | | | | | | | | | | | | | | | | | | | | | | | | | | * types.ads, prj-conf.adb, par-tchk.adb: Minor reformatting. 2013-01-04 Robert Dewar <dewar@adacore.com> * par-ch6.adb (P_Subprogram): Better handling of missing IS after expression function. * par-util.adb (No_Constraint): Improve handling to avoid bad warnings. 2013-01-04 Robert Dewar <dewar@adacore.com> * exp_util.ads, exp_util.adb (Insert_Actions): In expression with actions case, new actions are appended to the sequence rather than prepended. 2013-01-04 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Document -gnatw.d/w.D (does no apply in VMS mode). * usage.adb: Add lines for -gnatw.d/w.D switches. * warnsw.adb: Minor fixes (some missing cases of setting Warning_Doc_Switch). Reject -gnatw.d and -gnatw.D in VMS mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194895 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-046-256/+344
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_util.adb (Remove_Side_Effects): Make sure scope suppress is restored on exit. 2013-01-04 Robert Dewar <dewar@adacore.com> * usage.adb: Document -gnateF (check overflow for predefined Float). 2013-01-04 Robert Dewar <dewar@adacore.com> * sem_res.adb (Resolve_Type_Conversion): Remove incorrect prevention of call to Apply_Type_Conversion_Checks, which resulted in missing check flags in formal mode. 2013-01-04 Vincent Celier <celier@adacore.com> * makeutl.ads (Db_Switch_Args): New table used by gprbuild. * prj-conf.adb (Check_Builder_Switches): Check for switches --config= (Get_Db_Switches): New procedure to get the --db switches so that they are used when invoking gprconfig in auto-configuration. (Do_Autoconf): When invoking gprconfig, use the --db switches, if any. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194894 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Pascal Obry <obry@adacore.com>charlet2013-01-045-137/+231
| | | | | | | | | | | | | | | | | | | | | | * prj-nmsc.adb: Minor reformatting. 2013-01-04 Vincent Celier <celier@adacore.com> * makeutl.ads (Root_Environment): New variable, moved rom gprbuild (Load_Standard_Base): New Boolean variable, moved from gprbuild. * prj-conf.adb (Check_Builder_Switches): New procedure to check for switch --RTS in package Builder. If a runtime specified by --RTS is a relative path name, but not a base name, then find the path on the Project Search Path. (Do_Autoconf): Call Check_Builder_Switches. (Locate_Runtime): New procedure, moved from gprbuild, to get the absolute paths of runtimes when they are not specified as a base name. * prj-conf.ads (Locate_Runtime): New procedure, moved from gprbuild. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194893 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Ed Schonberg <schonberg@adacore.com>charlet2013-01-043-4/+35
| | | | | | | | | | | | * sem_ch3.adb (Build_Private_Derived_Type): Set Has_Private_Ancestor on type derived from an untagged private type whose full view has discriminants * sem_aggr.adb (Resolve_Record_Aggregate): Reject non-extension aggregate for untagged record type with private ancestor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194892 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Thomas Quinot <quinot@adacore.com>charlet2013-01-043-30/+21
| | | | | | | | * sem_elab.adb, sem_ch3.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194891 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-0411-22/+480
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * table.adb: Minor reformatting. 2013-01-04 Ed Schonberg <schonberg@adacore.com> * sem_ch10.adb (Check_Redundant_Withs): A with_clause that does not come from source does not generate a warning for redundant with_clauses. 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com> * aspects.adb, aspects.ads: Add Aspect_Global to all relevant tables. * par-prag.adb: Add pragma Global to the list of pragmas that do not need special processing by the parser. * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect Global into a pragma without any form of legality checks. The work is done by Analyze_Pragma. The aspect and pragma are both marked as needing delayed processing. Insert the corresponding pragma of aspect Abstract_State in the visible declarations of the related package. (Check_Aspect_At_Freeze_Point): Aspect Global does not need processing even though it is marked as delayed. Alphabetize the list on aspect names. * sem_prag.adb: Add a value for pragma Global in table Sig_Flags. (Analyze_Pragma): Add ??? comment about the grammar of pragma Abstract_State. Move the error location from the pragma to the state to improve the quality of error placement. Add legality checks for pragma Global. * snames.ads-tmpl Add the following specially recognized names 2013-01-04 Eric Botcazou <ebotcazou@adacore.com> * sem_ch3.adb: Fix minor typo. 2013-01-04 Ed Schonberg <schonberg@adacore.com> * par-ch13.adb (Aspect_Specifications_Present): In Strict mode, accept an aspect name followed by a comma, indicating a defaulted boolean aspect. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194890 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Joel Brobecker <brobecker@adacore.com brobecker>charlet2013-01-044-11/+106
| | | | | | | | | | | | | | | | | * gnat_ugn.texi: Document procedure to codesign GDB on Darwin. Update doc on gnattest --separates switch. 2013-01-04 Thomas Quinot <quinot@adacore.com> * s-chepoo.ads: Minor reformatting. 2013-01-04 Arnaud Charlet <charlet@adacore.com> * usage.adb: Remove mention of -gnatN in usage. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194889 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Robert Dewar <dewar@adacore.com>charlet2013-01-0413-86/+99
| | | | | | | | | | * exp_prag.adb, gnatcmd.adb, exp_util.adb, table.adb, sem_prag.adb, freeze.adb, sem_ch4.adb, sem_warn.adb, opt.ads, exp_aggr.adb, prj-conf.adb, sem_ch13.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194888 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-04 Thomas Quinot <quinot@adacore.com>charlet2013-01-0412-145/+269
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sinfo.ads: Minor documentation update. 2013-01-04 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb, einfo.adb (Analyze_Object_Declaration): Do not set Ekind before resolving initialization expression. 2013-01-04 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Generate_Index_Checks): Delay the generation of the check for an indexed component where the prefix mentions Loop_Entry until the attribute has been properly expanded. * exp_ch5.adb (Expand_Loop_Entry_Attributes): Perform minor decoration of the constant that captures the value of Loop_Entry's prefix at the entry point into a loop. Generate index checks for an attribute reference that has been transformed into an indexed component. 2013-01-04 Thomas Quinot <quinot@adacore.com> * exp_prag.adb, exp_util.adb, exp_util.ads, freeze.adb, exp_aggr.adb, sem_ch13.adb (Exp_Aggr.Collect_Initialization_Statements): Nothing to do if Obj is already frozen. (Exp_Util.Find_Init_Call): Rename to... (Exp_Util.Remove_Init_Call): New subprogram, renamed from Find_Init_Call. Remove the initialization call from the enclosing list if found, and if it is from an Initialization_Statements attribute, reset it. (Exp_Util.Append_Freeze_Action): Minor code reorganization. (Exp_Util.Append_Freeze_Actions): Ensure a freeze node has been allocated (as is already done in Append_Freeze_Action). (Freeze.Freeze_Entity): For an object with captured Initialization_Statements and non-delayed freezeing, unwrap the initialization statements and insert and them directly in the enclosing list. (Sem_Ch13.Check_Address_Clause): For an object with Initialization_Statements and an address clause, unwrap the initialization statements when moving them to the freeze actions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194887 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Pascal Obry <obry@adacore.com>charlet2013-01-035-3/+71
| | | | | | | | | | | | | * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package remote and corresponding attibutes. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_aggr.adb: Minor comment improvement. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194852 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Hristian Kirtchev <kirtchev@adacore.com>charlet2013-01-0316-101/+718
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * aspects.adb, aspects.ads: Add Aspect_Abstract_State to all the relevant tables. * einfo.ads, einfo.adb: Add Integrity_Level and Refined_State to the description of fields (Abstract_States): New routine. (Integrity_Level): New routine. (Has_Property): New routine. (Is_Input_State): New routine. (Is_Null_State): New routine. (Is_Output_State): New routine. (Is_Volatile_State): New routine. (Refined_State): New routine. (Set_Abstract_States): New routine. (Set_Integrity_Level): New routine. (Set_Refined_State): New routine. (Write_Field8_Name): Add proper output for E_Abstract_State. (Write_Field9_Name): Add proper output for E_Abstract_State. (Write_Field25_Name): Add proper output for E_Package. * lib-xref.ads: Add new letter for an abstract state. * par-prag.adb: Add pragma Abstract_State to the list of pragma that do not need special processing by the parser. * sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect Abstract_State into a pragma without any form of legality checks. The work is done by Analyze_Pragma. (Check_Aspect_At_Freeze_Point): Aspect Abstract_State does not require delayed analysis. * sem_prag.adb: Add a value for pragma Abstract_State in table Sig_Flags. (Analyze_Pragma): Add legality checks for pragma Abstract_State. Analysis of individual states introduces a state abstraction entity into the visibility chain. * snames.ads-tmpl: Add new names for abstract state and integrity. Add new pragma id for abstract state. 2013-01-03 Bob Duff <duff@adacore.com> * table.adb (Reallocate): Calculate new Length in Long_Integer to avoid overflow. 2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch3.adb, sinfo.ads, freeze.adb, sem_ch4.adb, exp_aggr.adb (Sem_Ch3.Analyze_Object_Declaration): Set Ekind early so that it is set properly when expanding the initialization expression. (Freeze.Check_Address_Clause): Transfer initialization expression to an assignment in the freeze actions, so that the object is initialized only after being elaborated by GIGI. (Sinfo (comments), Sem_Ch4.Analyze_Expression_With_Actions): Allow a Null_Statement as the expression in an Expression_With_Actions. (Exp_Aggr.Collect_Initialization_Statements): New subprogram shared by expansion of record and array aggregates, used to capture statements for an aggregate used to initalize an object into an Expression_With_Actions (which acts as a container for a list of actions). (Exp_Aggr.Convert_Aggr_In_Obj_Decl): Use the above to capture initialization statements, instead of the previously existing loop which left freeze nodes out of the capturing construct (causing out of order elaboration crashes in GIGI). (Exp_Aggr.Expand_Array_Aggregate): Use the above to capture initialization statements (this was previously not done for arrays). Also do not unconditionally prevent in place expansion for an object with address clause. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194851 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Thomas Quinot <quinot@adacore.com>charlet2013-01-0312-45/+189
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat_rm.texi, freeze.adb (Check_Component_Storage_Order): Check that a record extension has the same scalar storage order as the parent type. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch4.adb: Add comment. 2013-01-03 Vincent Celier <celier@adacore.com> * prj.adb: Minor spelling error correction in comment. 2013-01-03 Vincent Celier <celier@adacore.com> * gnatcmd.adb (GNATCmd): If a single main has been specified as an absolute path, use its simple file name to find specific switches, instead of the absolute path. 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_warn.adb (Warn_On_Overlapping_Actuals): For overlapping parameters that are record types or array types generate warnings only compiling under -gnatw.i * opt.ads (Extensions_Allowed): Restore previous documentation. 2013-01-03 Vincent Celier <celier@adacore.com> * prj-conf.adb (Do_Autoconf): If Target is specified in the main project, but not on the command line, use the Target in the project to invoke gprconfig in auto-configuration. * makeutl.ads (Default_Config_Name): New constant String. 2013-01-03 Arnaud Charlet <charlet@adacore.com> * usage.adb: Minor: fix typo in usage. 2013-01-03 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb (Analyze_Record_Representation_Clause): Reject an illegal component clause for an inherited component in a record extension. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194849 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Emmanuel Briot <briot@adacore.com>charlet2013-01-0312-125/+191
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * xref_lib.adb (Parse_Identifier_Info): Fix handling of arrays, which have information in the ALI file for both the index and the component types. 2013-01-03 Emmanuel Briot <briot@adacore.com> * projects.texi: Fix error in documenting the project path computed for an aggregate project. 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_warn.adb (Warn_On_Overlapping_Actuals): Adding documentation plus restricting the functionality of this routine to cover the cases described in the Ada 2012 reference manual. The previous extended support is now available under -gnatX. * s-tassta.adb (Finalize_Global_Tasks): Addition of a dummy variable to call Timed_Sleep. Required to avoid warning on overlapping out-mode actuals. * opt.ads (Extensions_Allowed): Update documentation. 2013-01-03 Tristan Gingold <gingold@adacore.com> * s-arit64.ads: Use Multiply_With_Ovflo_Check as __gnat_mulv64. * arit64.c: Removed * gcc-interface/Makefile.in: Remove reference to arit64.c. 2013-01-03 Thomas Quinot <quinot@adacore.com> * checks.adb, checks.ads (Apply_Address_Clause_Check): The check must be generated at the start of the freeze actions for the entity, not before (or after) the freeze node. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_aggr.adb (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): Reorganize code to capture initialization statements in a block, so that freeze nodes are excluded from the captured block. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194848 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Thomas Quinot <quinot@adacore.com>charlet2013-01-0312-76/+265
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch11.adb: Minor reformatting. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_util.adb, einfo.adb, einfo.ads, freeze.adb, exp_aggr.adb, sem_ch13.adb (Einfo.Initialization_Statements, Einfo.Set_Initialization_Statements): New entity attribute for objects. (Exp_Util.Find_Init_Call): Handle case of an object initialized by an aggregate converted to a block of assignment statements. (Freeze.Check_Address_Clause): Do not clear Has_Delayed_Freeze even for objects that require a constant address, because the address expression might involve entities that have yet to be elaborated at the point of the object declaration. (Exp_Aggr.Convert_Aggregate_In_Obj_Decl): For a type that does not require a transient scope, capture the assignment statements in a block so that they can be moved down after elaboration of an address clause if needed. (Sem_Ch13.Check_Constant_Address_Clause.Check_Expr_Constants, case N_Unchecked_Conversion): Do not replace operand subtype with its base type as this violates a GIGI invariant if the operand is an identifier (in which case the etype of the identifier is expected to be equal to that of the denoted entity). 2013-01-03 Javier Miranda <miranda@adacore.com> * sem_util.ads, sem_util.adb (Denotes_Same_Object): Extend the functionality of this routine to cover cases described in the Ada 2012 reference manual. 2013-01-03 Ed Schonberg <schonberg@adacore.com> * sem_elab.adb (Set_Elaboration_Constraint): Handle properly a 'Access attribute reference when the subprogram is called Initialize. 2013-01-03 Arnaud Charlet <charlet@adacore.com> * s-tpobop.adb (PO_Do_Or_Queue): Refine assertion, since a select statement may be called from a controlled (e.g. Initialize) operation and have abort always deferred. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194847 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Robert Dewar <dewar@adacore.com>charlet2013-01-039-83/+112
| | | | | | | | | | | | | | | | | | | | * sem_ch8.adb, einfo.ads, einfo.adb: Minor code reorganization. 2013-01-03 Javier Miranda <miranda@adacore.com> * exp_ch3.adb (Make_Controlling_Function_Wrappers): Exclude internal entities associated with interfaces and add minimum decoration to the defining entity of the generated wrapper to allow overriding interface primitives. * sem_disp.ads (Override_Dispatching_Operation): Addition of a new formal (Is_Wrapper). * sem_disp.adb (Override_Dispatching_Operation): When overriding interface primitives the new formal helps identifying that the new operation is not fully decorated. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194846 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Thomas Quinot <quinot@adacore.com>charlet2013-01-0313-63/+123
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch7.adb, sem_ch10.adb, einfo.adb, einfo.ads, sem_ch12.adb, rtsfind.adb, sem_elab.adb, sem_ch4.adb, sem_ch8.adb (Einfo.Is_Visible_Child_Unit, Einfo.Set_Is_Visible_Child_Unit): Rename to Is_Visible_Lib_Unit, Set_Is_Visible_Lib_Unit, and update spec accordingly (now also applies to root library units). (Sem_Ch10.Analyze_Subunit.Analyze_Subunit_Context): Toggle above flag on root library units, not only child units. (Sem_Ch10.Install[_Limited]_Withed_Unit): Same. (Sem_Ch10.Remove_Unit_From_Visibility): Reset Is_Visible_Lib_Unit even for root library units. (Sem_Ch8.Find_Expanded_Name): A selected component form whose prefix is Standard is an expanded name for a root library unit. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_ch3.adb: Minor reformatting. 2013-01-03 Olivier Hainque <hainque@adacore.com> * tracebak.c: Reinstate changes to support ppc-lynx178. 2013-01-03 Ed Schonberg <schonberg@adacore.com> * atree.ads: Minor reformatting and documentation enhancement. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194845 138bc75d-0d04-0410-961f-82ee72b054a4
* Update comments.charlet2013-01-032-10/+7
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194844 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Ed Schonberg <schonberg@adacore.com>charlet2013-01-034-18/+54
| | | | | | | | | | | | | | | * exp_ch3.adb (Expand_N_Object_Declaration): If the object has a class-wide type and a renaming declaration is created for it, preserve entity chain, which already contains generated internal types. This ensures that freezing actions are properly generated for all objects declared subsequently in the same scope, and that debugging information is generated for them. * sem_util.adb, sem_util.ads (we): New debugging routine, to display entity chain of a given scope. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194843 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-03 Robert Dewar <dewar@adacore.com>charlet2013-01-039-69/+103
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_intr.adb: Minor reformatting. 2013-01-03 Robert Dewar <dewar@adacore.com> * einfo.adb: Minor reformatting. 2013-01-03 Pascal Obry <obry@adacore.com> * adaint.c, adaint.h (__gnat_get_module_name): Removed. (__gnat_is_module_name_supported): Removed. * s-win32.ads: Add some needed definitions. * g-trasym.ads: Update comments. 2013-01-03 Robert Dewar <dewar@adacore.com> * layout.adb (Set_Composite_Alignment): Fix problems of interactions with Optimize_Alignment set to Space. 2013-01-03 Thomas Quinot <quinot@adacore.com> * exp_disp.adb: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194842 138bc75d-0d04-0410-961f-82ee72b054a4
* ChangeLog rotation.jakub2013-01-032-8690/+8695
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194840 138bc75d-0d04-0410-961f-82ee72b054a4
* Minor reformatting.charlet2013-01-021-0/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194805 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Richard Biener <rguenther@suse.de>rguenth2013-01-022-3/+8
| | | | | | | | | | | | PR bootstrap/55784 * configure.ac: Add $GMPINC to CFLAGS/CXXFLAGS. * configure: Regenerate. ada/ * gcc-interface/Makefile.in: Add $(GMPINC) to includes. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194804 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-024-19/+28
| | | | | | | | | | | * exp_intr.adb (Expand_Dispatching_Constructor_Call): Remove side effects from Tag_Arg early, doing it too late may cause a crash due to inconsistent Parent link. * sem_ch8.adb, einfo.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194803 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-029-36/+129
| | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads, einfo.adb (Has_Independent_Components): New flag. * freeze.adb (Size_Known): We do not know the size of a packed record if it has atomic components, by reference type components, or independent components. * sem_prag.adb (Analyze_Pragma, case Independent_Components): Set new flag Has_Independent_Components. 2013-01-02 Yannick Moy <moy@adacore.com> * opt.ads (Warn_On_Suspicious_Contract): Set to True by default. * usage.adb (Usage): Update usage message. 2013-01-02 Pascal Obry <obry@adacore.com> * adaint.c (__gnat_is_module_name_supported): New constant. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Check_Array_Type): Reject an attribute reference on an array whose component type does not have a completion. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194802 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Geert Bosch <bosch@adacore.com>charlet2013-01-0210-65/+79
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-nllcef.ads, a-nlcefu.ads, a-nscefu.ads: Make Pure. 2013-01-02 Robert Dewar <dewar@adacore.com> * par_sco.adb: Minor reformatting. 2013-01-02 Javier Miranda <miranda@adacore.com> * sem_aggr.adb (Resolve_Array_Aggregate): Remove dead code. 2013-01-02 Olivier Hainque <hainque@adacore.com> * a-exctra.ads (Get_PC): New function. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch8.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * sem_ch7.adb: Minor reformatting. 2013-01-02 Thomas Quinot <quinot@adacore.com> * freeze.adb (Check_Component_Storage_Order): Do not crash on _Tag component. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194799 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-0212-23/+96
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * gnat1drv.adb, targparm.adb, targparm.ads: Minor name change: add On_Target to Atomic_Sync_Default. 2013-01-02 Robert Dewar <dewar@adacore.com> * sem_warn.adb (Warn_On_Known_Condition): Suppress warning for comparison of attribute result with constant * a-ststio.adb, s-direio.adb, s-rannum.adb: Remove unnecessary pragma Warnings (Off, ".."); 2013-01-02 Yannick Moy <moy@adacore.com> * sem_prag.ads: Minor correction of comment. 2013-01-02 Thomas Quinot <quinot@adacore.com> * par_sco.adb (Traverse_Package_Declaration): The first declaration in a nested package is dominated by the preceding declaration in the enclosing scope. 2013-01-02 Pascal Obry <obry@adacore.com> * adaint.c, adaint.h (__gnat_get_module_name): Return the actual module containing a given address. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194798 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-027-17/+119
| | | | | | | | | | | | | | | | | | * sem_ch3.adb: Minor reformatting. 2013-01-02 Pascal Obry <obry@adacore.com> * cstreams.c (__gnat_ftell64): New routine. Use _ftelli64 on Win64 and default to ftell on other platforms. (__gnat_fsek64): Likewise. * i-cstrea.ads: Add fssek64 and ftell64 specs. * s-crtl.ads: Likewise. * a-ststio.adb, s-direio.adb (Size): Use 64 bits version when required. (Set_Position): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194797 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Thomas Quinot <quinot@adacore.com>charlet2013-01-023-5/+59
| | | | | | | | | | | | | | | * par_sco.adb: Generate X SCOs for default expressions in subprogram body stubs. Do not generate any SCO for package, task, or protected body stubs. 2013-01-02 Ed Schonberg <schonberg@adacore.com> * sem_ch3.adb: Further improvement to ASIS mode for anonymous access to protected subprograms. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194796 138bc75d-0d04-0410-961f-82ee72b054a4
* 2013-01-02 Robert Dewar <dewar@adacore.com>charlet2013-01-023-2/+11
| | | | | | | | * par_sco.adb, vms_data.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@194795 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud