aboutsummaryrefslogtreecommitdiff
path: root/gcc
AgeCommit message (Collapse)AuthorFilesLines
2014-11-21Add avx512ifma instructions.Ilya Tocar30-11/+756
gcc/ * common/config/i386/i386-common.c (OPTION_MASK_ISA_AVX512IFMA_SET, OPTION_MASK_ISA_AVX512IFMA_UNSET): New. (ix86_handle_option): Handle OPT_mavx512ifma. * config.gcc: Add avx512ifmaintrin.h, avx512ifmavlintrin.h. * config/i386/avx512ifmaintrin.h: New file. * config/i386/avx512ifmaivlntrin.h: Ditto. * config/i386/cpuid.h (bit_AVX512IFMA): New. * config/i386/driver-i386.c (host_detect_local_cpu): Detect avx512ifma. * config/i386/i386-c.c (ix86_target_macros_internal): Define __AVX512IFMA__. * config/i386/i386.c (ix86_target_string): Add -mavx512ifma. (PTA_AVX512IFMA): Define. (ix86_option_override_internal): Handle new options. (ix86_valid_target_attribute_inner_p): Add avx512ifma. (ix86_builtins): Add IX86_BUILTIN_VPMADD52LUQ512, IX86_BUILTIN_VPMADD52HUQ512, IX86_BUILTIN_VPMADD52LUQ256, IX86_BUILTIN_VPMADD52HUQ256, IX86_BUILTIN_VPMADD52LUQ128, IX86_BUILTIN_VPMADD52HUQ128, IX86_BUILTIN_VPMADD52LUQ512_MASKZ, IX86_BUILTIN_VPMADD52HUQ512_MASKZ, IX86_BUILTIN_VPMADD52LUQ256_MASKZ, IX86_BUILTIN_VPMADD52HUQ256_MASKZ, IX86_BUILTIN_VPMADD52LUQ128_MASKZ, IX86_BUILTIN_VPMADD52HUQ128_MASKZ. (bdesc_special_args): Add __builtin_ia32_vpmadd52luq512_mask, __builtin_ia32_vpmadd52luq512_maskz, __builtin_ia32_vpmadd52huq512_mask, __builtin_ia32_vpmadd52huq512_maskx, __builtin_ia32_vpmadd52luq256_mask, __builtin_ia32_vpmadd52luq256_maskz, __builtin_ia32_vpmadd52huq256_mask, __builtin_ia32_vpmadd52huq256_maskz, __builtin_ia32_vpmadd52luq128_mask, __builtin_ia32_vpmadd52luq128_maskz, __builtin_ia32_vpmadd52huq128_mask, __builtin_ia32_vpmadd52huq128_maskz, * config/i386/i386.h (TARGET_AVX512IFMA, TARGET_AVX512IFMA_P): Define. * config/i386/i386.opt: Add mavx512ifma. * config/i386/immintrin.h: Include avx512ifmaintrin.h, avx512ifmavlintrin.h. * config/i386/sse.md (unspec): Add UNSPEC_VPMADD52LUQ, UNSPEC_VPMADD52HUQ. (VPMADD52): New iterator. (vpmadd52type): New attribute. (vpamdd52huq<mode>_maskz): New. (vpamdd52luq<mode>_maskz): Ditto. (vpamdd52<vpmadd52type><mode><sd_maskz_name>): Ditto. (vpamdd52<vpmadd52type><mode>_mask): Ditto. gcc/testsuite/ * g++.dg/other/i386-2.C: Add -mavx512ifma. * g++.dg/other/i386-3.C: Ditto. * gcc.target/i386/avx512f-helper.h: Add avx512ifma-check.h. * gcc.target/i386/avx512ifma-check.h: New. * gcc.target/i386/avx512ifma-vpmaddhuq-1.c: Ditto. * gcc.target/i386/avx512ifma-vpmaddhuq-2.c: Ditto. * gcc.target/i386/avx512ifma-vpmaddluq-1.c: Ditto. * gcc.target/i386/avx512ifma-vpmaddluq-2.c: Ditto. * gcc.target/i386/avx512vl-vpmaddhuq-2.c: Ditto. * gcc.target/i386/avx512vl-vpmaddluq-2.c: Ditto. * gcc.target/i386/i386.exp (check_effective_target_avx512ifma): New. * gcc.target/i386/sse-12.c: Add new options. * gcc.target/i386/sse-13.c: Ditto. * gcc.target/i386/sse-14.c: Ditto. * gcc.target/i386/sse-22.c: Ditto. * gcc.target/i386/sse-23.c: Ditto. 2014-11-21 Georg-Johann Lay <avr@gjlay.de> From-SVN: r217928
2014-11-21Revert: Workaround following [PATCH] Pul all constants last in ↵Alan Lawrence2-2/+8
tree_swap_operands_p https://gcc.gnu.org/ml/gcc-patches/2014-09/msg01509.html 2014-09-22 Alan Lawrence <alan.lawrence@arm.com> gcc/: * fold-const.c (tree_swap_operands_p): Strip only sign-preserving NOPs. From-SVN: r217927
2014-11-21[MIPS] If using branch likelies in MIPS sync code fill the delay slot Andrew Bennett2-4/+22
with a nop. gcc/ * config/mips/mips.c (mips_process_sync_loop): Place a nop in the delay slot of the branch likely instruction. (mips_output_sync_loop): Ensure mips_branch_likely is set before calling mips_output_sync_loop. (mips_sync_loop_insns): Likewise. From-SVN: r217926
2014-11-21missing ChangeLog entryWilliam Schmidt1-0/+7
From-SVN: r217925
2014-11-21PR/target 63673William Schmidt1-0/+4
2014-11-21 Bill Schmidt <wschmidt@linux.vnet.ibm.com> PR/target 63673 * config/rs6000/rs6000-c.c (altivec_overloaded_builtins): Allow the base pointer of vec_vsx_ld and vec_vsx_st to take a pointer to double. From-SVN: r217924
2014-11-21Add ChangeLog entryGeorg-Johann Lay1-0/+21
From-SVN: r217923
2014-11-21Forward-port from 2014-10-30 4_9-branch r216934 PR target/63633Georg-Johann Lay7-16/+307
gcc/ Forward-port from 2014-10-30 4_9-branch r216934 PR target/63633 * config/avr/avr-protos.h (regmask): New inline function. (avr_fix_inputs, avr_emit3_fix_outputs): New protos. * config/avr/avr.c (avr_fix_operands, avr_move_fixed_operands) (avr_fix_inputs, avr_emit3_fix_outputs): New functions. * config/avr/avr-fixed.md (mulqq3_nomul, muluqq3_nomul) (mul<ALL2QA>3, mul<ALL4A>3, <usdiv><ALL1Q>3, <usdiv><ALL2QA>3) (<usdiv><ALL4A>3, round<ALL124QA>3): Fix input operands. * config/avr/avr-dimode.md (add<ALL8>3, sub<ALL8>3) (<ss_addsub><ALL8S>3, <us_addsub><ALL8U>3, cbranch<ALL8>4) (<di_shifts><ALL8>3, <any_extend>mulsidi3): Fix input operands. * config/avr/avr.md (mulqi3_call, mulhi3_call, mulsi3, mulpsi3) (mulu<QIHI>si3, muls<QIHI>si3, mulohisi3, <any_extend>mulhisi3) (usmulhisi3, <any_extend>mulhi3_highpart, mulsqipsi3) (fmul, fmuls, fmulsu): Fix operands. Turn insn into expander as needed. gcc/testsuite/ Forward-port from 2014-10-30 4_9-branch r216934 PR target/63633 * gcc.target/avr/torture/pr63633-ice-mult.c: New test. From-SVN: r217922
2014-11-21re PR debug/63239 (DWARF does not represent C++ deleted methods)Francois-Xavier Coudert2-3/+2
PR debug/63239 * g++.dg/debug/dwarf2/deleted-member-function.C: Pass -gno-strict-dwarf. From-SVN: r217920
2014-11-21re PR testsuite/61137 (FAIL: gcc.target/ia64/small-addr-1.c (test for excess ↵Jakub Jelinek2-0/+25
errors)) PR target/61137 * config/ia64/ia64.c (ia64_attribute_takes_identifier_p): New function. (TARGET_ATTRIBUTE_TAKES_IDENTIFIER_P): Redefine to it. From-SVN: r217919
2014-11-21re PR debug/63239 (DWARF does not represent C++ deleted methods)Francois-Xavier Coudert2-0/+7
PR debug/63239 * g++.dg/debug/dwarf2/deleted-member-function.C: Pass -gno-strict-dwarf on darwin. From-SVN: r217918
2014-11-21[AArch64, Obvious] Fix formatting of SHLL and friendsJames Greenhalgh2-3/+11
gcc/ * config/aarch64/aarch64-simd.md (aarch64_<ANY_EXTEND:su><ADDSUB:optab>l<mode>): Add a tab between output mnemonic and operands. (aarch64_simd_vec_unpack<su>_lo_<mode>): Likewise. (aarch64_simd_vec_unpack<su>_hi_<mode>): Likewise. From-SVN: r217917
2014-11-21Add fgcse-sm test with scan-rtl-dumpTom de Vries2-0/+36
2014-11-21 Tom de Vries <tom@codesourcery.com> * gcc.dg/store-motion-fgcse-sm.c: New test. From-SVN: r217916
2014-11-21i386.c (ix86_option_override_internal): Increase ↵Evgeny Stupachenko2-0/+11
PARAM_MAX_COMPLETELY_PEELED_INSNS. * config/i386/i386.c (ix86_option_override_internal): Increase PARAM_MAX_COMPLETELY_PEELED_INSNS. From-SVN: r217914
2014-11-21re PR target/60451 (X86 vectorization improve: pack instead of pshufb)Evgeny Stupachenko4-24/+156
gcc/testsuite PR target/60451 * gcc.target/i386/pr60451.c: New. gcc/ PR target/60451 * config/i386/i386.c (expand_vec_perm_even_odd_pack): New. (expand_vec_perm_even_odd_1): Add new expand for V8HI mode, replace for V16QI, V16HI and V32QI modes. (ix86_expand_vec_perm_const_1): Add new expand. From-SVN: r217913
2014-11-21rl78-real.md (movqi_from_es): New pattern.Nick Clifton3-61/+133
* config/rl78/rl78-real.md (movqi_from_es): New pattern. * config/rl78/rl78.c (struct machine_function): Add uses_es field. (rl78_expand_prologue): Save the ES register in interrupt handlers that use it. (rl78_expand_epilogue): Restore the ES register if necessary. (rl78_start_function): Mention if the function uses the ES register. (rl78_lo16): Record the use of the ES register. (transcode_memory_rtx): Likewise. From-SVN: r217911
2014-11-21re PR tree-optimization/61773 (ICE in tree-ssa-strlen.c:417)Jakub Jelinek4-1/+24
PR tree-optimization/61773 * tree-ssa-strlen.c (get_string_length): Don't assert stpcpy has been prototyped if si->stmt is BUILT_IN_MALLOC. * gcc.dg/pr61773.c: New test. From-SVN: r217910
2014-11-21re PR target/63764 (ICE: in verify_ssa, at tree-ssa.c:939)Jakub Jelinek10-10/+133
PR target/63764 c-family/ * c-common.h (convert_vector_to_pointer_for_subscript): Change return type to bool. * c-common.c: Include gimple-expr.c. (convert_vector_to_pointer_for_subscript): Change return type to bool. If *vecp is not lvalue_p and has VECTOR_TYPE, return true and copy it into a TARGET_EXPR and use that instead of *vecp directly. c/ * c-typeck.c (build_array_ref): Adjust convert_vector_to_pointer_for_subscript caller. If it returns true, call non_lvalue_loc on the result. cp/ * typeck.c (cp_build_array_ref): Adjust convert_vector_to_pointer_for_subscript caller. If it returns true, call non_lvalue_loc on the result. testsuite/ * c-c++-common/pr63764-1.c: New test. * c-c++-common/pr63764-2.c: New test. From-SVN: r217909
2014-11-21re PR target/63910 (ICE: simplify_immed_subreg, at simplify-rtx.c:5519 with ↵Jakub Jelinek4-2/+31
-mstringop-strategy=vector_loop -mavx512f) PR target/63910 * simplify-rtx.c (simplify_immed_subreg): Return NULL for integer modes wider than MAX_BITSIZE_MODE_ANY_INT. If not using CONST_WIDE_INT, make sure r fits into CONST_DOUBLE. * gcc.target/i386/pr63910.c: New test. From-SVN: r217908
2014-11-21re PR lto/63998 (gcc.dg/lto/pr60820 fails on darwin)Francois-Xavier Coudert2-0/+6
PR lto/63998 * gcc.dg/lto/pr60820_0.c: Skip on darwin. From-SVN: r217907
2014-11-21rs6000: Fix compiler warningMarkus Trippelsdorf2-3/+9
2014-11-20 Markus Trippelsdorf <markus@trippelsdorf.de> * config/rs6000/rs6000.c (includes_rldic_lshift_p): Use HOST_WIDE_INT_M1U instead of ~0. (includes_rldicr_lshift_p): Likewise. From-SVN: r217905
2014-11-21[NDS32] Look into LO_SUM's operand to determine whether it is a valid address.Chung-Ju Wu2-2/+14
gcc/ * config/nds32/nds32.c (nds32_legitimate_address_p): For LO_SUM, we need to look into its operand to determine whether it is a valid address. From-SVN: r217904
2014-11-21[NDS32] Create correct CFI info for variadic function arguments.Chung-Ju Wu2-3/+20
gcc/ * config/nds32/nds32.c (nds32_emit_stack_push_multiple): Add new vaarg_p argument and create correct CFI info. (nds32_expand_prologue): Pass true or false to nds32_emit_stack_push_multiple function. From-SVN: r217903
2014-11-21[NDS32] Add missing RTX_FRAME_RELATED_P to set fp_adjust_insn rtx.Chung-Ju Wu2-0/+8
gcc/ * config/nds32/nds32.c (nds32_expand_prologue): Set fp_adjust_insn as RTX_FRAME_RELATED_P rtx. From-SVN: r217902
2014-11-21[NDS32] Complete -march= option design so that it can display available ↵Chung-Ju Wu2-0/+5
items in --target-help message. gcc/ * config/nds32/nds32.opt (march): Add help message. From-SVN: r217901
2014-11-20re PR c++/63658 (Using class reference as template parameter causes ↵Jason Merrill4-3/+31
compilation to fail) PR c++/63658 * pt.c (convert_nontype_argument): Call convert_from_reference. (check_instantiated_arg): Don't be confused by reference refs. (unify): Look through reference refs on the arg, too. * mangle.c (write_template_arg): Look through reference refs. From-SVN: r217900
2014-11-20* error.c (dump_expr): Avoid printing (*&i) for references.Jason Merrill2-1/+11
From-SVN: r217899
2014-11-21Daily bump.GCC Administrator1-1/+1
From-SVN: r217898
2014-11-20Disable an unsafe VRP transformation when -fno-strict-overflow is setPatrick Palka4-8/+87
gcc/ * tree-vrp.c (test_for_singularity): New parameter strict_overflow_p. Set *strict_overflow_p to true if signed overflow must be undefined for the return value to satisfy the conditional. (simplify_cond_using_ranges): Don't perform the simplification if it violates overflow rules. gcc/testsuite/ * gcc.dg/no-strict-overflow-8.c: New test. From-SVN: r217895
2014-11-20re PR c++/63959 (G++ misreports volatile int as trivially copyable)Ville Voutilainen3-1/+9
PR c++/63959 * tree.c (trivially_copyable_p): Check for CP_TYPE_VOLATILE_P. From-SVN: r217893
2014-11-20* tree-ssa-loop-niter.c (maybe_lower_iteration_bound): Fix typo.Marek Polacek2-1/+5
From-SVN: r217892
2014-11-20Warn on undefined loop exit.Andrew Stubbs5-0/+96
2014-11-20 Andrew Stubbs <ams@codesourcery.com> gcc/ * tree-ssa-loop-niter.c (maybe_lower_iteration_bound): Warn if a loop condition would be removed due to undefined behaviour. gcc/testsuite/ * gcc.dg/undefined-loop-1.c: New file. * gcc.dg/undefined-loop-2.c: New file. From-SVN: r217891
2014-11-20re PR target/63981 (some C++ tests fail with -mabi=ilp32 on aarch64 (with ↵Andrew Pinski1-0/+1
-O2 and above)) 2014-11-20 Andrew Pinski <apinski@cavium.com> PR ipa/63981 PR ipa/63982 * ipa-polymorphic-call.c (possible_placement_new): Use POINTER_SIZE instead of GET_MODE_BITSIZE (Pmode). (ipa_polymorphic_call_context::restrict_to_inner_class): Likewise. (extr_type_from_vtbl_ptr_store): Likewise. From-SVN: r217889
2014-11-20re PR target/63981 (some C++ tests fail with -mabi=ilp32 on aarch64 (with ↵Andrew Pinski2-6/+14
-O2 and above)) 2014-11-20 Andrew Pinski <apinski@cavium.com> PR ipa/63981 * ipa-polymorphic-call.c (possible_placement_new): Use POINTER_SIZE instead of GET_MODE_BITSIZE (Pmode). (ipa_polymorphic_call_context::restrict_to_inner_class): Likewise. (extr_type_from_vtbl_ptr_store): Likewise. From-SVN: r217888
2014-11-20PR63426 Fix various signed integer overflowsMarkus Trippelsdorf8-10/+23
Running the testsuite after bootstrap-ubsan on gcc112 shows several issues. See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63426 for the full list. This patch fixes several of them. 2014-11-20 Markus Trippelsdorf <markus@trippelsdorf.de> * config/rs6000/constraints.md: Avoid signed integer overflows. * config/rs6000/predicates.md: Likewise. * config/rs6000/rs6000.c (num_insns_constant_wide): Likewise. (includes_rldic_lshift_p): Likewise. (includes_rldicr_lshift_p): Likewise. * emit-rtl.c (const_wide_int_htab_hash): Likewise. * loop-iv.c (determine_max_iter): Likewise. (iv_number_of_iterations): Likewise. * tree-ssa-loop-ivopts.c (get_computation_cost_at): Likewise. * varasm.c (get_section_anchor): Likewise. From-SVN: r217886
2014-11-20re PR target/63870 ([Aarch64] [ARM] Errors in use of NEON intrinsics are ↵Charles Baylis5-9/+35
reported incorrectly) PR target/63870 * config/aarch64/aarch64-builtins.c (aarch64_simd_expand_args): Pass expression to aarch64_simd_lane_bounds. * config/aarch64/aarch64-protos.h (aarch64_simd_lane_bounds): Update prototype. * config/aarch64/aarch64-simd.md: (aarch64_combinez<mode>): Update call to aarch64_simd_lane_bounds. (aarch64_get_lanedi): Likewise. (aarch64_ld2_lane<mode>): Likewise. (aarch64_ld3_lane<mode>): Likewise. (aarch64_ld4_lane<mode>): Likewise. (aarch64_im_lane_boundsi): Likewise. * config/aarch64/aarch64.c (aarch64_simd_lane_bounds): Add exp parameter. Report calling function in error message if exp is non-NULL. From-SVN: r217885
2014-11-20re PR ada/63931 (Ada libraries use 5.0 as LIB_VERSION)Arnaud Charlet2-1/+6
PR ada/63931 * gnatvsn.ads (Library_Version): Switch to "5". From-SVN: r217884
2014-11-20re PR target/60111 ([SH] ICE compiling Newlib)Segher Boessenkool2-1/+6
2014-11-20 Segher Boessenkool <segher@kernel.crashing.org> PR target/60111 * config/sh/sh.c: Use signed char for signed field. From-SVN: r217883
2014-11-20[multiple changes]Arnaud Charlet9-38/+145
2014-11-20 Thomas Quinot <quinot@adacore.com> * freeze.adb (Freeze_Entity): Do not reset Is_True_Constant for aliased constant objects. 2014-11-20 Robert Dewar <dewar@adacore.com> * exp_util.adb (Following_Address_Clause): Use new Name_Table boolean flag set by parser to avoid the search if there is no address clause anywhere for the name. * namet.adb (Name_Enter): Initialize Boolean_Info flag (Name_Find): ditto (Reinitialize): ditto (Get_Name_Table_Boolean): New function (Set_Name_Table_Boolean): New procedure * namet.ads: Add and document new Boolean field in name table (Get_Name_Table_Boolean): New function. (Set_Name_Table_Boolean): New procedure. * par-ch13.adb (P_Representation_Clause): Set Name_Table boolean flag for an identifier name if we detect an address clause or use-at clause for the identifier. * sem_ch3.adb (Analyze_Object_Declaration): Remove comment about Following_Address_Clause since this function is now optimized and is not a performance concern. * sem_prag.adb (Analyze_Pragma, case Elaborate): In SPARK mode, pragma Elaborate is now allowed, but does not suppress elaboration checking. From-SVN: r217882
2014-11-20Makefile.in: Add some support for VxWorks7.Jerome Lambourg2-4/+17
2014-11-20 Jerome Lambourg <lambourg@adacore.com> * gcc-interface/Makefile.in: Add some support for VxWorks7. From-SVN: r217881
2014-11-20[multiple changes]Arnaud Charlet8-68/+106
2014-11-20 Thomas Quinot <quinot@adacore.com> * sem_ch13.adb, freeze.adb: Minor reformatting. * gnat_rm.texi: Minor editing. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_prag.adb (Analyze_Pragma): Minor reformatting. (Process_Suppress_Unsuppress): Ignore suppress Elaboration_Check in SPARK. 2014-11-20 Bob Duff <duff@adacore.com> * gnat_rm.texi: Correction to documentation of 'Unrestricted_Access in case of access to unconstrained array. * a-cofove.adb (Capacity): Fix bug -- was always returning Capacity_Range'Last. (Is_Sorted): Fix bug -- was always returning True, because Container.Last = Last. That test isn't even needed, because the loop will go around zero times in that case, so deleted that test rather than fixing it. (Reverse_Elements): Make sure to use the correct array bounds. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * sem_ch12.adb (Analyze_Associations): In GNATProve mode, build wrappers for functions and operators that are actuals only if expander is enabled. Wrappers play no role within a generic unit. 2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * sem_util.adb (Policy_In_Effect): Use the configuration level assertion flag. From-SVN: r217880
2014-11-20[multiple changes]Arnaud Charlet8-29/+64
2014-11-20 Arnaud Charlet <charlet@adacore.com> * s-parame-ae653.ads: Update comments. 2014-11-20 Robert Dewar <dewar@adacore.com> * types.ads, einfo.ads: Minor reformatting. * sem_elab.adb (Check_A_Call): Add guard for reference to Alias for variable case. 2014-11-20 Bob Duff <duff@adacore.com> * a-cofove.adb (Elems,Elemsc): Use access-to-constrained arrays instead of access-to-unconstrained, because the latter doesn't work with 'Unrestricted_Access when the result is returned from a function. * a-cofove.ads (Vector): Move the discriminant-dependent array after the other components for efficiency. Otherwise the compiler will generate a lot of code to calculate the offset of the other components every time they're accessed. 2014-11-20 Olivier Hainque <hainque@adacore.com> * opt.ads: Fix comment on Generate_SCO_Instance_Table wrt when it is set to true. From-SVN: r217879
2014-11-20[multiple changes]Arnaud Charlet6-105/+233
2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_ch3.adb (Expand_N_Object_Declaration): Handle properly a type invariant check on an object with default initialization and an address clause. 2014-11-20 Robert Dewar <dewar@adacore.com> * sem_elab.adb (Check_A_Call): Handle variable ref case in SPARK (Check_Elab_Call): ditto (Find_Elab_Reference): ditto (Get_Referenced_Ent): ditto. * sem_elab.ads: Comment fixes to account for the fact that we now deal with variable references in SPARK mode. * sem_res.adb (Resolve_Entity_Name): In SPARK_Mode Call Check_Elab_Call for variable. 2014-11-20 Yannick Moy <moy@adacore.com> * a-cofove.ads (Copy): Fix precondition, which should allow Capacity = 0. (First_To_Previous, Current_To_Last): Add necessary preconditions. From-SVN: r217878
2014-11-20[multiple changes]Arnaud Charlet7-80/+164
2014-11-20 Hristian Kirtchev <kirtchev@adacore.com> * exp_ch3.adb (Build_Initialization_Call): Reimplement the circuitry which extraacts the [underlying] full view of a private type to handle a case where the private type acts as a generic actual. * exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Inherit the loop label form the original loop regardless of whether it came from source. * sem_attr.adb (Analyze_Attribute): When taking 'Access of an expression function with a generated body that has not been analyzed yet, analyze the body to freeze the expression. * sem_util.adb (Set_Public_Status_Of): New routine. (Transfer_Entities): Handle the case where a private type with an internally generated full view is being transfered and update its full view. 2014-11-20 Vincent Celier <celier@adacore.com> * prj-nmsc.adb (Check_Object): If a unit is in a multi-source file, its object file is never the same as any other unit. 2014-11-20 Bob Duff <duff@adacore.com> * s-taskin.adb (Initialize_ATCB): Take into account the fact that the domain of the activator can be null if we're initializing a foreign task. From-SVN: r217877
2014-11-20[multiple changes]Arnaud Charlet5-18/+34
2014-11-20 Robert Dewar <dewar@adacore.com> * sem_ch12.adb: Minor reformatting. 2014-11-20 Jerome Lambourg <lambourg@adacore.com> * s-osinte-vxworks.ads: Add comments. Minor reformatting. 2014-11-20 Yannick Moy <moy@adacore.com> * sem_prag.adb, sem_elab.adb: Minor rewording of error message in SPARK mode, for consistency. From-SVN: r217876
2014-11-20[multiple changes]Arnaud Charlet3-92/+253
2014-11-20 Vasiliy Fofanov <fofanov@adacore.com> * gnat_ugn.texi: New section on gnattest stubbing. Minor reformatting. 2014-11-20 Jerome Lambourg <lambourg@adacore.com> * s-taprop-vxworks.adb (Create_Task): Fix thread comparison. Minor reformatting. From-SVN: r217875
2014-11-20[multiple changes]Arnaud Charlet12-42/+152
2014-11-20 Robert Dewar <dewar@adacore.com> * s-tassta.adb, exp_aggr.adb, s-taskin.adb, exp_strm.adb: Minor reformatting. * comperr.adb (Compiler_Abort): New wording for bug box. * par-ch13.adb: Minor reformatting. * par-ch3.adb (P_Identifier_Declarations): Handle aspect specifications given before initialization expression in object declaration cleanly. * gnat1drv.adb (Adjust_Global_Switches): Make sure static elaboration mode is set if we are operating in SPARK mode. * sem_ch12.adb (Analyze_Package_Instantiation): Make sure static elab mode is set if we are in SPARK mode. (Analyze_Subprogram_Instantiation): ditto. (Set_Instance_Env): ditto. * sem_elab.adb (Check_A_Call): In SPARK mode, we require Elaborate_All in the case of a call during elaboration to a subprogram in another unit. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * inline.adb (Can_Split_Unconstrained_Function, Build_Procedure): Copy parameter type rather than creating reference to the entity, to capture class-wide reference, whose name is not retrieved by visibility. From-SVN: r217874
2014-11-20[multiple changes]Arnaud Charlet7-12/+58
2014-11-20 Arnaud Charlet <charlet@adacore.com> * s-taspri-solaris.ads: Replace 64 by long_long_integer'size. 2014-11-20 Olivier Hainque <hainque@adacore.com> * init.c (__gnat_map_signal for VxWorks): Use a common mapping scheme for VxWorks version >= 6, instead of falling back to the vx5 scheme for versions > 6. 2014-11-20 Ed Schonberg <schonberg@adacore.com> * exp_strm.adb (Build_Mutable_Record_Read_Procedure): Use base type when constructing subtype indication for constrained target object. 2014-11-20 Jose Ruiz <ruiz@adacore.com> * projects.texi: Minor spelling fix. 2014-11-20 Bob Duff <duff@adacore.com> * gnat_ugn.texi: Add doc for --split-line-before-op switch in gnatpp. 2014-11-20 Vincent Celier <celier@adacore.com> * prj-attr.adb (Register_New_Package): Allow the registration of an already unknown package and make it known. From-SVN: r217873
2014-11-20convert trans-mem to hash_tableTrevor Saunders4-14/+30
gcc/ * cfgexpand.c, gimple-ssa.h, trans-mem.c: Replace htab with hash_table. From-SVN: r217872
2014-11-20remove more ggc htabsTrevor Saunders7-103/+75
gcc/ * ipa-utils.c, lto-section-in.c, lto-streamer.h, tree-scalar-evolution.c: Replace htab with hash_table. lto/ * lto.c: Replace htab with hash_table. From-SVN: r217871
2014-11-20use vec in lto_tree_ref_tableTrevor Saunders6-33/+35
gcc/ChangeLog: 2014-11-20 Trevor Saunders <tsaunders@mozilla.com> * lto-section-in.c (lto_delete_in_decl_state): Adjust. (lto_free_function_in_decl_state): Likewise. * lto-streamer-out.c (copy_function_or_variable): Likewise. * lto-streamer.h (lto_file_decl_data_get_ ## name): Likewise. (lto_file_decl_data_num_ ## name ## s): Likewise. (struct lto_tree_ref_table): Remove. (struct lto_in_decl_state): Replace lto_tree_ref_table with vec<tree>. gcc/lto/ChangeLog: 2014-11-20 Trevor Saunders <tsaunders@mozilla.com> * lto.c (lto_read_in_decl_state): Adjust. (lto_fixup_state): Likewise. From-SVN: r217870