aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2011-09-07re PR tree-optimization/50213 (Regression in space-optimized code relative ↵Richard Guenther4-15/+29
to 4.5.x) 2011-09-07 Richard Guenther <rguenther@suse.de> PR tree-optimization/50213 * tree-flow.h (simple_iv_increment_p): Declare. * tree-ssa-dom.c (simple_iv_increment_p): Export. Also handle POINTER_PLUS_EXPR. * tree-ssa-forwprop.c (ssa_forward_propagate_and_combine): Do not propagate simple IV counter increments. From-SVN: r178633
2011-09-07restore powerpc-darwin Ada boostrap.Iain Sandoe5-3/+172
gcc: * config/rs6000/rs6000.c (compute_save_world_info): Test cfun->has_nonlocal_label to determine if the out-of-line save world call may be used. ada: * gcc-interface/Makefile.in (darwin): Provide powerpc64 system implementation. * system-darwin-ppc64.ads: New file. From-SVN: r178630
2011-09-07re PR tree-optimization/46021 (3 tree-ssa tests XPASS almost everywhere)Jiangning Liu2-1/+6
2011-09-07 Jiangning Liu <jiangning.liu@arm.com> PR tree-optimization/46021 * gcc.dg/tree-ssa/20040204-1.c: Don't XFAIL on arm*-*-*. From-SVN: r178628
2011-09-07mn10300.c (mn10300_insert_setlb_lcc): Set the jump label on the parallel ↵Nick Clifton2-0/+6
part of the insn. * config/mn10300/mn10300.c (mn10300_insert_setlb_lcc): Set the jump label on the parallel part of the insn. From-SVN: r178626
2011-09-07re PR rtl-optimization/50191 (Strange debug insn produced for TOC compiling ↵Jakub Jelinek2-7/+17
416.gamess with profile-generate) PR debug/50191 * dwarf2out.c (mem_loc_descriptor) <case MEM>: Try avoid_constant_pool_reference first instead of last. From-SVN: r178625
2011-09-07Daily bump.GCC Administrator1-1/+1
From-SVN: r178623
2011-09-07tuple (_Tuple_impl::_M_head, _M_tail): Mark constexpr.Benjamin Kosnik8-42/+148
2011-09-06 Benjamin Kosnik <bkoz@redhat.com> * include/std/tuple (_Tuple_impl::_M_head, _M_tail): Mark constexpr. (tuple(tuple&&)): Same. (tuple(const tuple<_UElements...>& __in)): Same. (tuple(tuple<_UElements...>&& __in)): Same. (tuple_cat(const tuple<_TElements...>&, const tuple<_UElements...>&)): Same. (get): Same. * include/std/array: Consolidate array::data usage. * testsuite/23_containers/array/requirements/constexpr_functions.cc: Remove extra include. * testsuite/20_util/tuple/creation_functions/constexpr.cc: New. * testsuite/20_util/tuple/cons/constexpr-2.cc: Add tests. * testsuite/20_util/tuple/cons/constexpr-3.cc: Same. * testsuite/20_util/weak_ptr/comparison/cmp_neg.cc: Adjust line numbers. From-SVN: r178620
2011-09-06Update documentation about tm_p.hMichael Meissner2-2/+15
From-SVN: r178618
2011-09-06hashtable_policy.h (_Prime_rehash_policy:: _M_next_bkt): Cast ↵François Dumont2-23/+21
_M_max_load_factor to long double. 2011-09-06 François Dumont <fdumont@gcc.gnu.org> Paolo Carlini <paolo.carlini@oracle.com> * include/bits/hashtable_policy.h (_Prime_rehash_policy:: _M_next_bkt): Cast _M_max_load_factor to long double. (_Prime_rehash_policy::_M_bkt_for_elements): Use _M_next_bkt. (_Prime_rehash_policy::_M_need_rehash): Likewise; cast all float quantities to long double. Co-Authored-By: Paolo Carlini <paolo.carlini@oracle.com> From-SVN: r178615
2011-09-06Fix altivec-17.C to match current compiler error messageMichael Meissner2-1/+5
From-SVN: r178614
2011-09-06Fix typoEric Botcazou1-1/+1
From-SVN: r178612
2011-09-06re PR middle-end/50266 (ICE in decode_addr_const)Eric Botcazou4-1/+46
PR middle-end/50266 * c-common.c (c_fully_fold_internal) <ADDR_EXPR>: Fold offsetof-like computations. From-SVN: r178611
2011-09-06i386.c (ix86_function_value_regno_p): Use AX_REG.Uros Bizjak4-17/+29
2011-09-06 Uros Bizjak <ubizjak@gmail.com> * config/i386/i386.c (ix86_function_value_regno_p): Use AX_REG. (function_value_32): Do not check TARGET_MMX, TARGET_SSE or TARGET_AVX. testsuite/ChangeLog: 2011-09-06 Uros Bizjak <ubizjak@gmail.com> * gcc.target/i386/builtin-apply-mmx.c: Require ia32 effective target. From-SVN: r178610
2011-09-06* config/darwin10.h Remove duplicate LIB_SPEC.Iain Sandoe2-3/+4
From-SVN: r178609
2011-09-06Makefile.in (gnatlib-shared-darwin): Remove reference to "-lm".Iain Sandoe2-1/+6
* gcc-interface/Makefile.in (gnatlib-shared-darwin): Remove reference to "-lm". From-SVN: r178608
2011-09-06Makefile.in (darwin, SO_OPTS): Provide architecture size switches to the ↵Iain Sandoe2-1/+8
link phase for shared libs. * gcc-interface/Makefile.in (darwin, SO_OPTS): Provide architecture size switches to the link phase for shared libs. From-SVN: r178606
2011-09-06Makefile.in (x86_64 darwin arch): Adjust LIBGNAT_TARGET_PAIRS for x86 and ↵Iain Sandoe2-5/+11
x86_64 variants. * gcc-interface/Makefile.in (x86_64 darwin arch): Adjust LIBGNAT_TARGET_PAIRS for x86 and x86_64 variants. From-SVN: r178605
2011-09-06re PR c++/50296 (New C++ test failures)Jason Merrill6-34/+27
PR c++/50296 * semantics.c (register_constexpr_fundef): Call is_valid_constexpr_fn. (cx_check_missing_mem_inits): Handle bases and empty trivial members. (validate_constexpr_fundecl): Remove. * decl.c (start_preparsed_function): Don't call it. * cp-tree.h: Don't declare it. From-SVN: r178604
2011-09-06PR middle-end/44382: Tree reassociation improvementEnkovich Ilya15-49/+425
gcc/ 2011-09-06 Enkovich Ilya <ilya.enkovich@intel.com> PR middle-end/44382 * target.def (reassociation_width): New hook. * doc/tm.texi.in (reassociation_width): Likewise. * doc/tm.texi (reassociation_width): Likewise. * doc/invoke.texi (tree-reassoc-width): New param documented. * hooks.h (hook_int_uint_mode_1): New default hook. * hooks.c (hook_int_uint_mode_1): Likewise. * config/i386/i386.h (ix86_tune_indices): Add X86_TUNE_REASSOC_INT_TO_PARALLEL and X86_TUNE_REASSOC_FP_TO_PARALLEL. (TARGET_REASSOC_INT_TO_PARALLEL): New. (TARGET_REASSOC_FP_TO_PARALLEL): Likewise. * config/i386/i386.c (initial_ix86_tune_features): Add X86_TUNE_REASSOC_INT_TO_PARALLEL and X86_TUNE_REASSOC_FP_TO_PARALLEL. (ix86_reassociation_width) implementation of new hook for i386 target. * params.def (PARAM_TREE_REASSOC_WIDTH): New param added. * tree-ssa-reassoc.c (get_required_cycles): New function. (get_reassociation_width): Likewise. (swap_ops_for_binary_stmt): Likewise. (rewrite_expr_tree_parallel): Likewise. (rewrite_expr_tree): Refactored. Part of code moved into swap_ops_for_binary_stmt. (reassociate_bb): Now checks reassociation width to be used and call rewrite_expr_tree_parallel instead of rewrite_expr_tree if needed. gcc/testsuite/ 2011-09-06 Enkovich Ilya <ilya.enkovich@intel.com> * gcc.dg/tree-ssa/pr38533.c (dg-options): Added option --param tree-reassoc-width=1. * gcc.dg/tree-ssa/reassoc-24.c: New test. * gcc.dg/tree-ssa/reassoc-25.c: Likewise. From-SVN: r178602
2011-09-06re PR target/47025 (Dead stores in variadic functions not eliminated)Richard Guenther4-16/+51
2011-09-06 Richard Guenther <rguenther@suse.de> PR tree-optimization/47025 * tree-ssa-alias.c (ref_maybe_used_by_call_p_1): BUILT_IN_VA_END uses nothing. (call_may_clobber_ref_p_1): BUILT_IN_VA_END is a barrier like BUILT_IN_FREE. (stmt_kills_ref_p_1): BUILT_IN_VA_END kills what its argument definitely points to. * tree-ssa-structalias.c (find_func_aliases_for_builtin_call): BUILT_IN_VA_START doesn't let its va_list argument escape. * tree-ssa-dce.c (propagate_necessity): BUILT_IN_VA_END does not make any previous stores necessary. From-SVN: r178601
2011-09-06Makefile.in, [...] (gnattools, [...]): New targets.Arnaud Charlet3-6/+103
* gcc-interface/Makefile.in, gcc-interface/Make-lang.in (gnattools, regnattools, cross-gnattools, canadian-gnattools, gnatlib, gnatlib-sjlj, gnatlib-zcx, gnatlib-shared, gnatlib_and_tools): New targets. (TOOLS_FLAGS_TO_PASS): New. (../stamp-tools): Reintroduce, to avoid merge conflicts. From-SVN: r178600
2011-09-06ipa-inline.h (struct inline_summary): Move versionable flag...Martin Jambor6-17/+27
2011-09-06 Martin Jambor <mjambor@suse.cz> * ipa-inline.h (struct inline_summary): Move versionable flag... * cgraph.h (struct cgraph_local_info): ...here * ipa-cp.c (determine_versionability): Use the new versionable flag. (determine_versionability): Likewise. (ipcp_versionable_function_p): Likewise. (ipcp_generate_summary): Likewise. * ipa-inline-analysis.c (dump_inline_summary): Do not dump the versionable flag. (compute_inline_parameters): Do not clear the versionable flag. (inline_read_section): Do not stream the versionable flag. (inline_write_summary): Likewise. * lto-cgraph.c (lto_output_node): Stream the versionable flag. (input_overwrite_node): Likewise. From-SVN: r178598
2011-09-06re PR tree-optimization/48149 (Piecewise complex pass-through not optimized)Richard Guenther4-58/+93
2011-09-06 Richard Guenther <rguenther@suse.de> PR tree-optimization/48149 * tree-ssa-sccvn.c (vn_get_expr_for): Simplify. Fix tuplification bug. (vn_valueize): Move earlier. (valueize_expr): Use vn_valueize. (simplify_binary_expression): Simplify, also combine COMPLEX_EXPR operands. (simplify_unary_expression): Simplify. * gcc.dg/tree-ssa/ssa-fre-32.c: New testcase. From-SVN: r178597
2011-09-06sem_ch10.adb, [...] (Not_Impl_Defined_Unit): New name for Is_RM_Defined_Unit.Robert Dewar4-24/+39
2011-09-06 Robert Dewar <dewar@adacore.com> * sem_ch10.adb, impunit.ads, impunit.adb (Not_Impl_Defined_Unit): New name for Is_RM_Defined_Unit. Also several fixes to this unit. From-SVN: r178596
2011-09-06re PR tree-optimization/48317 (SCCVN does not handle vector constructors)Richard Guenther6-134/+222
2011-09-06 Richard Guenther <rguenther@suse.de> PR tree-optimization/48317 * tree-ssa-sccvn.h (struct vn_nary_op_s): Make op a true trailing array. (sizeof_vn_nary_op): New inline function. (vn_nary_op_lookup_pieces): Adjust. (vn_nary_op_insert_pieces): Likewise. * tree-ssa-sccvn.c (vn_nary_op_eq): Also compare the length. (init_vn_nary_op_from_pieces): Adjust signature. Deal with any number of operands. (vn_nary_length_from_stmt): New function. (init_vn_nary_op_from_stmt): Adjust for CONSTRUCTOR handling. (vn_nary_op_lookup_pieces): Adjust signature and allocate properly sized temporary. (vn_nary_op_lookup): Likewise. (vn_nary_op_lookup_stmt): Likewise. (vn_nary_op_insert_into): Likewise. (vn_nary_op_insert_stmt): Likewise. (visit_use): Handle CONSTRUCTOR as nary. * tree-ssa-pre.c (phi_translate_1): Adjust. (create_expression_by_pieces): Likewise. (compute_avail): Likewise. * gcc.dg/tree-ssa/ssa-fre-31.c: New testcase. From-SVN: r178595
2011-09-06impunit.ads, [...] (Is_RM_Defined_Unit): New function.Robert Dewar5-388/+557
2011-09-06 Robert Dewar <dewar@adacore.com> * impunit.ads, impunit.adb (Is_RM_Defined_Unit): New function. * s-rident.ads: New restriction No_Implementation_Units (this restriction is also part of the profile No_Implementation_Extensions) * sem_ch10.adb (Analyze_With_Clause): Add check for No_Implementation_Units restriction. From-SVN: r178594
2011-09-06[multiple changes]Arnaud Charlet5-7/+37
2011-09-06 Jerome Guitton <guitton@adacore.com> * sysdep.c (__gnat_get_task_options): Disable VX_SPE_TASK on vThreads. 2011-09-06 Thomas Quinot <quinot@adacore.com> * s-solita.adb: Minor reformatting. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * sem_ch6.adb (Analyze_Subprogram_Body_Helper): The body that is a rewriting of an expression function does not freeze previous entities. 2011-09-06 Robert Dewar <dewar@adacore.com> * impunit.adb (Is_Known_Unit): Fix bad handling of Ada 2012 case From-SVN: r178593
2011-09-06Makefile.in: Handle e500v2-wrs-vxworksae like powerpc-wrs-vxworksae.Tristan Gingold2-1/+6
2011-09-06 Tristan Gingold <gingold@adacore.com> * gcc-interface/Makefile.in: Handle e500v2-wrs-vxworksae like powerpc-wrs-vxworksae. From-SVN: r178592
2011-09-06[multiple changes]Arnaud Charlet14-106/+126
2011-09-06 Thomas Quinot <quinot@adacore.com> * s-os_lib.ads (Spawn): Minor documentation clarification, Success is True for a zero exit status. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * sem_ch5.adb: Add message for common iterator error. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Build_Initialization_Call): If the target is a selected component discriminated by a current instance, replace the constraint with a reference to the target object, regardless of whether the context is an init_proc. 2011-09-06 Robert Dewar <dewar@adacore.com> * exp_attr.adb: Descriptor_Size is never static. 2011-09-06 Robert Dewar <dewar@adacore.com> * gnat_ugn.texi: Add documentation for LSLOC metric in gnatmetric 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * gnat_rm.texi: Clarify that attribute Descriptor_Size is non-static. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * sem_res.adb (Resolve): An expression that is the body of an expression function does not freeze. 2011-09-06 Matthew Heaney <heaney@adacore.com> * a-csquin.ads, a-cusyqu.adb, a-cbprqu.adb, a-cbsyqu.adb, a-cuprqu.adb: Changed copyright notice to indicate current year only. 2011-09-06 Vincent Celier <celier@adacore.com> * prj.adb: Minor spelling error fix in comment * sem_res.adb: Minor reformatting 2011-09-06 Pascal Obry <obry@adacore.com> * sysdep.c (winflush_nt): Removed as not needed anymore. (winflush_95): Likewise. (winflush_init): Likewise. (winflush_function): Likewise. (getc_immediate_common): Remove call to winflush_function. From-SVN: r178591
2011-09-06exp_attr.adb (Expand_N_Attribute_Reference): Rewrite the processing for ↵Hristian Kirtchev4-20/+35
Descriptor_Size. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_attr.adb (Expand_N_Attribute_Reference): Rewrite the processing for Descriptor_Size. * gnat_rm.texi: Rephrase the wording for attribute Descriptor_Size to account for its broader usage. * sem_attr.adb (Analyze_Attribute): Change the error detection circuitry for Descriptor_Size as the attribute is now applicable to all types. From-SVN: r178590
2011-09-06sem_attr.adb, [...]: Minor reformatting.Robert Dewar4-14/+20
2011-09-06 Robert Dewar <dewar@adacore.com> * sem_attr.adb, prj-nmsc.adb, exp_aggr.adb: Minor reformatting. From-SVN: r178589
2011-09-06arm.c (arm_preferred_simd_mode): Check TARGET_NEON_VECTORIZE_DOUBLE instead ↵Ira Rosen38-35/+111
of TARGET_NEON_VECTORIZE_QUAD. * config/arm/arm.c (arm_preferred_simd_mode): Check TARGET_NEON_VECTORIZE_DOUBLE instead of TARGET_NEON_VECTORIZE_QUAD. (arm_autovectorize_vector_sizes): Likewise. * config/arm/arm.opt (mvectorize-with-neon-quad): Make inverse mask of mvectorize-with-neon-double. Add RejectNegative. (mvectorize-with-neon-double): New. From-SVN: r178588
2011-09-06[multiple changes]Arnaud Charlet4-6/+49
2011-09-06 Ed Schonberg <schonberg@adacore.com> * lib-xref.adb (OK_To_Set_Referenced): A reference to a formal in a parameter association must not set the Referenced flag on the formal. * prj-nmsc.adb (Check_File_Naming_Schemes): Remove useless formal 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * gnat_rm.texi: Add a section on attribute Descriptor_Size From-SVN: r178587
2011-09-06Makefile.in (common-tools, [...]): Speed up by using -j0.Arnaud Charlet2-5/+12
* gcc-interface/Makefile.in (common-tools, gnatmake-re, gnatlink-re): Speed up by using -j0. From-SVN: r178586
2011-09-06[multiple changes]Arnaud Charlet8-147/+77
2011-09-06 Robert Dewar <dewar@adacore.com> * s-tpopsp-vxworks.adb, prj-nmsc.adb: Minor reformatting. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * gcc-interface/trans.c (Attribute_to_gnu): New case for attribute Descriptor_Size. * exp_attr.adb (Expand_N_Attribute_Reference): Add processing for attribute Descriptor_Size. * exp_ch7.adb (Double_Size_Of): Removed. (Make_Finalize_Address_Stmts): Remove the code which generates an expression to calculate the dope vector of an unconstrained array. Instead use attribute Descriptor_Size and leave the calculation to the back end. (Nearest_Multiple_Rounded_Up): Removed. (Size_Of): Removed. * sem_attr.adb (Analyze_Attribute): Add processing for attribute Descriptor_Size. Currently the attribute is applicable only to unconstrained arrays. (Eval_Attribute): Add processing for attribute Descriptor_Size. * snames.ads-tmpl: Add a predefined name and an Attribute_Id for Descriptor_Size. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_aggr.adb: Remove useless formal. From-SVN: r178585
2011-09-06tree-ssa-sccvn.c (visit_use): CSE stmt pieces and simplify matching.Richard Guenther2-22/+25
2011-09-06 Richard Guenther <rguenther@suse.de> * tree-ssa-sccvn.c (visit_use): CSE stmt pieces and simplify matching. From-SVN: r178584
2011-09-06[multiple changes]Arnaud Charlet15-226/+209
2011-09-06 Yannick Moy <moy@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications): Call Set_Corresponding_Aspect when creating pragma from aspect. (Add_Predicates): Use new field Corresponding_Aspect. * sem_prag.adb (Analyze_Pragma): Make Pname hold source aspect name when present, for the purpose of issuing error messages; remove local procedure Error_Pragma_Arg_Alternate_Name. * sinfo.adb, sinfo.ads (Corresponding_Aspect): New field in N_Pragma node. (From_Dynamic_Predicate, From_Static_Predicate): Remove fields from N_Pragma node. 2011-09-06 Robert Dewar <dewar@adacore.com> * checks.adb, s-except.ads, g-socket.adb: Minor reformatting. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch6.adb (Build_Heap_Allocator): Add new local variable Desig_Typ. Code and comment reformatting. Add machinery to ensure that the allocation uses a fat pointer when the type of the return object is a constrained array and the function return type is an unconstrained array. 2011-09-06 Vincent Celier <celier@adacore.com> * make.adb, prj-part.adb, prj-nmsc.adb: Remove unused formal parameters in subprograms. 2011-09-06 Arnaud Charlet <charlet@adacore.com> * s-taprop-mingw.adb (Finalize_TCB): Fix typo. 2011-09-06 Thomas Quinot <quinot@adacore.com> * s-taprop-vxworks.adb, s-tpoaal.adb, s-tpopsp-vxworks.adb (System.Tasking.Primitive_Operations.Specific.Delete): Remove subprogram. (System.Tasking.Primitive_Operations.Specific.Set): If argument is null, destroy task specific data, to make API consistent with other platforms, and thus compatible with the shared version of s-tpoaal.adb. (System.Tasking.Primitive_Operations.ATCB_Allocation.Free_ATCB): Document the above assumption. From-SVN: r178583
2011-09-06[multiple changes]Arnaud Charlet21-337/+442
2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Expand_Inlined_Call): Fix use of uninitialized variable for type of return value when return type is unconstrained and context is an assignment. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * sem_ch8.adb (Check_Class_Wide_Actual): Do not generate body of class-wide operation if expansion is not enabled. 2011-09-06 Eric Botcazou <ebotcazou@adacore.com> * checks.adb (Apply_Scalar_Range_Check): Deal with access type prefix. 2011-09-06 Yannick Moy <moy@adacore.com> * sem_ch13.adb (Analyze_Aspect_Specifications, case Aspect_Invariant): Do not issue error at this point on illegal pragma placement, as this is checked later on when analyzing the corresponding pragma. * sem_prag.adb (Error_Pragma_Arg_Alternate_Name): New procedure similar to Error_Pragma_Arg, except the source name of the aspect/pragma to use in warnings may be equal to parameter Alt_Name (Analyze_Pragma, case Pragma_Invariant): refine error message to distinguish source name of pragma/aspect, and whether the illegality resides in the type being public, or being private without a public declaration 2011-09-06 Thomas Quinot <quinot@adacore.com> * g-socket.adb (Check_For_Fd_Set): On Windows, no need for bitmap size check (fd_set is implemented differently on that platform). 2011-09-06 Thomas Quinot <quinot@adacore.com> * s-taprop-vxworks.adb, s-taprop-tru64.adb, s-taprop-vms.adb, s-tpoaal.adb, s-taprop-mingw.adb, s-taprop-linux.adb, s-taprop-solaris.adb, s-taprop-irix.adb, s-taprop.ads, s-taprop-hpux-dce.adb, s-taprop-dummy.adb, s-taprop-posix.adb (ATCB_Allocation): New subpackage of System.Tasking.Primitive_Operations, shared across all targets with full tasking runtime. (ATCB_Allocation.New_ATCB): Moved there (from target specific s-taprop bodies). (ATCB_Allocation.Free_ATCB): New subprogram. Deallocate an ATCB, taking care of establishing a local temporary ATCB if the one being deallocated is Self, to avoid a reference to the freed ATCB in Abort_Undefer. 2011-09-06 Thomas Quinot <quinot@adacore.com> * s-tassta.adb, s-taskin.ads (Free_Task): If the task is not terminated, mark it for deallocation upon termination. (Terminate_Task): Call Free_Task again if the task is marked for automatic deallocation upon termination. From-SVN: r178582
2011-09-06re PR libstdc++/50257 ([C++0x] unordered_map slow initialization due to huge ↵Paolo Carlini2-2/+15
__prime_list) 2011-09-06 Paolo Carlini <paolo.carlini@oracle.com> PR libstdc++/50257 * include/bits/hashtable_policy.h (_Prime_rehash_policy:: _M_next_bkt): Optimize for small argument. From-SVN: r178581
2011-09-06recog.c (asm_labels_ok): New function.Tom de Vries2-0/+27
2011-09-06 Tom de Vries <tom@codesourcery.com> * recog.c (asm_labels_ok): New function. (check_asm_operands): Use asm_labels_ok. From-SVN: r178580
2011-09-06a-cbprqu.ads, [...]: Mark all entities as Implementation_DefinedRobert Dewar30-53/+290
2011-09-06 Robert Dewar <dewar@adacore.com> * a-cbprqu.ads, a-cbsyqu.ads, a-cuprqu.ads, a-cusyqu.ads, a-intnam-aix.ads, a-intnam-darwin.ads, a-intnam-dummy.ads, a-intnam-freebsd.ads, a-intnam-hpux.ads, a-intnam-irix.ads, a-intnam-linux.ads, a-intnam-lynxos.ads, a-intnam-mingw.ads, a-intnam-solaris.ads, a-intnam-tru64.ads, a-intnam-vms.ads, a-intnam-vxworks.ads, a-intnam.ads, interfac.ads, cstand.adb, s-maccod.ads: Mark all entities as Implementation_Defined * einfo.ads, einfo.adb (Is_Implementation_Defined): New flag * par-prag.adb: Add dummy entry for pragma Implementation_Defined * s-rident.ads: Add new restriction No_Implementation_Identifiers Add new profile No_Implementation_Extensions * sem_prag.adb: Implement pragma Implementation_Defined Implement profile No_Implementation_Extensions * sem_util.adb: Minor reformatting (Set_Entity_With_Style_Check): Check violation of restriction No_Implementation_Identifiers * snames.ads-tmpl: Add entries for pragma Implementation_Defined Add entry for Name_No_Implementation_Extensions 2011-09-06 Robert Dewar <dewar@adacore.com> * impunit.ads: Minor reformatting. From-SVN: r178579
2011-09-06[multiple changes]Arnaud Charlet6-13/+37
2011-09-06 Robert Dewar <dewar@adacore.com> * ali.adb, sem_ch13.adb, lib-xref.adb: Minor reformatting. 2011-09-06 Pascal Obry <obry@adacore.com> * s-osinte-linux.ads, s-oscons-tmplt.c: Use oscons to define sigset_t types. From-SVN: r178578
2011-09-06[multiple changes]Arnaud Charlet7-8/+73
2011-09-06 Robert Dewar <dewar@adacore.com> * g-socket.adb: Minor reformatting 2011-09-06 Javier Miranda <miranda@adacore.com> * ali.adb (Scan_ALI): Add missing support to load references of entities imported from other languages. * ali.ads (Xref_Record): Adding new fields to store the language and name of an imported entity. * lib-xref.adb (Output_Import_Export_Info): Fix typo in comment. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * sem_prag.adb (Analyze_Pragma, case Type_Invariant): A type invariant is allowed on a full type declaration if it is the completion of a private declarations. * sem_ch13.adb (Analyze_Aspect_Specifications): An invariant aspect is allowed on a full type declaration in the private part of a package. From-SVN: r178577
2011-09-06[multiple changes]Arnaud Charlet4-20/+57
2011-09-06 Robert Dewar <dewar@adacore.com> * sem_ch8.ads: Minor reformatting 2011-09-06 Thomas Quinot <quinot@adacore.com> * s-oscons-tmplt.c, g-socket.adb (GNAT.Sockets.Clear,Set,Is_Set): Guard against socket values that are not in [0;FD_SETSIZE[ From-SVN: r178576
2011-09-06[multiple changes]Arnaud Charlet7-132/+147
2011-09-06 Robert Dewar <dewar@adacore.com> * s-osinte-linux.ads, a-iteint.ads, exp_ch6.adb, s-solita.adb: Minor reformatting. 2011-09-06 Arnaud Charlet <charlet@adacore.com> * s-linux-alpha.ads: Minor reformatting * s-oscons-tmplt.c: Fix generated comments in s-oscons template. Use sizeof instead of corresponding C defines in s-oscons template. From-SVN: r178575
2011-09-06a-convec.ads, [...]: Minor reformatting.Vadim Godunko3-2/+6
2011-09-06 Vadim Godunko <godunko@adacore.com> * a-convec.ads, a-iteint.ads: Minor reformatting. From-SVN: r178574
2011-09-06[multiple changes]Arnaud Charlet11-114/+145
2011-09-06 Vincent Celier <celier@adacore.com> * projects.texi: Add menus and @node lines. 2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_ch6.adb (Expand_Inlined_Call): Handle properly the case where the return type is an unconstrained array and the context is an assignment. Optimize the case when the target of the assignment is a selected component. 2011-09-06 Arnaud Charlet <charlet@adacore.com> * s-solita.adb: Update comments. 2011-09-06 Pascal Obry <obry@adacore.com> * s-linux.ads, s-linux-alpha.ads, s-linux-hppa.ads, s-linux-mipsel.ads, s-linux-sparc.ads: Remove hard coded and now wrong definitions. * s-oscons-tmplt.c: Add support for generating pthread related types size on GNU/Linux as done for Darwin. * s-osinte-linux.ads: Use s-oscons to define the pthread types. From-SVN: r178573
2011-09-06[multiple changes]Arnaud Charlet3-165/+186
2011-09-06 Robert Dewar <dewar@adacore.com> * exp_ch6.adb: Fix minor typo. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb: Remove with and use clauses for Get_Targ. (Alignment_Of): Moved to the body of Nearest_Multiple_Rounded_Up. (Double_Size_Of): Alphabetized. Update the comment on usage. (Make_Finalize_Address_Stmts): Update comments and reformat code. (Nearest_Multiple_Rounded_Up): New routine. (Size_Of): Update comment on usage. The generated expression now accounts for alignment gaps by rounding the size of the type to the nearest multiple rounded up of the type's alignment. From-SVN: r178572
2011-09-06[multiple changes]Arnaud Charlet5-62/+119
2011-09-06 Robert Dewar <dewar@adacore.com> * exp_ch7.adb, g-comlin.adb: Minor reformatting. 2011-09-06 Steve Baird <baird@adacore.com> * exp_ch4.adb (Expand_Allocator_Expression): Look through derived subprograms in checking for presence of an Extra_Accessibility_Of_Result formal parameter. * exp_ch6.adb (Expand_Call): Look through derived subprograms in checking for presence of an Extra_Accessibility_Of_Result formal parameter. (Expand_Call.Add_Actual_Parameter): Fix a bug in the case where the Parameter_Associatiations attribute is already set, but set to an empty list. (Needs_Result_Accessibility_Level): Unconditionally return False. This is a temporary change, disabling the Extra_Accessibility_Of_Result mechanism. (Expand_Simple_Function_Return): Check for Extra_Accessibility_Of_Result parameter's presence instead of testing Ada_Version when generating a runtime accessibility check which makes use of the parameter. From-SVN: r178571
2011-09-06[multiple changes]Arnaud Charlet3-42/+86
2011-09-06 Ed Schonberg <schonberg@adacore.com> * exp_ch4.adb (Expand_N_Case_Expression): Actions created for the expression in a given case alternative must be attached to the statement list of the ccrresponding case statement alternative They cannot be propagated ahead of the case statement, because the validity of the expression that generated the action may hold only for that alternative. 2011-09-06 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch7.adb: Remove with and use clauses for Get_Targ. (Alignment_Of): Remove the code for strict alignment targets. (Double_Alignment_Of): Removed. (Double_Size_Of): New routine. (Make_Finalize_Address_Stmts): Change the calculation of the dope's size. Update relevant comments. (Size_Of): New routine. From-SVN: r178570