1. 23 Oct, 2010 11 commits
    • gcc.c (n_switches_alloc_debug_check): New. · efe5e5a0
      	* gcc.c (n_switches_alloc_debug_check): New.
      	(set_option_handlers): New.
      	(process_command): Use set_option_handlers.
      	(do_self_spec): Pass spec-generated options through option
      	handlers.
      	(main): Also save and restore n_switches_alloc when swapping
      	switch arrays.
      
      From-SVN: r165891
      Joseph Myers committed
    • * MAINTAINERS: Update my email address. · fe12dfe1
      From-SVN: r165890
      James E. Wilson committed
    • tests for Darwin CFStrings · 505bff7a
      gcc/testsuite:
      
      	Based on the CFString implementation in FSF apple/trunk branch.
      
      	* gcc.dg/darwin-cfstring-1.c: New.
      	* gcc.dg/darwin-cfstring-2.c: New.
      	* gcc.dg/torture/darwin-cfstring-3.c: New.
      	* g++.dg/other/darwin-cfstring1.C: New.
      	* g++.dg/torture/darwin-cfstring-3.C: New.
      
      From-SVN: r165889
      Iain Sandoe committed
    • In gcc/cp/: 2010-10-23 Nicola Pero <nicola.pero@meta-innovation.com> · b8a18805
      In gcc/cp/:
      2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
      
              * tree.c (cxx_printable_name_internal): In Objective-C++, call
              objc_maybe_printable_name.
      
      In gcc/objc/:
      2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
      
              * objc-act.c (OBJC_GEN_METHOD_LABEL): Updated comments.
              (objc_demangle): Return NULL if demangling can not be done because
              the string to demangle is not an Objective-C mangled method name.
              Be smarter in demangling method names so that at least for methods
              with no arguments we are able to almost always demangle '_' correctly.
              Updated comments.
              (objc_maybe_printable_name): New.
              (objc_printable_name): Call objc_maybe_printable_name.  If it
              returns NULL, call cxx_printable_name in Objective-C++.
      
      In gcc/testsuite/:
      2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
      
              * objc.dg/demangle-1.m: New test.
              * obj-c++.dg/demangle-1.mm: New test.
              * obj-c++.dg/demangle-2.mm: New test.
              * obj-c++.dg/demangle-3.mm: New test.
      
      In gcc/c-family/:
      2010-10-23  Nicola Pero  <nicola.pero@meta-innovation.com>
      
              * c-common.h (objc_maybe_printable_name): New.
              * stub-objc.c (objc_maybe_printable_name): New.
      
      From-SVN: r165887
      Nicola Pero committed
    • re PR target/46144 (gfortran.dg/vect/fast-math-vect-8.f90) · 487a9a3e
      PR target/46144
      * config/i386/sse.md (*avx_absneg<AVXMODEF2P>2): New.
      (*sse_absneg<SSEMODEF2P>2): Rename from *absneg<VEC_FLOAT_MODE>2.
      Honor matching operands when splitting to XOR.
      
      From-SVN: r165885
      Richard Henderson committed
    • tree-vrp.c (extract_range_from_binary_expr): If flag_non_call_exceptions don't… · 0e1b8b10
      tree-vrp.c (extract_range_from_binary_expr): If flag_non_call_exceptions don't eliminate division by zero.
      
      gcc/:
      	* tree-vrp.c (extract_range_from_binary_expr): If
      	flag_non_call_exceptions don't eliminate division by zero.
      	* simplify-rtx.c (simplify_binary_operation_1): Likewise.
      gcc/testsuite/:
      	* gcc.c-torture/execute/20101011-1.c: New test.
      	* gcc.c-torture/execute/20101011-1.x: New test driver.
      
      From-SVN: r165884
      Ian Lance Taylor committed
    • re PR fortran/46122 (PROTECTED check too strict) · 67f67405
      2010-10-23  Tobias Burnus  <burnus@net-b.de>
      
              PR fortran/46122
              * expr.c (gfc_check_vardef_context): Fix PROTECTED check.
      
      2010-10-23  Tobias Burnus  <burnus@net-b.de>
      
              PR fortran/46122
              * gfortran.dg/protected_8.f90: New.
      
      From-SVN: r165883
      Tobias Burnus committed
    • march-generic.c: Skip for -march in multilib options. · 15ac3942
      	* gcc.dg/march-generic.c: Skip for -march in multilib options.
      	* gcc.target/i386/isa-9.c: Skip for -march other than
      	-march=amdfam10 in multilib options.
      	* gcc.target/i386/pr42589.c: Skip for -march other than
      	-march=i486 in multilib options.
      	* gcc.target/i386/sse-19.c: Add -march=x86-64 option and skip for
      	other -march in multilib options.
      
      From-SVN: r165882
      Joseph Myers committed
    • cppbuiltin.c (define_builtin_macros_for_type_sizes): Define __BYTE_ORDER__... · 18ed6ee4
      gcc/
      	* cppbuiltin.c (define_builtin_macros_for_type_sizes): Define
      	__BYTE_ORDER__, __ORDER_LITTLE_ENDIAN__, __ORDER_BIG_ENDIAN__, and
      	__ORDER_PDP_ENDIAN__.
      	* libgcc2.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	(struct DWstruct): Define based on __BYTE_ORDER__.
      	* config/fixed-bit.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	(struct INTstruct): Define based on __BYTE_ORDER__.
      	* config/dfp-bit.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	(LIBGCC2_FLOAT_WORDS_BIG_ENDIAN): Test __BYTE_ORDER__.
      	* system.h (LIBGCC2_WORDS_BIG_ENDIAN): Poison identifier.
      	* config/arc/arc.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/arm/arm.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/ia64/ia64.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/iq2000/iq2000.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/lm32/lm32.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/m32r/m32r.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/mcore/mcore.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/mep/mep.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/mips/mips.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/rs6000/sysv4.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/rx/rx.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/score/score.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/sh/sh.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/sparc/sparc.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* config/xtensa/xtensa.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* doc/tm.texi.in (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	* doc/tm.texi: Regenerate.
      	* doc/cpp.texi (__BYTE_ORDER__, __ORDER_LITTLE_ENDIAN__): Document.
      	(__ORDER_BIG_ENDIAN__, __ORDER_PDP_ENDIAN__): Likewise.
      
      libdecnumber/
      	* dconfig.h (LIBGCC2_WORDS_BIG_ENDIAN): Delete.
      	(LIBGCC2_FLOAT_WORDS_BIG_ENDIAN): Test __BYTE_ORDER__.
      
      libgcc/
      	* config/libbid/bid_gcc_intrinsics.h (LIBGCC2_WORDS_BIG_ENDIAN):
      	Delete.
      	(LIBGCC2_FLOAT_WORDS_BIG_ENDIAN): Test __BYTE_ORDER__.
      
      From-SVN: r165881
      Nathan Froyd committed
    • re PR rtl-optimization/37360 (ICE in haifa-sched.c when compiling __popcountsi2 from libgcc) · 646e6f41
      	PR rtl-optimization/37360
      	* config/mips/mips.c (cached_can_issue_more): New local variable.
      	(mips_sched_reorder_1): New.
      	(mips_sched_reorder): Use mips_sched_reorder_1.
      	(mips_sched_reorder2): New.
      	(mips_variable_issue): Set cached_can_issue_more.
      	(TARGET_SCHED_REORDER2): Define to mips_sched_reorder2
      	instead of mips_sched_reorder.
      
      	Revert
      	2008-09-09  Andrey Belevantsev  <abel@ispras.ru>
      	PR rtl-optimization/37360
      	* haifa-sched.c (max_issue): Do not assert that we never issue more
      	insns than issue_rate.  Add comment.
      
      	testsuite/
      	PR rtl-optimization/37360
      	* gcc.dg/pr37360.c: New test.
      
      From-SVN: r165880
      Jie Zhang committed
    • Daily bump. · 61a796b1
      From-SVN: r165879
      GCC Administrator committed
  2. 22 Oct, 2010 29 commits
    • gimplify.c (gimplify_variable_sized_compare): Preserve the source location info of the expression. · 692ad9aa
      	* gimplify.c (gimplify_variable_sized_compare): Preserve the source
      	location info of the expression.
      
      From-SVN: r165875
      Eric Botcazou committed
    • extend.texi (Named Address Spaces): Document the M32C named address space. · b3f85ff2
      * doc/extend.texi (Named Address Spaces): Document the M32C named
      address space.
      
      From-SVN: r165873
      DJ Delorie committed
    • m32c-pragma.c (m32c_register_pragmas): Register the __far address space. · 5fd5d713
      * config/m32c/m32c-pragma.c (m32c_register_pragmas): Register the
      __far address space.
      * config/m32c/m32c.h (ADDR_SPACE_FAR): New.  Add support for
      "__far" address space for R8C and M16C processor variants.
      * config/m32c/m32c.c (m32c_addr_space_legitimate_address_p): New.
      (far_addr_space_p): New.
      (encode_pattern_1): Add sign and zero extend support.
      (m32c_hard_regno_nregs_1): Large pointers in A16 mode are SImode.
      (m32c_extra_constraint_p2): Add SF constraint.
      (m32c_legitimate_address_p): Support __far addresses.
      (m32c_addr_space_pointer_mode): New.
      (m32c_addr_space_address_mode): New.
      (m32c_addr_space_legitimate_address_p): New.
      (m32c_addr_space_legitimize_address): New.
      (m32c_addr_space_subset_p): New.
      (m32c_addr_space_convert): New.
      (conversions): Add __far operand patterns.
      (m32c_prepare_move): Force constants into registers for __far
      moves.
      (m32c_split_move): __far moves are always split.
      * config/m32c/addsub.md (addsi3_1): Support SImode symbols.
      * config/m32c/mov.md (mov<mode>_far_op1): New.
      (mov<mode>_far_op2): New.
      (movqi_op): Add __far (SF) support.
      (movhi_op): Likewise.
      (movsi_splittable): Split A1A0 also.
      
      From-SVN: r165865
      DJ Delorie committed
    • Fix regexp in powerpc test · bf1a7f66
      From-SVN: r165863
      Michael Meissner committed
    • Fix regexp in powerpc test · f6dce794
      From-SVN: r165862
      Michael Meissner committed
    • c-typeck.c (build_array_ref): Handle subscripting of vectors. · 30cd1c5d
      2010-10-22  Artjoms Sinkarovs <artyom.shinakroff@gmail.com>
      	Andrew Pinski <pinskia@gmail.com>
      
      	* c-typeck.c (build_array_ref): Handle subscripting of vectors.
      	* doc/extend.texi: New paragraph
      
      	c-family/
      	* c-common.h (c_common_mark_addressable_vec): Declare.
      	* c-common.c (c_common_mark_addressable_vec): New function.
      
      	testsuite/
      	* gcc.c-torture/execute/vector-subscript-1.c: Likewise.
      	* gcc.c-torture/execute/vector-subscript-2.c: Likewise.
      	* gcc.c-torture/execute/vector-subscript-3.c: New testcase.
      	* gcc.dg/vector-subscript-1.c: Likewise.
      	* gcc.dg/vector-subscript-2.c: Likewise.
      	* gcc.dg/vector-subscript-3.c: New testcase.
      	* gcc.dg/array-8.c: Adjust.
      
      Co-Authored-By: Andrew Pinski <pinskia@gmail.com>
      
      From-SVN: r165861
      Artjoms Sinkarovs committed
    • * config.pdp11/pdp11.h (DBX_DEBUGGING_INFO): Define. · 5c958bda
      From-SVN: r165860
      Paul Koning committed
    • * config/m32c/m32c-lib1.S (m32c_jsri16): Make reentrant. · f6bac694
      From-SVN: r165859
      DJ Delorie committed
    • * config/pdp11/pdp11.h (IRA_COVER_CLASSES): Define. · 4d1bc60a
      From-SVN: r165858
      Paul Koning committed
    • Add __builtin_fma vector transform for i386. · 834d5dce
      From-SVN: r165857
      Richard Henderson committed
    • Use ABS/NEG+USE for vector modes as well. · 7a12785c
      From-SVN: r165856
      Richard Henderson committed
    • gcc.c (DEFAULT_SWITCH_CURTAILS_COMPILATION, [...]): Remove. · c3fb2eb4
      	* gcc.c (DEFAULT_SWITCH_CURTAILS_COMPILATION,
      	SWITCH_CURTAILS_COMPILATION): Remove.
      	* doc/tm.texi.in (SWITCH_CURTAILS_COMPILATION): Remove
      	documentation.
      	* doc/tm.texi: Regenerate.
      	* system.h (SWITCH_CURTAILS_COMPILATION): Poison.
      
      From-SVN: r165855
      Joseph Myers committed
    • Implementation of the pipeline description for Bulldozer (bdver1) · 6a08ffca
      	* gcc/config/i386/bdver1.md: New file.
      	* gcc/config/i386/i386.md (include "bdver1.md"): Invoke the
      	pipeline description for bdver1.
      	(x86_sahf_1): Add "bdver1_decode" attribute.
      	(*cmpfp_i_mixed): Likewise.
      	(*cmpfp_i_sse): Likewise.
      	(*cmpfp_i_i387): Likewise.
      	(*cmpfp_iu_mixed): Likewise.
      	(*cmpfp_iu_sse): Likewise.
      	(*cmpfp_iu_387): Likewise.
      	(*swap<mode>,*swap<mode>_1): Likewise.
      	(fixuns_trunc<mode>hi2): Likewise.
      	(fix_trunc<mode>si_sse): Likewise.
      	(x86_fnstcw_1): Likewise.
      	(x86_fldcw_1): Likewise.
      	(*floatsi<mode>2_vector_mixed_with_temp): Likewise.
      	(*floatsi<mode>2_vector_mixed): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_mixed_with_temp): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_mixed_interunit): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_mixed_nointerunit): Likewise.
      	(*floatsi<mode>2_vector_sse_with_temp): Likewise.
      	(*floatsi<mode>2_vector_sse): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_sse_with_temp): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_sse_interunit): Likewise.
      	(*float<SSEMODEI24:mode><MODEF:mode>2_sse_nointerunit): Likewise.
      	(*mul<mode>3_1): Likewise.
      	(*mulsi3_1_zext): Likewise.
      	(*mulhi3_1): Likewise.
      	(*mulqi3_1): Likewise.
      	(*<u>mul<mode><dwi>3_1): Likewise.
      	(*<u>mulqihi3_1): Likewise.
      	(*<s>muldi3_highpart_1): Likewise.
      	(*<s>mulsi3_highpart_1): Likewise.
      	(*<s>mulsi3_highpart_zext): Likewise.
      	(x86_64_shld): Likewise.
      	(x86_shld): Likewise.
      	(x86_64_shrd): Likewise.
      	(x86_shrd): Likewise.
      	(sqrtxf2): Likewise.
      	(sqrt_extend<mode>xf2_i387): Likewise.
      	(*sqrt<mode>2_sse): Likewise.
      	* gcc/config/i386/sse.md (sse_cvtsi2ss): Add "bdver1_decode" attribute.
      	(sse_cvtsi2ssq): Likewise.
      	(sse_cvtss2si): Likewise.
      	(sse_cvtss2si_2): Likewise.
      	(sse_cvtss2siq): Likewise.
      	(sse_cvtss2siq_2): Likewise.
      	(sse_cvttss2si): Likewise.
      	(sse_cvttss2siq): Likewise.
      	(sse2_cvtpi2pd): Likewise.
      	(sse2_cvttpd2pi): Likewise.
      	(sse2_cvtsi2sd): Likewise.
      	(sse2_cvtsi2sdq): Likewise.
      	(sse2_cvtsd2si): Likewise.
      	(sse2_cvtsd2si_2): Likewise.
      	(sse2_cvtsd2siq): Likewise.
      	(sse2_cvtsd2siq_2): Likewise.
      	(sse2_cvttsd2si): Likewise.
      	(sse2_cvttsd2siq): Likewise.
      	(*sse2_cvtpd2dq): Likewise.
      	(*sse2_cvttpd2dq): Likewise.
      	(sse2_cvtsd2ss): Likewise.
      	(sse2_cvtss2sd): Likewise.
      	(*sse2_cvtpd2ps): Likewise.
      	(sse2_cvtps2pd): Likewise.
      
      From-SVN: r165853
      Changpeng Fang committed
    • re PR tree-optimization/46137 (g++.dg/torture/pr45877.C FAILs with -fno-tree-dce) · 07db7d35
      2010-10-22  Richard Guenther  <rguenther@suse.de>
      
      	PR middle-end/46137
      	* gimple-fold.c (gimplify_and_update_call_from_tree): Properly
      	remove the virtual operands if they are not needed.
      
      	* c-c++-common/torture/pr46137.c: New testcase.
      
      From-SVN: r165852
      Richard Guenther committed
    • Update processsor_costs table for bdver1 · d8c801fd
      	* gcc/config/i386/i386.c (processor_costs bdver1_cost): Update
      	insn costs and architectural parameters for bdver1.
      
      From-SVN: r165851
      Changpeng Fang committed
    • re PR c++/46129 (ICE: in tsubst_copy, at cp/pt.c:11375) · 59dd34c4
      	PR c++/46129
      	* pt.c (instantiate_class_template): Don't instantiate default
      	arguments.
      
      From-SVN: r165850
      Jason Merrill committed
    • re PR c++/46103 ([c++0x] moving from std::array copies the elements) · f91352dc
      	PR c++/46103
      	* init.c (build_vec_init): Handle memberwise move.
      
      From-SVN: r165849
      Jason Merrill committed
    • gimple.h (gimple_register_canonical_type): Declare. · 4490cae6
      2010-10-22  Richard Guenther  <rguenther@suse.de>
      
      	* gimple.h (gimple_register_canonical_type): Declare.
      	* gimple.c (gimple_canonical_types): New global hashtable.
      	(struct gimple_type_leader_entry_s): New type.
      	(gimple_type_leader): New global cache.
      	(gimple_lookup_type_leader): New function.
      	(gtc_visit): Query the proper cache.
      	(gimple_types_compatible_p): Likewise.
      	(gimple_register_type): Use the new cache instead of TYPE_CANONICAL.
      	(gimple_canonical_type_eq): New function.
      	(gimple_register_canonical_type): Likewise.
      	(print_gimple_types_stats): Adjust for gimple_canonical_types.
      	(free_gimple_type_tables): Likewise.  Free gimple_type_leader.
      	* tree-ssa.c (useless_type_conversion_p): Do not dispatch to
      	gimple_types_compatible_p for LTO.
      
      	lto/
      	* lto.c (lto_fixup_type): Fixup TYPE_CANONICAL again, via
      	the new gimple_register_canonical_type.
      
      From-SVN: r165848
      Richard Guenther committed
    • re PR target/46098 (ICE: in extract_insn, at recog.c:2100 with -msse3… · 5ab2c5cb
      re PR target/46098 (ICE: in extract_insn, at recog.c:2100 with -msse3 -ffloat-store and __builtin_ia32_loadupd())
      
      	PR target/46098
      	* config/i386/sse.md (*avx_movu<ssemodesuffix><avxmodesuffix>):
      	Rename from avx_movu<ssemodesuffix><avxmodesuffix>.
      	(avx_movu<ssemodesuffix><avxmodesuffix>): New expander.
      	(*<sse>_movu<ssemodesuffix>): Rename from <sse>_movu<ssemodesuffix>.
      	(<sse>_movu<ssemodesuffix>): New expander.
      	(*avx_movdqu<avxmodesuffix>): Rename from avx_movdqu<avxmodesuffix>.
      	(avx_movdqu<avxmodesuffix>): New expander.
      	(*sse2_movdqu): Rename from sse2_movdqu.
      	(sse2_movdqu): New expander.
      
      testsuite/ChangeLog:
      
      	PR target/46098
      	* gcc.target/i386/pr46098.c: New test.
      
      From-SVN: r165845
      Uros Bizjak committed
    • * gcc.pot: Regenerate. · 4e8859d2
      From-SVN: r165838
      Joseph Myers committed
    • * EXCLUDES: Add read-md.c. · bf02e326
      From-SVN: r165837
      Joseph Myers committed
    • * exgettext: Only handle Warn when followed by '('. · 965e7f22
      From-SVN: r165835
      Joseph Myers committed
    • [multiple changes] · c7532b2d
      2010-10-22  Ben Brosgol  <brosgol@adacore.com>
      
      	* gnat_rm.texi: Add chapter on Ada 2012 support.
      
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch12.adb: Minor reformatting.
      
      2010-10-22  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_dist.adb: Mark missing case of nested package when expanding
      	stubs.
      
      2010-10-22  Ed Schonberg  <schonberg@adacore.com>
      
      	* par-ch10.adb: Discard incomplete with_clause.
      
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* checks.adb (Enable_Range_Check): Remove code suppressing range check
      	if static predicate present, not needed.
      	* exp_attr.adb (Expand_Pred_Succ): Check Suppress_Assignment_Checks flag
      	* exp_ch3.adb (Expand_N_Object_Declaration): Check
      	Suppress_Assignment_Checks flag.
      	* exp_ch4.adb (Expand_N_In): Make some corrections for proper handling
      	of ranges when predicates are present.
      	* exp_ch5.adb (Expand_Predicated_Loop): New procedure
      	(Expand_N_Assignment_Statement): Check Suppress_Assignment_Checks flag
      	(Expand_N_Loop_Statement): Handle loops over predicated types
      	* sem_case.adb (Analyze_Choices): Remove extra blank in error message.
      	* sem_ch13.adb (Build_Predicate_Function.Add_Call): Suppress info
      	message for inheritance if within a generic instance, not useful there!
      	(Build_Static_Predicate): Optimize test in predicate function
      	based on static ranges determined.
      	* sem_ch5.adb (Analyze_Iteration_Scheme): Error for loop through
      	subtype with non-static predicate.
      	* sinfo.ads, sinfo.adb (Suppress_Assignment_Checks): New flag.
      
      From-SVN: r165834
      Arnaud Charlet committed
    • * cpplib.pot: Regenerate. · 41787e1d
      From-SVN: r165833
      Joseph Myers committed
    • re PR middle-end/45720 (Revision 164367 miscompiled SPEC CPU 2K) · d8ba5b19
      2010-10-22  Richard Guenther  <rguenther@suse.de>
      
      	PR tree-optimization/45720
      	* tree-vect-data-refs.c (vect_update_misalignment_for_peel):
      	Handle negative step.
      	(vect_enhance_data_refs_alignment): Likewise.
      	* tree-vect-loop-manip.c (vect_gen_niters_for_prolog_loop): Likewise.
      	(vect_create_cond_for_align_checks): Likewise.
      	(vect_create_cond_for_alias_checks): Likewise.
      
      	* gcc.dg/torture/pr45720.c: New testcase.
      
      From-SVN: r165832
      Richard Guenther committed
    • [multiple changes] · 9fc2854d
      2010-10-22  Thomas Quinot  <quinot@adacore.com>
      
      	* uname.adb (Get_Unit_Name.Add_Node_Name): If encountering an error
      	node in the unit name, propagate Program_Error to guard against
      	cascaded errors.
      
      2010-10-22  Javier Miranda  <miranda@adacore.com>
      
      	* sem_ch8.adb (Find_Selected_Component): Do not generate a subtype for
      	selected components of dispatch table wrappers.
      
      2010-10-22  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch9.adb (Make_Initialize_Protection): A protected type that
      	implements an interface must be treated as if it has entries, to
      	support dispatching select statements.
      
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* sem_aggr.adb, sem_ch3.adb: Minor reformatting.
      
      From-SVN: r165831
      Arnaud Charlet committed
    • [multiple changes] · f915704f
      2010-10-22  Javier Miranda  <miranda@adacore.com>
      
      	* sem_aggr.adb (Resolve_Array_Aggregate.Add): If the type of the
      	aggregate has a non standard representation the attributes 'Val and
      	'Pos expand into function calls and the resulting expression is
      	considered non-safe for reevaluation by the backend. Relocate it into
      	a constant temporary to indicate to the backend that it is side
      	effects free.
      
      2010-10-22  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Build_Concurrent_Derived_Type): Create declaration for
      	derived corresponding record type only when expansion is enabled.
      
      From-SVN: r165830
      Arnaud Charlet committed
    • sem_case.adb, [...] (Bad_Predicated_Subtype_Use): Change order of parameters. · ed00f472
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* sem_case.adb, sem_attr.adb (Bad_Predicated_Subtype_Use): Change order
      	of parameters.
      	* sem_ch13.adb (Build_Predicate_Function): Don't give inheritance
      	messages for generic actual subtypes.
      	* sem_ch9.adb, sem_res.adb, sem_util.adb, sem_util.ads, sem_ch3.adb
      	(Bad_Predicated_Subtype_Use): Use this procedure.
      
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch5.adb: Minor reformatting.
      
      From-SVN: r165829
      Robert Dewar committed
    • a-except-2005.adb (Rmsg_18): New message text. · 86200f66
      2010-10-22  Robert Dewar  <dewar@adacore.com>
      
      	* a-except-2005.adb (Rmsg_18): New message text.
      	* a-except.adb (Rmsg_18): New message text.
      	* atree.adb (List25): New function
      	(Set_List25): New procedure
      	* atree.ads (List25): New function
      	(Set_List25): New procedure
      	* einfo.adb (Static_Predicate): Is now a list
      	(OK_To_Reference): Present in all entities
      	* einfo.ads (Static_Predicate): Is now a list
      	(OK_To_Reference): Applies to all entities
      	* exp_ch13.adb (Build_Predicate_Function): Moved to Sem_Ch13
      	* sem_attr.adb (Bad_Attribute_For_Predicate): Call
      	Bad_Predicated_Subtype_Use.
      	* sem_case.ads, sem_case.adb: Major surgery to deal with predicated
      	subtype case.
      	* sem_ch13.adb (Build_Predicate_Function): Moved from Exp_Ch13 to
      	Sem_Ch13.
      	(Build_Static_Predicate): New procedure handles static predicates.
      	* sem_ch3.adb (Analyze_Subtype_Declaration): Delay freeze on subtype
      	with no constraint if ancestor subtype has predicates.
      	(Analyze_Variant_Part): New calling sequence for Analyze_Choices
      	* sem_ch4.adb (Junk_Operand): Don't complain about OK_To_Reference
      	entity.
      	(Analyze_Case_Expression): New calling sequence for Analyze_Choices
      	* sem_ch5.adb (Analyze_Case_Statement): New calling sequence for
      	Analyze_Choices.
      	* sem_util.ads, sem_util.adb (Bad_Predicated_Subtype_Use): New procedure
      	* types.ads (PE_Bad_Predicated_Generic_Type): Replaces
      	PE_Bad_Attribute_For_Predicate.
      	* atree.h: Add definition of List25.
      
      From-SVN: r165828
      Robert Dewar committed