summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2516-51/+493
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads, einfo.adb (Has_Shift_Operator): New flag. * gnat_rm.texi: Document pragma Provide_Shift_Operators. * interfac.ads: Minor code reorganization (add pragma Compiler_Unit_Warning). * par-prag.adb: Add dummy entry for Provide_Shift_Operators. * sem_ch3.adb (Build_Derived_Numeric_Type): Copy Has_Shift_Operator flag. * sem_intr.adb (Check_Intrinsic_Subprogram): Make sure Check_Shift is always called (Check_Shift): Set Has_Shift_Operator. * sem_prag.adb: Implement pragma Provide_Shift_Operators. * snames.ads-tmpl: Add entries for pragma Provide_Shift_Operators Add entry for Name_Amount. * checks.adb (Selected_Range_Checks): When checking for a null range, make sure we use the base type, and not the subtype for deciding a range is null. * sem_ch5.adb (Analyze_Loop_Parameter_Specification): Check for suspicious loop bound which is outside the range of the loop subtype. * gnat_ugn.texi: Add documentation section "Determining the Chosen Elaboration Order" * sem_ch13.adb (UC_Entry): Add field Act_Unit (Validate_Unchecked_Conversion): Store Act_Unit (Validate_Unchecked_Conversions): Test Warnings_Off in Act_Unit * treepr.adb: Minor reformatting. 2014-02-25 Arnaud Charlet <charlet@adacore.com> * usage.adb: Minor: fix typo. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208138 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2565-133/+158
| | | | | | | | | | | | | | | | | | | | | | | | | | | * lib.ads, s-bitops.adb, s-bitops.ads, s-conca5.adb, gnat_rm.texi, s-conca5.ads, s-conca7.adb, s-conca7.ads, s-crc32.adb, s-crc32.ads, s-conca9.adb, s-conca9.ads, g-dyntab.adb, s-crtl.ads, g-dyntab.ads, s-excdeb.adb, s-addope.adb, s-addope.ads, s-carun8.adb, s-carun8.ads, g-htable.adb, g-htable.ads, g-hesora.adb, g-hesora.ads, s-conca2.adb, s-conca2.ads, a-comlin.adb, a-chlat1.ads, a-comlin.ads, errout.ads, a-except.adb, s-conca4.adb, a-except.ads, s-conca4.ads, s-conca6.adb, s-conca6.ads, g-spchge.adb, g-spchge.ads, g-u3spch.adb, g-u3spch.ads, a-strhas.ads, restrict.adb, aspects.adb, aspects.ads, s-conca8.adb, s-conca8.ads, back_end.adb, par-prag.adb, g-byorma.adb, g-byorma.ads, a-elchha.adb, a-elchha.ads, g-speche.adb, g-speche.ads, s-casuti.adb, s-assert.adb, s-casuti.ads, s-assert.ads, a-clrefi.adb, a-clrefi.ads, s-conca3.adb, s-conca3.ads, a-ioexce.ads: Implement pragma Compiler_Unit_Warning, change Compiler_Unit everywhere to Compiler_Unit_Warning. 2014-02-25 Sergey Rybin <rybin@adacore.com frybin> * sem_prag.adb (Analyze_Depends_In_Decl_Part): Do not normalize in ASIS mode aggregates that are used as aspect definitions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208137 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-2576-153/+238
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch7.adb, sem_util.adb, sem_util.ads, exp_ch6.adb: Minor reformatting. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * freeze.adb (Freeze_Entity): If the return type of a function is a limited view, and the non-limited view has not been seen yet, defer freezing to some later point. 2014-02-25 Robert Dewar <dewar@adacore.com> * sem_ch3.adb: Minor reformatting. 2014-02-25 Robert Dewar <dewar@adacore.com> * s-excdeb.ads, s-except.ads, s-exctab.adb, s-exctab.ads, s-finmas.ads, s-htable.adb, s-htable.ads, s-imenne.adb, s-imenne.ads, s-imgenu.adb, s-imgenu.ads, s-mastop.adb, s-mastop.ads, s-memory-vms_64.adb, s-memory-vms_64.ads, s-memory.adb, s-memory.ads, s-os_lib.adb, s-os_lib.ads, s-parame.adb, s-parame.ads, s-purexc.ads, s-restri.adb, s-restri.ads, s-rident.ads, s-secsta.adb, s-secsta.ads, s-soflin.adb, s-soflin.ads, s-sopco3.adb, s-sopco3.ads, s-sopco4.adb, s-sopco4.ads, s-sopco5.adb, s-sopco5.ads, s-spsufi.ads, s-stache.adb, s-stache.ads, s-stalib.adb, s-stalib.ads, s-stoele.adb, s-stoele.ads, s-strcom.adb, s-strcom.ads, s-strhas.adb, s-string.adb, s-string.ads, s-strops.adb, s-strops.ads, s-ststop.adb, s-ststop.ads, s-traceb.adb, s-traceb.ads, s-traent.adb, s-traent.ads, s-unstyp.ads, s-utf_32.adb, s-utf_32.ads, s-wchcnv.adb, s-wchcnv.ads, s-wchcon.adb, s-wchcon.ads, s-wchjis.adb, s-wchjis.ads, sem_ch11.adb, sem_ch4.adb, sem_ch5.adb, sem_prag.adb, snames.ads-tmpl: Change Compiler_Unit everywhere to Compiler_Unit_Warning. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208135 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-256-170/+323
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * exp_ch6.adb (Add_Or_Save_Precondition): New routine. (Collect_Body_Postconditions_In_Decls): New routine. (Collect_Body_Postconditions_Of_Kind): Factor out code. Handle postcondition aspects or pragmas that appear on a subprogram body stub. (Collect_Spec_Preconditions): Factor out code. Handle precondition aspects or pragmas that appear on a subprogram body stub. * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The analysis of aspects that apply to a subprogram body stub is no longer delayed, the aspects are analyzed on the spot. (SPARK_Aspect_Error): Aspects that apply to a subprogram declaration cannot appear in a subunit. * sem_ch10.adb Remove with and use clause for Sem_Ch13. (Analyze_Proper_Body): Add local variable Comp_Unit. Unum is now a local variable. Code cleanup. Analysis related to the aspects of a subprogram body stub is now carried out by Analyze_Subprogram_Body_Helper. Do not propagate the aspects and/or pragmas of a subprogram body stub to the proper body as this is no longer needed. Do not analyze the aspects of a subprogram stub when the corresponding source unit is missing. (Analyze_Protected_Body_Stub): Flag the illegal use of aspects on a stub. (Analyze_Task_Body_Stub): Flag the illegal use of aspects on a stub. (Optional_Subunit): Add local variable Unum. * sem_ch13.adb (Insert_Delayed_Pragma): Do not analyze a generated pragma when it applies to a subprogram body stub. * sem_prag.adb (Analyze_Pragma): Pragmas Contract_Cases, Depends and Global can now apply to a subprogram body stub as long as it acts as its own spec. (Analyze_Refined_Pragma): Code reformatting. Refinement pragmas cannot apply to a subunit. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208134 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-258-29/+233
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * einfo.ads Update the usage of flag Uses_Sec_Stack. Uses_Sec_Stack now applies to E_Loop entities. * exp_ch5.adb (Expand_Iterator_Loop): The temporary for a cursor now starts with the letter 'C'. This makes reading expanded code easier. * exp_ch7.adb (Establish_Transient_Scope): Add local variable Iter_Loop. Signal that an Ada 2012 iterator loop requires secondary stack management when creating a transient scope for an element reference. * exp_util.adb (Process_Statements_For_Controlled_Objects): When wrapping the statements of a loop, pass the E_Loop entity to the wrapping machinery. (Wrap_Statements_In_Block): Add formal parameter Scop along with comment on usage. Add local variables Block_Id, Block_Nod and Iter_Loop. Mark the generated block as requiring secondary stack management when the block is created inside an Ada 2012 iterator loop. This ensures that any reference objects are reclaimed on each iteration of the loop. * sem_ch5.adb (Analyze_Loop_Statement): Mark the generated block tasked with the handling of container iterators as requiring secondary stack management. This ensures that iterators are reclaimed when the loop terminates or is exited in any fashion. * sem_util.adb (Add_Block_Identifier): New routine. (Find_Enclosing_Iterator_Loop): New routine. * sem_util.ads (Add_Block_Identifier): New routine. (Find_Enclosing_Iterator_Loop): New routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208133 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-258-62/+86
| | | | | | | | | | | | | | | | * sinfo.ads: Minor reformatting. 2014-02-25 Tristan Gingold <gingold@adacore.com> * s-expllu.ads, s-expuns.ads, s-expmod.ads: Minor comment fix. 2014-02-25 Pascal Obry <obry@adacore.com> * sinput-l.adb, osint.adb, osint.ads: Add Prep_Suffix to factorize code. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208132 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Tristan Gingold <gingold@adacore.com>charlet2014-02-254-43/+105
| | | | | | | | | | | | | | | | | | | | * sem_ch10.adb: Minor comment fix. 2014-02-25 Bob Duff <duff@adacore.com> * s-tasdeb.adb: Misc cleanup of this package, including printing addresses in hexadecimal. (Write): Fix minor bug when taking 'Address of an empty string. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Part_Of): Reject state refinement in a public child unit when it does not refer to the abstract state of a public ancestor. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208131 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-255-45/+75
| | | | | | | | | | | | | | * sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma Validity_Checks in GNATprove and CodePeer modes. 2014-02-25 Pascal Obry <obry@adacore.com> * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's Artifacts attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208130 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-254-5/+22
| | | | | | | | | | | | | | * sem_prag.adb: Minor reformatting to get consistent messages. 2014-02-25 Robert Dewar <dewar@adacore.com> * checks.adb: Minor reformatting. * sinfo.ads (Do_Range_Check): Document that this flag is never passed to the back end. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208129 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-259-272/+274
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch3.adb, sem_ch5.adb, sem_ch9.adb, sem_prag.adb, sem_attr.adb, sem_ch6.adb: Remove useless references to SPARK RM in error messages. 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> * sem_res.adb (Appears_In_Check): New routine. (Resolve_Entity_Name): Remove local variables Prev and Usage_OK. Par is now a constant. Remove the parent chain traversal as the placement of a volatile object with enabled property Async_Writers and/or Effective_Reads must appear immediately within a legal construct. 2014-02-25 Hristian Kirtchev <kirtchev@adacore.com> * checks.adb (Apply_Selected_Range_Checks): Alphabetize local constants and variables. Add comments. Always insert a range check that requires runtime evaluation into the tree. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208128 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Robert Dewar <dewar@adacore.com>charlet2014-02-257-19/+97
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_attr.adb, sem_ch6.adb, par-ch3.adb: Minor reformatting. 2014-02-25 Bob Duff <duff@adacore.com> * s-tassta.adb (Finalize_Global_Tasks): Limit the number of loop iterations while waiting for independent tasks to terminate; if an independent task does not terminate, we do not want to hang here. In that case, the thread will be terminated when the process exits. * s-taprop-linux.adb (Abort_Task): Fix Assert to allow for ESRCH. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Check_SPARK_Aspect_For_ASIS): New subprogram, used to perform pre-analysis of the expression for SPARK aspects that have a non-standard syntax, such as GLobal and Initializes. The procedure applies to the original expression in an aspect specification, prior to the analysis of the corresponding pragma, in order to provide semantic information for ASIS navigation purposes. (Analyze_Global_In_Decl_List, Analyze_Initializes_In_Decl_Part): Call new subprogram. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208127 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-255-3/+33
| | | | | | | | | | | | | | | | | | | | | | | | | * sem_prag.adb: Remove obsolete reference to SPARK RM in error message. 2014-02-25 Doug Rupp <rupp@adacore.com> * init.c (HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE): Enable for ARM. (__gnat_adjust_context_for_raise): Bump the PC by 2. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * par-ch3.adb (P_Basic_Declarative_Items): In the case of a misplaced IS, add a statement sequence to improper body only if one has not been parsed already. 2014-02-25 Ed Schonberg <schonberg@adacore.com> * sem_attr.adb (Analyze_Attribute, case 'Update): Check for mismatch when multidimensional array is updated with a single index. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208126 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Yannick Moy <moy@adacore.com>charlet2014-02-257-66/+84
| | | | | | | | | | * sem_ch3.adb, sem_ch5.adb, sem_prag.adb, sem_attr.adb, errout.ads, sem_ch6.adb: Mark most references to SPARK RM in error messages for removal. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208125 138bc75d-0d04-0410-961f-82ee72b054a4
* Correct ChangeLog entrywschmidt2014-02-251-3/+2
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208124 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Bill Schmidt <wschmidt@linux.vnet.ibm.com>wschmidt2014-02-252-2/+8
| | | | | | | | | | * config/rs6000/vector.md (*vector_ordered<mode>): Change split to use canonical form for nor<mode>3. (*vector_unordered<mode>): Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208122 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/testsuite:wschmidt2014-02-257-12/+47
| | | | | | | | | | | | | | | 2014-02-25 Bill Schmidt <wschmidt@linux.vnet.ibm.com> * gcc.dg/vmx/ld-vsx.c: Don't use vec_all_eq. * gcc.dg/vmx/ld-vsx-be-order.c: Likewise. * gcc.dg/vmx/ldl-vsx.c: Likewise. * gcc.dg/vmx/ldl-vsx-be-order.c: Likewise. * gcc.dg/vmx/merge-vsx.c: Likewise. * gcc.dg/vmx/merge-vsx-be-order.c: Likewise. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208120 138bc75d-0d04-0410-961f-82ee72b054a4
* PR target/55426ktkachov2014-02-252-5/+15
| | | | | | | | * config/arm/arm.h (CANNOT_CHANGE_MODE_CLASS): Allow 128 to 64-bit conversions. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208116 138bc75d-0d04-0410-961f-82ee72b054a4
* gcc/kyukhin2014-02-2521-23/+111
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * common/config/i386/i386-common.c (OPTION_MASK_ISA_PREFETCHWT1_SET), (OPTION_MASK_ISA_PREFETCHWT1_UNSET): New. (ix86_handle_option): Handle OPT_mprefetchwt1. * config/i386/cpuid.h (bit_PREFETCHWT1): New. * config/i386/driver-i386.c (host_detect_local_cpu): Detect PREFETCHWT1 CPUID. * config/i386/i386-c.c (ix86_target_macros_internal): Handle OPTION_MASK_ISA_PREFETCHWT1. * config/i386/i386.c (ix86_target_string): Handle mprefetchwt1. (PTA_PREFETCHWT1): New. (ix86_option_override_internal): Handle PTA_PREFETCHWT1. (ix86_valid_target_attribute_inner_p): Handle OPT_mprefetchwt1. * config/i386/i386.h (TARGET_PREFETCHWT1), (TARGET_PREFETCHWT1_P): New. * config/i386/i386.md (prefetch): Check TARGET_PREFETCHWT1 (*prefetch_avx512pf_<mode>_: Change into ... (*prefetch_prefetchwt1_<mode>: This. * config/i386/i386.opt (mprefetchwt1): New. * config/i386/xmmintrin.h (_mm_hint): Add _MM_HINT_ET1. (_mm_prefetch): Handle intent to write. * doc/invoke.texi (mprefetchwt1), (mno-prefetchwt1): Doccument. gcc/testsuite/ * gcc.target/i386/avx-1.c: Update __builtin_prefetch. * gcc.target/i386/prefetchwt1-1.c: New. * g++.dg/other/i386-2.C: Add new option. * g++.dg/other/i386-3.C: Ditto. * gcc.target/i386/sse-12.c: Ditto. * gcc.target/i386/sse-13.c: Update __builtin_prefetch, add new option. * gcc.target/i386/sse-22.c: Add new option. * gcc.target/i386/sse-23.c: Update __builtin_prefetch, add new option. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208115 138bc75d-0d04-0410-961f-82ee72b054a4
* Skip gfortran.dg/erf_3.F90 and gfortran.dg/round_4.f90 on Solaris 9 (PR ↵ro2014-02-253-0/+10
| | | | | | | | | | | | libfortran/59313, libfortran/58015) PR libfortran/59313 * gfortran.dg/erf_3.F90: Skip on sparc*-*-solaris2.9*. PR libfortran/58015 * gfortran.dg/round_4.f90: Skip on *-*-solaris2.9*. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208114 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Richard Biener <rguenther@suse.de>rguenth2014-02-252-40/+14
| | | | | | | | | | | | | PR middle-end/60291 * emit-rtl.c (mem_attrs_htab): Remove. (mem_attrs_htab_hash): Likewise. (mem_attrs_htab_eq): Likewise. (set_mem_attrs): Always allocate new mem-attrs when something changed. (init_emit_once): Do not allocate mem_attrs_htab. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208113 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-25 Richard Biener <rguenther@suse.de>rguenth2014-02-253-1/+40
| | | | | | | | | | | PR lto/60319 * lto-opts.c (lto_write_options): Output non-explicit conservative -fwrapv, -fno-trapv and -fno-strict-overflow. * lto-wrapper.c (merge_and_complain): Handle merging those options. (run_gcc): And pass them through. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208112 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix PR c++/60311.abutcher2014-02-254-2/+27
| | | | | | | | | | | | | | PR c++/60311 * parser.c (function_being_declared_is_template_p): Return false when processing a template parameter list. (cp_parser_parameter_declaration_clause): Don't set auto_is_implicit_function_template_parm_p when processing a template parameter list. PR c++/60311 * g++.dg/cpp1y/pr60311.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208111 138bc75d-0d04-0410-961f-82ee72b054a4
* * sel-sched.c (calculate_new_fences): New parameter ptime.abel2014-02-252-9/+23
| | | | | | | | | | Calculate it as a maximum over all fence cycles. (sel_sched_region_2): Adjust the call to calculate_new_fences. Print the final schedule timing when sched_verbose. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208110 138bc75d-0d04-0410-961f-82ee72b054a4
* PR rtl-optimization/60292abel2014-02-252-1/+8
| | | | | | | | * sel-sched.c (fill_vec_av_set): Do not reset target availability bit fot the fence instruction. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208109 138bc75d-0d04-0410-961f-82ee72b054a4
* * calls.h: Fix typo in comment.law2014-02-252-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208108 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix out-of-line definition of class template generic member functions.abutcher2014-02-254-1/+43
| | | | | | | | | | * parser.c (synthesize_implicit_template_parm): Inject new template argument list appropriately when a generic member function of a class template is declared out-of-line. * g++.dg/cpp1y/fn-generic-member-ool.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208107 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix PR c++/60065.abutcher2014-02-254-13/+46
| | | | | | | | | | | | | | | | | PR c++/60065 * parser.c (cp_parser_direct_declarator): Don't save and restore num_template_parameter_lists around call to cp_parser_parameter_declaration_list. (function_being_declared_is_template_p): New predicate. (cp_parser_parameter_declaration_list): Use function_being_declared_is_template_p as predicate for inspecting current function template parameter list length rather than num_template_parameter_lists. PR c++/60065 * g++.dg/cpp1y/pr60065.C: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208106 138bc75d-0d04-0410-961f-82ee72b054a4
* * config/pa/pa.c (pa_output_move_double): Don't valididate whendanglin2014-02-252-2/+7
| | | | | | | | adjusting offsetable addresses. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208101 138bc75d-0d04-0410-961f-82ee72b054a4
* Daily bump.gccadmin2014-02-251-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208100 138bc75d-0d04-0410-961f-82ee72b054a4
* PR lto/60295hubicka2014-02-242-1/+8
| | | | | | | | | * lto.c (stream_out): Avoid parallel streaming with -flto=jobserver until we are able to throttle it down resonably. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208097 138bc75d-0d04-0410-961f-82ee72b054a4
* PR c++/60146jason2014-02-243-14/+52
| | | | | | | * pt.c (tsubst_omp_for_iterator): Don't let substitution of the DECL_EXPR initialize a non-class iterator. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208094 138bc75d-0d04-0410-961f-82ee72b054a4
* PR c++/60312jason2014-02-243-0/+26
| | | | | | * parser.c (cp_parser_template_type_arg): Check for invalid 'auto'. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208092 138bc75d-0d04-0410-961f-82ee72b054a4
* * sparseset.h (sparseset_pop): Fix the wrong index.carrot2014-02-242-1/+5
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208091 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-244-1/+26
| | | | | | | | | | | | | | | | | | | | | | * s-os_lib.ads: Update comment. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): Use sloc of original defining identifiers in parameter specifications for body. They may differ from parameter specification itself if a list of identifiers appears in the tree and is expanded by parser. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * par-ch3.adb (P_Basic_Declarative_Items): If an improper body appears in a list of basic declarations, complete the tree with an empty statement list, to prevent cascaded errors and crashes if semantic analysis is attempted. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208090 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-245-12/+39
| | | | | | | | | | | | | | | | | | | | * g-sercom-mingw.adb (Open): Fix incorrect test for error return value. * erroutc.adb: Minor reformatting. 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com> * sem_prag.adb (Check_Clause_Syntax): Account for a solitary input item in a dependency list. 2014-02-24 Yannick Moy <moy@adacore.com> * gnat1drv.adb (Adjust_Global_Switches): Do not use validity checks at all in GNATprove_Mode. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208089 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Robert Dewar <dewar@adacore.com>charlet2014-02-247-30/+42
| | | | | | | | | * g-sercom-mingw.adb, g-sercom-linux.adb, sem_prag.adb, freeze.adb, atree.adb, atree.ads: Minor reformatting. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208088 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-245-94/+607
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_ch6.adb (Analyze_Subprogram_Body_Contract): Do not enforce global and dependence refinement when SPARK_Mode is off. * sem_ch7.adb (Analyze_Package_Body_Contract): Do not enforce state refinement when SPARK_Mode is off. * sem_ch13.adb (Analyze_Aspect_Specifications): Add local variable Decl. Insert the generated pragma for Refined_State after a potential pragma SPARK_Mode. * sem_prag.adb (Analyze_Depends_In_Decl_Part): Add local constant Deps. Remove local variable Expr. Check the syntax of pragma Depends when SPARK_Mode is off. Factor out the processing for extra parenthesis around individual clauses. (Analyze_Global_In_Decl_List): Items is now a constant. Check the syntax of pragma Global when SPARK_Mode is off. (Analyze_Initializes_In_Decl_Part): Check the syntax of pragma Initializes when SPARK_Mode is off. (Analyze_Part_Of): Check the syntax of the encapsulating state when SPARK_Mode is off. (Analyze_Pragma): Check the syntax of pragma Abstract_State when SPARK_Mode is off. Move the declaration order check with respect to pragma Initializes to the end of the processing. Do not verify the declaration order for pragma Initial_Condition when SPARK_Mode is off. Do not complain about a useless package refinement when SPARK_Mode is off. (Analyze_Refined_Depends_In_Decl_Part): Refs is now a constant. Check the syntax of pragma Refined_Depends when SPARK_Mode is off. (Analyze_Refined_Global_In_Decl_Part): Check the syntax of pragma Refined_Global when SPARK_Mode is off. (Analyze_Refined_State_In_Decl_Part): Check the syntax of pragma Refined_State when SPARK_Mode is off. (Check_Dependence_List_Syntax): New routine. (Check_Global_List_Syntax): New routine. (Check_Initialization_List_Syntax): New routine. (Check_Item_Syntax): New routine. (Check_State_Declaration_Syntax): New routine. (Check_Refinement_List_Syntax): New routine. (Has_Extra_Parentheses): Moved to the top level of Sem_Prag. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208087 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Robert Dewar <dewar@adacore.com>charlet2014-02-2410-110/+117
| | | | | | | | | | | | | | | | | | | | | | | | | | | | * a-tags.adb, s-os_lib.adb: Minor reformatting. 2014-02-24 Thomas Quinot <quinot@adacore.com> * g-sercom-mingw.adb, g-sercom-linux.adb (Raise_Error): Include strerror message, not just numeric errno value. 2014-02-24 Doug Rupp <rupp@adacore.com> * raise-gcc.c (exception_class_eq): Make endian neutral. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * atree.ads, atree,adb (Copy_Separate_Tree): Remove Syntax_Only flag, and reset Etype and Analyzed attributes unconditionally when copying a tree that may be partly analyzed. * freeze.adb: Change calls to Copy_Separate_Tree accordingly. * sem_ch6.adb (Check_Inline_Pragma): If the Inline pragma appears within a subprogram body and applies to it, remove it from the body before making a copy of it, to prevent spurious errors when analyzing the copied body. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208086 138bc75d-0d04-0410-961f-82ee72b054a4
* Fix header.charlet2014-02-241-1/+1
| | | | git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208085 138bc75d-0d04-0410-961f-82ee72b054a4
* * gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Updatecharlet2014-02-241-2/+0
| | | | | | | deps. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208084 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-2410-581/+377
| | | | | | | | | | | | | | | | | | | | | | | | | | | * s-os_lib.adb (Errno_Message): Do not depend on Integer'Image. * s-oscons-tmplt.c: On VxWorks, include adaint.h only after vxWorks.h has been included. Also ensure that file attributes related definitions are output even in cases where socket support is not enabled. * a-tags.adb: Code clean up. * Make-generated.in (OSCONS_CPP, OSCONS_EXTRACT): Use -iquote instead of -I to add the main ada source directory to the header search path, in order to avoid conflict between our own "types.h" and VxWork's <types.h>. 2014-02-24 Robert Dewar <dewar@adacore.com> * atree.ads, atree.adb (Copy_Separate_Tree): Add Syntax_Only parameter. * debug.adb: Remove documentation of -gnatd.X, no longer used. * freeze.adb (Wrap_Imported_Subprogram): Fixed and activated. 2014-02-24 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Improve documentation of gnatpp. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208083 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-2412-96/+74
| | | | | | | | | | | | | * g-stheme.adb, g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, g-socthi-vxworks.ads, g-stseme.adb, g-socthi-mingw.adb, g-socthi-mingw.ads, g-socthi.adb, g-socthi.ads, g-socket.adb (Host_Error_Message): Return a string, not a chars_ptr, because on Windows this is a renaming of Socket_Error_Message. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208082 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Robert Dewar <dewar@adacore.com>charlet2014-02-2414-128/+163
| | | | | | | | | | | | | | | | | * a-direct.adb, sem_ch5.adb, a-cfdlli.adb, a-cfhase.adb, a-tags.adb, s-filatt.ads, a-cforma.adb, sem_ch6.adb, g-socthi-mingw.adb, a-cfhama.adb, a-cforse.adb, a-cofove.adb: Minor reformatting and code reorganization. 2014-02-24 Thomas Quinot <quinot@adacore.com> * Make-generated.in (OSCONS_CPP, OSCONS_EXTRACT): Make sure that the source directory containing s-oscons-tmplt.c is on the include path, so that all internal header files are available. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208081 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Ed Schonberg <schonberg@adacore.com>charlet2014-02-242-2/+17
| | | | | | | | | | * sem_ch5.adb (Analyze_Loop_Parameter_Specification): If the domain of iteration is an attribute reference 'Old, this is an Ada 2012 iterator and the loop must be rewritten as such. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208080 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Thomas Quinot <quinot@adacore.com>charlet2014-02-2420-257/+160
| | | | | | | | | | | | | | | | | | | | | | | | * s-fileio.adb (Errno_Message): Remove, use shared version from s-os_lib instead. * s-crtrun.ads, Makefile.rtl: Remove now unused unit. * g-stseme (Socket_Error_Message): Reimplement in terms of new s-os_lib function. * g-socthi.ads, g-socthi.adb: Change profile of Socket_Error_Message to return String to allow the above. * g-socket.adb, g-socthi-mingw.adb, g-socthi-mingw.ads, * g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb, * g-socthi-vxworks.ads: Update to account for the above profile change. * a-tags.adb: Use strlen builtin binding provided by s-crtl. * s-crtl.ads (strncpy): New procedure. * s-os_lib.adb (Copy_Attributes): Import just once (strncpy): Use import from s-crtl. * a-envvar.adb, osint.adb: Use imports of C runtime functions from s-crtl instead of re-importing locally. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208079 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-2430-534/+829
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Global_Item): Emit the variable related checks concerning volatile objects only when SPARK_Mode is on. 2014-02-24 Robert Dewar <dewar@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): use Error_Msg_Ada_2012_Feature. 2014-02-24 Jose Ruiz <ruiz@adacore.com> * s-rident.ads (Profile_Info): For Ravenscar, the restrictions No_Local_Timing_Events and No_Specific_Termination_Handlers must be set, according to the Ravenscar profile definition in D.13(6/3). 2014-02-24 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Expression_Function): If this is a completion, freeze return type and its designated type if needed. 2014-02-24 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb (Analyze_Attribute_Definition_Clause, case 'Address): When moving initialization statements to a freeze entity, keep them under a single node (i.e. do not unwrap expressions with actions), and set the Initialization_Statements attribute again so that processing of a later pragma Import can still remove them. 2014-02-24 Claire Dross <dross@adacore.com> * a-cfdlli.adb, a-cfdlli.ads, a-cfhama.adb, a-cfhama.ads, a-cfhase.adb, a-cfhase.ads, a-cforma.adb, a-cforma.ads, a-cforse.adb, a-cforse.ads, a-cofove.adb, a-cofove.ads: Rename Left/Right to First_To_Previous/Current_To_Last. 2014-02-24 Thomas Quinot <quinot@adacore.com> * adaint.h (struct file_attributes): New component "error" (__gnat_error_attributes): Accessor for the above. * adaint.c (__gnat_error_attributes): New subprogram (__gnat_stat): Fix returned value (expect errno value) (__gnat_stat_to_attr): Add management of error component (set to stat errno value, except for missing files where it is set to 0, and exists is set to 0). * osint.ads (File_Attributes_Size): Update per change above, also clarify documentation. * s-filatt.ads: New file, binding to file attributes related functions. * Makefile.rtl (s-filatt): New runtime unit. * s-crtl.ads (strlen): Expose binding to GCC builtin (falls back to library function if not available on target). * s-os_lib.ads, s-os_lib.adb (Errno_Message): New subprogram. * s-oscons-tmplt.c (SIZEOF_struct_file_attributes, SIZEOF_struct_dirent_alloc): New constants. * Make-generated.in (s-oscons.ads): Now requires adaint.h. * a-direct.adb (Fetch_Next_Entry): Fix incorrect buffer sizes. Perform appropriate error checking if stat fails (do not just ignore existing files if stat fails) * gcc-interface/Make-lang.in (GNAT_ADA_OBJS, GNATBIND_OBJS): Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208078 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Hristian Kirtchev <kirtchev@adacore.com>charlet2014-02-243-101/+180
| | | | | | | | | | | | | | | | | | | | * sem_prag.adb (Analyze_Global_Item): Move the check concerning the use of volatile objects as global items in a function to the variable related checks section. * sem_util.adb (Async_Readers_Enabled): Directly call Has_Enabled_Property. (Async_Writers_Enabled): Directly call Has_Enabled_Property. (Effective_Reads_Enabled): Directly call Has_Enabled_Property. (Effective_Writes_Enabled): Directly call Has_Enabled_Property. (Has_Enabled_Property): Rename formal parameter State_Id to Item_Id. Update the comment on usage. State_Has_Enabled_Property how handles the original logic of the routine. Add processing for variables. (State_Has_Enabled_Property): New routine. (Variable_Has_Enabled_Property): New routine. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208077 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Robert Dewar <dewar@adacore.com>charlet2014-02-2417-118/+345
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sinfo.ads, sem_ch12.adb, sem_res.adb, sem_ch4.adb, par-ch12.adb: Minor reformatting. * atree.ads, atree.adb (Node35): New function. (Set_Node35): New procedure. * debug.adb: Define new debug flag -gnatd.X. * einfo.ads, einfo.adb (Import_Pragma): New field. * freeze.adb (Wrap_Imported_Procedure): New procedure (not really active yet, has to be activated with -gnatd.X. * sem_prag.adb (Set_Imported): Set new Import_Pragma field (Set_Imported): Don't set Is_Public (see Freeze.Wrap_Imported_Subprogram) * par-ch3.adb (P_Component_List): Handle unexpected null component. 2014-02-24 Yannick Moy <moy@adacore.com> * sem_ch3.adb: Correct reference to SPARK RM in error messages. * gnat_rm.texi: Correct documentation of attribute Update. 2014-02-24 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb (Analyze_Iterator_Specification): Reject container iterator in older versions of Ada. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208076 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Gary Dismukes <dismukes@adacore.com>charlet2014-02-247-28/+33
| | | | | | | | | * sem_ch5.adb, sem_aux.ads, sem_ch12.adb, gnat_ugn.texi, par.adb, par-ch12.adb: Change spelling 'parametrization' to 'parameterization'. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208075 138bc75d-0d04-0410-961f-82ee72b054a4
* 2014-02-24 Ed Schonberg <schonberg@adacore.com>charlet2014-02-245-22/+185
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * sinfo.ads, sinfo.adb: New attribute Generalized_Indexing, for indexed_components that are instances of Ada 2012 container indexing operations. Analysis and resolution of such nodes is performed on the attribute, and the original source is preserved for ASIS operations. If expansion is enabled, the indexed component is replaced by the value of this attribute, which is in a call to an Indexing aspect, in most case wrapped in a dereference operation. * sem_ch4.adb (Analyze_Indexed_Component): Create Generalized_Indexing attribute when appropriate. (Analyze_Call): If prefix is not overloadable and has an indexing aspect, transform into an indexed component so it can be analyzed as a potential container indexing. (Analyze_Expression): If node is an indexed component with a Generalized_ Indexing, do not re-analyze. * sem_res.adb (Resolve_Generalized_Indexing): Complete resolution of an indexed_component that has been transformed into a container indexing operation. (Resolve_Indexed_Component): Call the above when required. (Resolve): Do not insert an explicit dereference operation on an indexed_component whose type has an implicit dereference: the operation is inserted when resolving the related Generalized_Indexing. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208074 138bc75d-0d04-0410-961f-82ee72b054a4
OpenPOWER on IntegriCloud