From-SVN: r127606

2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR c++/28989
        * tree.c (lvalue_p_1 <case SAVE_EXPR>): SAVE_EXPRs are never
        lvalues.

2007-08-17  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR c++/28989
        * g++.dg/expr/lval3.C: New test.
        * g++.dg/expr/lval4.C: New test.

From-SVN: r127603

	* typeck.c (find_method_in_interfaces): Update.
	* jcf-parse.c (load_class): Update.
	* java-gimplify.c (java_gimplify_component_ref): Removed.
	(java_gimplify_modify_expr): Update.  Removed pre_p and post_p
	arguments.
	(java_gimplify_expr): Update.
	* decl.c (java_init_decl_processing): Update.
	* class.c (set_constant_value): Update.
	(make_class_data): Update.
	(finish_class): Update.
	(build_static_field_ref): Update.
	(is_compiled_class): Update.
	(maybe_layout_super_class): Update.
	(layout_class): Update.
	(layout_class_method): Update.
	* java-tree.h (CAN_COMPLETE_NORMALLY): Removed.
	(lang_decl_var) <am, final_iud, cif>: Removed fields.
	(lang_decl_func) <init_calls_this>: Removed field.
	(lang_type) <dot_class, verify_method>: Removed fields.
	(FIELD_NESTED_ACCESS): Removed.
	(FIELD_NESTED_ACCESS_P): Removed.
	(DECL_FIELD_FINAL_IUD): Removed.
	(DECL_LOCAL_FINAL_IUD): Removed
	(LOCAL_FINAL_P): Removed.
	(FINAL_VARIABLE_P): Removed.
	(CLASS_FINAL_VARIABLE_P): Removed.
	(DECL_BIT_INDEX): Removed.
	(DECL_INIT_CALLS_THIS): Removed.
	(FIELD_LOCAL_ALIAS): Removed.
	(FIELD_LOCAL_ALIAS_USED): Removed.
	(FIELD_THISN): Removed.
	(DECL_FUNCTION_INIT_TEST_CLASS): Removed.
	(LOCAL_CLASS_INITIALIZATION_FLAG): Removed.
	(LOCAL_CLASS_INITIALIZATION_FLAG_P): Removed.
	(TYPE_DOT_CLASS): Removed.
	(TYPE_VERIFY_METHOD): Removed.
	(ID_CLASSDOLLAR_P): Removed.
	(enum java_tree_index) <JTI_CLASSDOLLAR_IDENTIFIER_NODE>:
	Removed.
	(classdollar_identifier_node): Removed.
	(TYPE_UNKNOWN): Removed.
	(CLASS_FROM_SOURCE_P): Removed.
	* expr.c (build_jni_stub): Update.
	(force_evaluation_order): Update.
	(build_java_empty_stmt): Update.
	(build_class_init): Update.
	(java_stack_swap): Update.
	(build_jni_stub): Update.

From-SVN: r127602

	PR c++/31749

	gcc/cp/
	* name-lookup.c (do_nonmember_using_decl): Shift implicit type
	declarations into appropriate slots for comparison.  Fix type
	comparison.

	gcc/testsuite/
	* g++.dg/lookup/builtin3.C: New test.
	* g++.dg/lookup/builtin4.C: New test.
	* g++.dg/lookup/using19.C: New test.

From-SVN: r127600

2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	PR c++/32190
	* g++.dg/parse/error31.C: New.

From-SVN: r127597

/cp
2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	PR c++/32112
	* error.c (dump_decl): Deal with UNBOUND_CLASS_TEMPLATE.
	* cxx-pretty-print.c (pp_cxx_unqualified_id): Likewise.

/testsuite
2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	PR c++/32112
	* g++.dg/template/error26.C: New.

From-SVN: r127596

2007-08-17  Michael Snyder  <msnyder@access-company.com>
* make-relative-prefix.c (make_relative_prefix_1): Resource leaks.

From-SVN: r127595

	* loop-invariant.c (find_invariants_to_move): Add missing macro
	argument.

From-SVN: r127591

	PR testsuite/31884
	* testsuite/ext/pb_ds/example/priority_queue_dijkstra.cc (main): Do
	not access deleted nodes.

	* testsuite/25_algorithms/copy/streambuf_iterators/char/4.cc,
	testsuite/25_algorithms/find/istreambuf_iterators/char/2.cc,
	testsuite/27_io/basic_filebuf/open/char/4.cc,
	testsuite/27_io/objects/char/9.cc: Use dg-require-fileio.
	* testsuite/ext/forced_exception_error/cons_virtual_derivation.cc,
	testsuite/ext/pb_ds/regression/hash_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/trie_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/list_update_no_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/tree_no_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/list_update_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/hash_no_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/priority_queue_rand.cc,
	testsuite/ext/pb_ds/regression/tree_data_map_rand.cc,
	testsuite/ext/pb_ds/regression/trie_no_data_map_rand.cc,
	testsuite/ext/throw_allocator/deallocate_global.cc,
	testsuite/ext/throw_allocator/check_delete.cc,
	testsuite/ext/throw_allocator/check_allocate_max_size.cc,
	testsuite/ext/throw_allocator/check_deallocate_null.cc,
	testsuite/ext/throw_allocator/check_new.cc,
	testsuite/ext/throw_allocator/deallocate_local.cc,
	testsuite/tr1/5_numerical_facilities/random/subtract_with_carry_01/cons/gen1.cc,
	testsuite/tr1/5_numerical_facilities/random/subtract_with_carry/cons/gen1.cc,
	testsuite/tr1/5_numerical_facilities/random/linear_congruential/cons/gen1.cc,
	testsuite/tr1/5_numerical_facilities/random/mersenne_twister/cons/gen1.cc,
	testsuite/23_containers/list/modifiers/insert/25288.cc: Use
	dg-require-time.

From-SVN: r127590

2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust
	dg-error lines.
	* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc: Ditto.

From-SVN: r127589

re PR libstdc++/33098 ([c++0x] __is_convertible_helper in type_traits uses deprecated add_reference)

2007-08-17  Chris Fairles  <chris.fairles@gmail.com>

	PR libstdc++/33098
	* include/std/type_traits (__is_convertible_helper):
	Use add_lvalue_reference.

From-SVN: r127588

gcc:
	* tree.h (struct tree_label_decl): Removed old "java" fields.
gcc/java:
	* java-tree.h (LABEL_TYPE_STATE): Removed.
	(load_type_state): Removed.
	(LABEL_PC): Removed.
	(LABEL_VERIFIED): Removed.
	(type_states): Declare.
	* expr.c (type_states): New global.
	(load_type_state): Now static.  Use type_states.  Changed
	argument.
	(lookup_label): Don't set LABEL_PC.
	(expand_byte_code): Don't use LABEL_VERIFIED.
	(note_instructions): Initialize type_states.
	* verify-glue.c (vfy_note_stack_depth): Rewrote.
	(vfy_note_stack_type): Use type_states.
	(vfy_note_local_type): Likewise.

From-SVN: r127587

2007-08-17  Richard Sandiford  <richard@codesourcery.com>
	    Nigel Stephens  <nigel@mips.com>

	* config/mt-sde: New file.
	* configure.ac (mips*-sde-elf*): New stanza.  Use config/mt-sde
	as target_makefile_frag.
	* configure: Regenerate.

gcc/
2007-08-17  Richard Sandiford  <richard@codesourcery.com>
	    Nigel Stephens  <nigel@mips.com>

	* config/mips/sde.h (DRIVER_SELF_SPECS): Add commas.
	Treat -mno-data-in-code and -mcode-xonly as aliases for
	-mcode-readable=no and -mcode-readable=pcrel respectively.
	* config/mips/t-sde (TARGET_LIBGCC2_CFLAGS): Add -mcode-xonly.
	(MULTILIB_OPTIONS): Add -mcode-readable=no multilibs.
	(MULTILIB_DIRNAMES): Update accordingly.

Co-Authored-By: Nigel Stephens <nigel@mips.com>

From-SVN: r127586

	PR fortran/33079

	* intrinsics/string_intrinsics.c (string_trim, string_minmax): Fix
	the zero-length result case.

	* gfortran.dg/zero_length_2.f90: New test.

From-SVN: r127584

2007-08-17  H.J. Lu  <hongjiu.lu@intel.com>

	* Makefile.in (version.o): Depend on $(REVISION) only if
	REVISION_s is defined.

From-SVN: r127583

2007-08-17  Tobias Burnus  <burnus@net-b.de>

        * gfortran.dg/kind_tests_2.f03: Add cleanup-modules.
        * gfortran.dg/kind_tests_3.f03: Ditto.
        * gfortran.dg/global_vars_f90_init.f90: Ditto.
        * gfortran.dg/interface_13.f90: Ditto.
        * gfortran.dg/pr32738.f90: Ditto.
        * gfortran.dg/module_private_1.f90: Ditto.
        * gfortran.dg/test_only_clause.f90: Ditto.
        * gfortran.dg/bind_c_vars.f90: Ditto.
        * gfortran.dg/bind_c_dts.f90: Ditto.
        * gfortran.dg/use_9.f90: Ditto.
        * gfortran.dg/generic_8.f90: Ditto.
        * gfortran.dg/bind_c_implicit_vars.f03: Ditto.
        * gfortran.dg/private_type_6.f90: Ditto.
        * gfortran.dg/c_assoc.f90: Ditto.
        * gfortran.dg/private_type_7.f90: Ditto.
        * gfortran.dg/global_vars_c_init.f90: Ditto.
        * gfortran.dg/bind_c_dts_2.f03: Ditto.
        * gfortran.dg/c_f_pointer_tests.f90: Ditto.
        * gfortran.dg/c_size_t_test.f03: Ditto.
        * gfortran.dg/used_types_12.f90: Ditto.
        * gfortran.dg/pr25923.f90: Ditto.
        * gfortran.dg/test_com_block.f90: Ditto.
        * gfortran.dg/iso_c_binding_rename_1.f03: Ditto.
        * gfortran.dg/equiv_constraint_7.f90: Ditto.
        * gfortran.dg/com_block_driver.f90: Ditto.
        * gfortran.dg/iso_c_binding_rename_2.f03: Ditto.
        * gfortran.dg/use_iso_c_binding.f90: Ditto.
        * gfortran.dg/c_loc_test.f90: Ditto.
        * gfortran.dg/c_ptr_tests.f03: Ditto.
        * gfortran.dg/module_interface_1.f90: Ditto.

From-SVN: r127582

/cp
2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	PR c++/32870
	* parser.c (cp_parser_class_head): Improve error message.

/testsuite
2007-08-17  Paolo Carlini  <pcarlini@suse.de>

	PR c++/32870
	* g++.dg/other/error17.C: Adjust.

From-SVN: r127581

2007-08-17  Johannes Willkomm  <willkomm@sc.rwth-aachen.de>

	PR libstdc++/33084
	* include/std/valarray (operator _Op(const _Tp&,
	const valarray<>&)): Fix typo.
	* testsuite/26_numerics/numeric_arrays/valarray/33084.cc: New.

From-SVN: r127579

	PR middle-end/32970
gcc/
	* tree.c (reconstruct_complex_type): For a pointer to a vector,
	use build_qualified_type to retain qualifiers of the base type.
testsuite/
	* g++.dg/ext/altivec-14.C: New test.

From-SVN: r127578

2007-08-17  Chen Liqin  <liqin@sunnorth.com.cn>
        * config/score/score.md : Update pattern tablejump.
        * config/score/score.c : Update score_initialize_trampoline 
        function.
        * config/score/score.h (TRAMPOLINE_TEMPLATE): Added macro.
        (TRAMPOLINE_INSNS, TRAMPOLINE_SIZE) Update macro.
        * doc/contrib.texi: Add my entry.

From-SVN: r127577

From-SVN: r127574

ChangeLog:
* Makefile.def (STAGE2_CFLAGS, STAGE3_CFLAGS, STAGE4_CFLAGS):
Add to flags_to_pass.  Adjust uses of BOOT_CFLAGS.
(bootstrap2-debug, bootstrap-debug): New bootstrap stages.
* Makefile.tpl (STAGE2_CFLAGS, STAGE3_CFLAGS, STAGE4_CFLAGS): New.
(do-compare, do-compare3, do-compare-debug): New.
([+compare-target+]): Use them.
contrib/ChangeLog:
* compare-debug: New.

From-SVN: r127570

2007-08-16  H.J. Lu  <hongjiu.lu@intel.com>

	* Makefile.in (REVISION): New.
	(REVISION_c): New.
	(REVISION_s): New.
	(version.o): Also depend on $(REVISION). Add
	-DREVISION=$(REVISION_s).

	* version.c (version_string): Add REVISION.

From-SVN: r127568

        * gcc.dg/tree-ssa/ssa-dse-10.c: Clean up all dse dump files.
        * gcc.dg/vect/dump-tree-dceloop-pr26359.c: Clean up all dceloop
        dump files.
        * gcc.dg/vect/pr25371.c: Clean up vect dump file.
        * gcc.dg/vect/pr32366.c: Ditto.

From-SVN: r127567

2007-08-16  H.J. Lu  <hongjiu.lu@intel.com>
	    Andreas Schwab <schwab@suse.de>

	* gcc_update: Use "svn info" for revision number.  Create
	gcc/REVISION with branch name and revision number.

Co-Authored-By: Andreas Schwab <schwab@suse.de>

From-SVN: r127566

re PR testsuite/33082 (Revision 127491 causes FAIL: gcc.dg/dfp/convert-bfp-fold.c (test for excess errors))

	PR testsuite/33082
	* gcc.dg/dfp/convert-dfp-fold.c: Use -O2 instead of -O in dg-options.
	* gcc.dg/dfp/convert-bfp-fold.c: Ditto.
	* gcc.dg/dfp/convert-int-fold.c: Ditto.
	* gcc.dg/dfp/operator-arith-fold.c: Ditto.

From-SVN: r127565

2007-08-16  Tobias Burnus  <burnus@net-b.de>

	PR fortran/33072
	* module.c (gfc_match_use): Mark user operators as such.
	(find_use_name_n): Distinguish between operators and other symbols.
	(find_use_name,number_use_names,mio_namelist,
	 load_operator_interfaces,load_generic_interfaces,read_module,
	 write_generic): Update find_use_name_n calls.

2007-08-16  Tobias Burnus  <burnus@net-b.de>

	PR fortran/33072
	* gfortran.dg/use_9.f90: New.

From-SVN: r127564

gcc/testsuite/ChangeLog:

2007-08-16  Seongbae Park <seongbae.park@gmail.com>

        * g++.dg/gcov/gcov-5.C: New test.


gcc/cp/ChangeLog:

2007-08-16  Seongbae Park <seongbae.park@gmail.com>

        * pt.c (instantiate_decl): Set input_location
        for the function end.

From-SVN: r127563

tree-eh.c (lower_try_finally_onedest): Reset the locus of GOTO that's relocated to a different block.

gcc/ChangeLog:
2007-08-16  Seongbae Park <seongbae.park@gmail.com>

	* tree-eh.c (lower_try_finally_onedest): Reset the locus
	of GOTO that's relocated to a different block.

gcc/testsuite/ChangeLog:
2007-08-16  Seongbae Park  <seongbae.park@gmail.com>

	* g++.dg/gcov/gcov-4.C: New test.
	* lib/gcov.exp (verify-lines): Add support for
	checking no-coverage lines.

From-SVN: r127562

	* c-common.c (const_strip_array_types): New.
	* c-common.h (lang_missing_noreturn_ok_p): Delete.
	(const_strip_array_types): New.
	* c-objc-common.c (c_disregard_inline_limits,
	c_warn_unused_global_decl): Constify.
	* c-tree.h (c_disregard_inline_limits, c_warn_unused_global_decl,
	c_vla_type_p, c_incomplete_type_error): Likewise.
	* c-typeck.c (c_incomplete_type_error, c_vla_type_p): Likewise.
	* hooks.c (hook_bool_const_tree_false): New.
	* hooks.h (hook_bool_const_tree_false): Likewise.
	* langhooks-def.h (lhd_warn_unused_global_decl,
	lhd_incomplete_type_error, lhd_expr_size,
	lhd_tree_inlining_disregard_inline_limits,
	lhd_tree_inlining_auto_var_in_fn_p, lhd_tree_dump_type_quals,
	LANG_HOOKS_GENERIC_TYPE_P, LANG_HOOKS_TYPE_MAX_SIZE): Constify.
	* langhooks.c (lhd_warn_unused_global_decl,
	lhd_incomplete_type_error,
	lhd_tree_inlining_disregard_inline_limits,
	lhd_tree_inlining_auto_var_in_fn_p, lhd_tree_dump_type_quals,
	lhd_expr_size): Likewise.
	* langhooks.h (lang_hooks_for_tree_inlining,
	lang_hooks_for_tree_dump, lang_hooks_for_types,
	lang_hooks_for_decls, lang_hooks): Likewise.
	* pointer-set.c (pointer_set_t, pointer_set_create,
	pointer_set_contains, insert_aux, pointer_set_insert,
	pointer_set_traverse, pointer_map_t, pointer_map_create,
	pointer_map_contains, pointer_map_insert, pointer_map_traverse):
	Likewise.
	* pointer-set.h (pointer_set_contains, pointer_set_insert,
	pointer_set_traverse, pointer_map_contains, pointer_map_insert,
	pointer_map_traverse): Likewise.
	* predict.c (assert_is_empty): Likewise.
	* tree-affine.c (free_name_expansion): Likewise.
	* tree-cfg.c (edge_to_cases_cleanup): Likewise.
	* tree.c (size_in_bytes, max_int_size_in_bytes): Likewise.
	* tree.h (size_in_bytes, max_int_size_in_bytes): Likewise.
	
ada:
	* misc.c (gnat_type_max_size): Constify.

cp:
	* cp-objcp-common.c (cxx_warn_unused_global_decl, cp_expr_size):
	Constify.
	* cp-tree.h (local_variable_p, nonstatic_local_decl_p,
	class_tmpl_impl_spec_p, cp_auto_var_in_fn_p, cp_type_quals,
	cxx_incomplete_type_diagnostic, cxx_incomplete_type_error,
	cxx_warn_unused_global_decl, cp_expr_size): Likewise.
	* decl.c (local_variable_p, nonstatic_local_decl_p): Likewise.
	* tree.c (class_tmpl_impl_spec_p, cp_auto_var_in_fn_p): Likewise.
	* typeck.c (cp_type_quals): Likewise.
	* typeck2.c (cxx_incomplete_type_diagnostic,
	cxx_incomplete_type_error): Likewise.

From-SVN: r127560

gcc/ChangeLog

	* tree-vectorizer.c (new_loop_vec_info): Initialize new 
	field.
	(destroy_loop_vec_info): Add call to VEC_free.
	* tree-vectorizer.h (may_alias_ddrs): Define.
	(LOOP_VINFO_MAY_ALIAS_DDRS): Define.
	* tree-vect-analyze.c (vect_analyze_data_ref_dependence):
	Change reporting to dump.
	(vect_is_duplicate_ddr): New.
	(vect_mark_for_runtime_alias_test): New.
	(vect_analyze_data_ref_dependences) Add call to
	vect_mark_for_runtime_alias_test.
	(vect_enhance_data_refs_alignment): Define local variable
	vect_versioning_for_alias_required, don't perform
	peeling for alignment if versioning for alias is
	required.
	(vect_enhance_data_refs_alignment): Use
	PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS instead of
	PARAM_VECT_MAX_VERSION_CHECKS.
	* tree-vect-transform.c
	(vect_create_cond_for_alias_checks): New.
	(vect_transform_loop): Add call to
	vect_create_cond_for_alias_checks.
	(vect_vfa_segment_size): New.
	* params.def (PARAM_VECT_MAX_VERSION_FOR_ALIGNMENT_CHECKS):
	Rename.
	(PARAM_VECT_MAX_VERSION_FOR_ALIAS_CHECKS): Define.
	* gcc/doc/invoke.texi
	(vect-max-version-for-alignment-checks): Document.
	(vect-max-version-for-alias-checks): Document.
	(vect-max-version-checks): Remove.
     
gcc/testsuite/ChangeLog

	* gcc.dg/vect/vect-vfa-01.c: New.
	* gcc.dg/vect/vect-vfa-02.c: New.
	* gcc.dg/vect/vect-vfa-03.c: New.
	* gcc.dg/vect/vect-vfa-04.c: New.
	* gcc.dg/vect/vect-102a.c, gcc.dg/vect/vect-51.c,
	gcc.dg/vect/pr29145.c, gcc.dg/vect/vect-43.c,
	gcc.dg/vect/vect-61.c, gcc.dg/vect/vect-53.c,
	gcc.dg/vect/vect-45.c, gcc.dg/vect/vect-101.c,
	gcc.dg/vect/vect-37.c, gcc.dg/vect/vect-79.c,
	gcc.dg/vect/vect-102.c, gcc.dg/vect/vect-dv-2.c,
	gcc.dg/vect/vect-57.c, gcc.dg/vect/vect-49.c,
	gfortran.dg/vect/pr19049.f90: Rename to start with
	prefix no-vfa-.
	* gcc.dg/vect/vect.exp: Disable versioning for alias
	when test starts with no-vfa-.
	* gfortran.dg/vect/vect.exp: Likewise.

From-SVN: r127559

i386.md (*rep_movdi_rex64): Emit "rep" prefix on the same line as the instruction for all asm dialects.

	* config/i386/i386.md (*rep_movdi_rex64): Emit "rep" prefix on
	the same line as the instruction for all asm dialects.
	(*rep_movsi): Ditto.
	(*rep_movsi_rex64): Ditto.
	(*rep_movqi): Ditto.
	(*rep_movqi_rex64): Ditto.
	(*rep_stosdi_rex64): Ditto.
	(*rep_stossi): Ditto.
	(*rep_stossi_rex64): Ditto.
	(*rep_stosqi): Ditto.
	(*rep_stosqi_rex64): Ditto.
	(*cmpstrnqi_nz_1): Ditto.
	(*cmpstrnqi_nz_rex_1): Ditto.
	(*cmpstrnqi_1): Ditto.
	(*cmpstrnqi_rex_1): Ditto.
	(*strlenqi_1): Ditto.
	(*strlenqi_rex_1): Ditto.
	* config/i386/sync.md (*sync_compare_and_swap<mode>): Emit "lock"
	prefix on the same line as the instruction for all asm dialects.
	(sync_double_compare_and_swap<mode>): Ditto.
	(*sync_double_compare_and_swapdi_pic): Ditto.
	(*sync_compare_and_swap_cc<mode>): Ditto.
	(sync_double_compare_and_swap_cc<mode>): Ditto.
	(*sync_double_compare_and_swap_ccdi_pic): Ditto.
	(sync_old_add<mode>): Ditto.
	(sync_add<mode>): Ditto.
	(sync_sub<mode>): Ditto.
	(sync_ior<mode>): Ditto.
	(sync_and<mode>): Ditto.
	(sync_xor<mode>): Ditto.

From-SVN: r127558

From-SVN: r127556

From-SVN: r127555

From-SVN: r127554

From-SVN: r127553

2007-08-16  Robert Dewar  <dewar@adacore.com>

	* gnat_ugn.texi: Add note on preprocessing (output file not written)

2007-08-16  Thomas Quinot  <quinot@adacore.com>

	* a-tags.adb: Minor reformatting.

2007-08-16  Bob Duff  <duff@adacore.com>

	* sem_type.ads, sem_ch4.adb: Minor reformatting.

From-SVN: r127552

vms_conv.adb (Process_Argument): Ensure that project related options are not put in the -cargs section when...

2007-08-16  Vincent Celier  <celier@adacore.com>

	* vms_conv.adb (Process_Argument): Ensure that project related options
	are not put in the -cargs section when using GNAT COMPILE.

From-SVN: r127551

2007-08-16  Hristian Kirtchev  <kirtchev@adacore.com>
	    Bob Duff  <duff@adacore.com>
	    Nicolas Setton  <setton@adacore.com>

	* sem_res.adb (Comes_From_Predefined_Lib_Unit): New.
	(Resolve): Alphabetize local variables. Add new variable From_Lib. When
	the statement which is being resolved comes from a predefined library
	unit, all non-predefined library interpretations are skipped.
	(Resolve_Op_Concat): If string concatenation was folded in the parser,
	but the "&" is user defined, give an error, because the folding would
	be wrong.

	* sinfo.ads, sinfo.adb (Is_Folded_In_Parser): New flag to indicate that
	the parser has folded a long sequence of concatenations of string
	literals.

	* trans.c (Handled_Sequence_Of_Statements_to_gnu): Mark "JMPBUF_SAVE"
	and "JMP_BUF" variables as artificial.
	(N_String_Literal): Do not use alloca for very long string literals. Use
	xmalloc/free instead. Otherwise the stack might overflow.

	* utils.c (init_gigi_decls): Mark "JMPBUF_T" type as created by the
	compiler.

From-SVN: r127550

sem_disp.adb (Check_Dispatching_Operation): If the operation implements an operation inherited from a progenitor interface...

2007-08-16  Ed Schonberg  <schonberg@adacore.com>

	* sem_disp.adb (Check_Dispatching_Operation): If the operation
	implements an operation inherited from a progenitor interface, verify
	that they are subtype-conformant.

From-SVN: r127549