1. 24 Jun, 2010 16 commits
  2. 23 Jun, 2010 24 commits
    • decl.c (java_init_decl_processing): Use double_int_to_tree instead of build_int_cst_wide. · c7d08869
      /java
      	* decl.c (java_init_decl_processing): Use double_int_to_tree instead
      	of build_int_cst_wide.
      	* boehm.c (set_bit): Remove.
      	(mark_reference_fields): Use double_int type for 'mask' argument.
      	Use double_int_setbit instead of set_bit.
      	(get_boehm_type_descriptor): Use double_int_setbit instead of
      	set_bit. Use double_int_to_tree instead of build_int_cst_wide.
      
      From-SVN: r161288
      Anatoly Sokolov committed
    • i386 (mov<mode>): Macroize expander from mov{sf,df,xf} using X87MODEF mode iterator. · bc051083
      	* config/i386/i386 (mov<mode>): Macroize expander from mov{sf,df,xf}
      	using X87MODEF mode iterator.
      	(pushsf splitter): Macroize splitter using P mode iterator.
      	(*swap<mode>): Macroize insn from *swap{sf,df} using MODEF
      	mode iterator.
      
      	(*movxf_internal): Rename from *movxf_integer.
      	(*movxf_internal_nointeger): Rename from *movxf_nointeger.
      	(*movdf_internal_rex64): Rename from *movdf_integer_rex64.
      	(*movdf_internal): Rename from *movdf_integer.
      	(*movdf_internal_nointeger): Rename from *movdf_nointeger.
      	(*movsf_internal): Rename from *movdf_1.
      
      From-SVN: r161287
      Uros Bizjak committed
    • coretypes.h: (gimple_seq_node_d, gimple_seq_node) · cde8534c
      2010-06-23  Basile Starynkevitch  <basile@starynkevitch.net>
      
      	* coretypes.h: (gimple_seq_node_d, gimple_seq_node)
      	(const_gimple_seq_node): Removed typedefs.
      
      	* gimple.h: (gimple_seq_node_d, gimple_seq_node)
      	(const_gimple_seq_node): Added typedefs moved from coretypes.h.
      
      From-SVN: r161283
      Basile Starynkevitch committed
    • re PR other/44644 (type/data name clash makes --enable-build-with-cxx cc1 hard to debug) · f12c802a
              PR other/44644
              * df-core.c (struct df): Rename to df_d.
              * df.h (struct df): Likewise.
              * dse.h (struct df): Remove forward declaration.
              * recog.h (struct insn_data): Rename to:
              (struct_insn_data_d).  Adjusted all users.
      
      From-SVN: r161281
      Joern Rennecke committed
    • Split AVX vec_extract_lo_XXX and 128bit to 256bit cast. · 9b2133cd
      Remove 256bit to 128bit cast.
      
      2010-06-23  H.J. Lu  <hongjiu.lu@intel.com>
      
      	* config/i386/i386.c (bdesc_args): Replace CODE_FOR_avx_si_si256,
      	CODE_FOR_avx_ps_ps256 and CODE_FOR_avx_pd_pd256 with
      	CODE_FOR_vec_extract_lo_v8si, CODE_FOR_vec_extract_lo_v8sf
      	and CODE_FOR_vec_extract_lo_v4df.
      
      	* config/i386/sse.md (vec_extract_lo_<AVX256MODE4P:mode>):
      	Changed to define_insn_and_split.
      	(vec_extract_lo_<AVX256MODE8P:mode>): Likewise.
      	(vec_extract_lo_v16hi): Likewise.
      	(vec_extract_lo_v32qi): Likewise.
      	(avx_<avxmodesuffixp><avxmodesuffix>_<avxmodesuffixp>): Likewise.
      	(avx_<avxmodesuffixp>_<avxmodesuffixp><avxmodesuffix>): Removed.
      
      From-SVN: r161279
      H.J. Lu committed
    • Fix header. · e487f350
      From-SVN: r161278
      Arnaud Charlet committed
    • [multiple changes] · 6e1ee5c3
      2010-06-23  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_attr.adb (Expand_Access_To_Protected_Op): When rewriting a
      	reference to a protected subprogram outside of the protected's scope,
      	ensure the corresponding external subprogram is frozen before the
      	reference.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_prag.adb: Fix typo in error message.
      	* sem.adb: Refine previous change.
      
      2010-06-23  Robert Dewar  <dewar@adacore.com>
      
      	* impunit.adb, a-suewen.adb, a-suewen.ads, a-suenco.adb, a-suenco.ads,
      	a-suezen.adb, a-suezen.ads, a-stuten.adb, a-stuten.ads, Makefile.rtl:
      	Implement Ada 2012 string encoding packages.
      
      2010-06-23  Arnaud Charlet  <charlet@adacore.com>
      
      	* a-stwiun-shared.adb, a-stwiun-shared.ads, a-stzunb-shared.adb,
      	a-stzunb-shared.ads, a-swunau-shared.adb, a-swuwti-shared.adb,
      	a-szunau-shared.adb, a-szuzti-shared.adb: New files.
      	* gcc-interface/Makefile.in: Enable use of above files.
      
      From-SVN: r161277
      Arnaud Charlet committed
    • Add PR markers. · f52d94aa
      From-SVN: r161276
      Joern Rennecke committed
    • * config/spu/spu-protos.h (spu_expand_epilogue) Use bool. · 82c0295a
              * config/spu/spu.c (spu_scalar_mode_supported_p): Declare with bool.
              (spu_vector_mode_supported_p, spu_handle_fndecl_attribute): Likewise.
              (spu_handle_vector_attribute, spu_pass_by_reference): Likewise.
              (spu_rtx_costs, spu_function_ok_for_sibcall): Likewise.
      
      From-SVN: r161274
      Joern Rennecke committed
    • [multiple changes] · 1d57c04f
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch13.adb (Check_Constant_Address_Clauses): Do not check legality
      	of address clauses if if Ignore_Rep_Clauses is active.
      	* freeze.adb (Check_Address_Clause): If Ignore_Rep_Clauses is active,
      	remove address clause from tree so that it does not reach the backend.
      
      2010-06-23  Arnaud Charlet  <charlet@adacore.com>
      
      	* exp_attr.adb (Expand_N_Attribute_Reference [Attribute_Valid]): Do not
      	expand 'Valid from user code in CodePeer mode, will be handled by the
      	back-end directly.
      
      2010-06-23  Bob Duff  <duff@adacore.com>
      
      	* g-comlin.ads: Minor comment improvements.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_res.adb (Uses_SS): The expression that initializes a controlled
      	component of a record type may be a user-defined operator that is
      	rewritten as a function call.
      
      From-SVN: r161271
      Arnaud Charlet committed
    • g-comlin.ads, [...]: Minor comment fix. · b91fccb3
      2010-06-23  Bob Duff  <duff@adacore.com>
      
      	* g-comlin.ads, sem_ch13.adb: Minor comment fix.
      
      From-SVN: r161270
      Bob Duff committed
    • [multiple changes] · 0eed45bb
      2010-06-23  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* exp_ch11.adb (Expand_Local_Exception_Handlers): Propagate the end
      	label to the new sequence of statements.  Set the sloc of the raise
      	statement onto the new goto statements.
      
      2010-06-23  Robert Dewar  <dewar@adacore.com>
      
      	* a-stuten.ads, a-stuten.adb: New files.
      	* impunit.adb: Add engtry for Ada.Strings.UTF_Encoding (a-stuten.ads)
      	* Makefile.rtl: Add entry for a-stuten (Ada.Strings.UTF_Encoding)
      
      2010-06-23  Robert Dewar  <dewar@adacore.com>
      
      	* gnat_ugn.texi: Add documentation of -gnat12 switch
      	Add documentation of -gnatX switch.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* inline.ads: Include the current Ada_Version in the info for pending
      	instance bodies, so that declaration and body are compiled with the
      	same Ada_Version.
      	* inline.adb: Move with_clause for Opt to spec.
      	* sem_ch12.adb (Analyze_Package_Instantiation,
      	Analyze_Subprogram_Instantiation): Save current Ada_Version in
      	Pending_Instantiation information.
      	(Instantiate_Package_Body, Instantiate_Subprogram_Body,
      	Inline_Package_Body): Use the Ada_Version present in the body
      	information.
      
      2010-06-23  Robert Dewar  <dewar@adacore.com>
      
      	* usage.adb: Add documentation for -gnat12 switch.
      	* errout.ads: Add VMS alias entry for -gnat12 switch
      	* gnat_rm.texi: Add documentation for pragma Ada_12 and Ada_2012
      	Add documentation for pragma Extensions_Allowed.
      	* opt.ads: Add entry for Ada 2012 mode.
      	* sem_ch4.adb, par-ch3.adb, par-ch4.adb: Use new Ada 2012 mode for 2012
      	features.
      	* sem_prag.adb, par-prag.adb: Add processing for pragma Ada_12 and
      	Ada_2012.
      	* sem_ch13.adb: Add handling for Ada 2012 mode.
      	* snames.ads-tmpl: Add entries for pragma Ada_2012 and Ada_12.
      	* switch-c.adb: Add handling for -gnat12 switch.
      	Implement -gnat2005 and -gnat2012.
      	* usage.adb: Add documentation for -gnat12 switch.
      	* vms_data.ads: Add /12 switch for Ada 2012 mode.
      
      From-SVN: r161268
      Arnaud Charlet committed
    • stl_tree.h (erase(iterator), [...]): Remove inline specifier. · 6b8cdb0a
      2010-06-23  Paolo Carlini <paolo.carlini@oracle.com>
      
      	* include/bits/stl_tree.h (erase(iterator), erase(const_iterator)):
      	Remove inline specifier.
      
      From-SVN: r161267
      Paolo Carlini committed
    • exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using No_Task_Hierarchy restriction. · b941ae65
      2010-06-23  Arnaud Charlet  <charlet@adacore.com>
      
      	* exp_ch4.adb (Expand_N_Allocator): Fix potential crash when using
      	No_Task_Hierarchy restriction. Add comment.
      	* exp_ch9.adb, exp_ch3.adb: Update comments.
      
      From-SVN: r161266
      Arnaud Charlet committed
    • [multiple changes] · 87dc09cb
      2010-06-23  Robert Dewar  <dewar@adacore.com>
      
      	* sem_ch5.adb (Process_Bounds): Remove some junk initializations.
      	* sem_res.adb: Add comments.
      	* sem_util.adb: Minor reformatting. Add comments.
      	Change increment on Actuals_In_Call table.
      	* opt.ads: Minor: add 'constant'.
      
      2010-06-23  Javier Miranda  <miranda@adacore.com>
      
      	* exp_disp.adb (Make_DT): Initialize the Size_Func component of the
      	TSD to Null_Address if No_Dispatching_Calls is active.
      
      2010-06-23  Vincent Celier  <celier@adacore.com>
      
      	* a-comlin.ads: Indicate that use of this package is not supported
      	during the elaboration of an auto-initialized Stand-Alone Library.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_util.adb (Is_Possibly_Misaligned_Object): Do not rely on an
      	alignment clause on a record type to determine if a component may be
      	misaligned. The decision must be taken in the back-end where target
      	alignment information is known.
      
      2010-06-23  Arnaud Charlet  <charlet@adacore.com>
      
      	* gnat1drv.adb (Adjust_Global_Switches): Enable some restrictions
      	systematically in CodePeer mode to simplify generated code.
      	* restrict.adb (Check_Restriction): Do nothing in CodePeer mode.
      	* exp_ch4.adb (Expand_N_Allocator): Generate proper code when
      	No_Task_Hierarchy is set instead of crasshing.
      
      From-SVN: r161265
      Arnaud Charlet committed
    • [multiple changes] · 9a0ddeee
      2010-06-23  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_util.adb: Minor code cleanup: test for proper entity instead of
      	testing just Chars attribute when checking whether a given scope is
      	System.
      	* exp_ch4.adb, einfo.adb: Minor reformatting.
      
      2010-06-23  Vincent Celier  <celier@adacore.com>
      
      	PR ada/44633
      	* switch-m.adb (Normalize_Compiler_Switches): Take into account
      	switches -gnatB, -gnatD=nn, -gnatG (incuding -gnatG=nn), -gnatI,
      	-gnatl=file, -gnatS, -gnatjnn, -gnateI=nn and -gnatWx.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_res.adb (Resolve_Membership_Op): If left operand is a mixed mode
      	operation with a universal real operand, and the right operand is a
      	range with universal bounds, find unique fixed point that may be
      	candidate, and warn appropriately.
      
      From-SVN: r161264
      Arnaud Charlet committed
    • [multiple changes] · bb481772
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_res.adb (Resolve_Intrinsic_Operator): Add guards to handle
      	properly the rare cases where VMS operators are visible through
      	Extend_System, but the default System is being used and Address is a
      	private type.
      	* sem_util.adb: Widen predicate Is_VMS_Operator.
      
      2010-06-23  Vincent Celier  <celier@adacore.com>
      
      	* switch-m.adb (Normalize_Compiler_Switches): Take into account -gnatC
      	and -gnateS.
      
      From-SVN: r161263
      Arnaud Charlet committed
    • [multiple changes] · e2cc5258
      2010-06-23  Olivier Hainque  <hainque@adacore.com>
      
      	* einfo.adb (Has_Foreign_Convention): Consider Intrinsic with
      	Interface_Name as foreign. These are GCC builtin imports for
      	which Ada specific processing doesn't apply.
      
      2010-06-23  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch12.adb: Minor reformatting.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_util.adb (Is_VMS_Operator): Use scope of system extension to
      	determine whether an intrinsic subprogram is VMS specific.
      
      2010-06-23  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* treepr.adb (Print_Entity_Info): Output the contents of Field28 if it
      	is present in the entity.
      
      From-SVN: r161262
      Arnaud Charlet committed
    • (gnat_to_gnu_param): Use void_ptr GCC type for System.Address argument · 2503cb81
      of GCC builtin imports.
      
      From-SVN: r161261
      Olivier Hainque committed
    • xr_tabls.adb, [...]: Update to latest lib-xref.ads Fix handling of parameters. · d92eccc3
      2010-06-23  Arnaud Charlet  <charlet@adacore.com>
      
      	* xr_tabls.adb, xref_lib.adb: Update to latest lib-xref.ads
      	Fix handling of parameters.
      	Add protection against unexpected cases.
      	* sem_ch6.adb (Create_Extra_Formals): Use suffix "L" instead of "A" for
      	access level, since "A" suffix is already used elsewhere. Similarly,
      	use suffix "O" instead of "C" for 'Constrained since "C" suffix is used
      	for xxx'Class.
      
      From-SVN: r161260
      Arnaud Charlet committed
    • [multiple changes] · 7c4b480f
      2010-06-23  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_util.adb, sem_util.ads: Minor reformatting.
      
      2010-06-23  Vincent Celier  <celier@adacore.com>
      
      	* prj.ads (Gprclean_Flags.Missing_Source_Files): Set to Error to keep
      	the previous behavior of gprclean when there are missing files.
      
      2010-06-23  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb (Load_Body_Of_Generic): In CodePeer mode, a missing
      	generic body is not a fatal error.
      	(Mark_Context): Handle properly names of child units.
      	* sem.adb (Walk_Library_Items.Do_Action): Remove assertion on
      	instantiations.
      
      2010-06-23  Vincent Celier  <celier@adacore.com>
      
      	* ali.adb (Scan_ALI): When ignoring R lines, do not skip the next
      	non-empty line.
      
      2010-06-23  Bob Duff  <duff@adacore.com>
      
      	* g-pehage.ads, g-pehage.adb: Switch default optimization mode to
      	Memory_Space, because CPU_Time doesn't seem to provide any significant
      	speed advantage in practice. Cleanup: Get rid of constant
      	Default_Optimization; doesn't seem to add anything. Use case
      	statements instead of if statements; seems cleaner.
      
      From-SVN: r161259
      Arnaud Charlet committed
    • decl.c (gnat_to_gnu_entity): Use Wshadow instead of Wextra to guard warning on… · bb511fbd
      decl.c (gnat_to_gnu_entity): Use Wshadow instead of Wextra to guard warning on absence of internal builtin...
      
      	* gcc-interface/decl.c (gnat_to_gnu_entity) <case E_Procedure>: Use
      	Wshadow instead of Wextra to guard warning on absence of internal
      	builtin decl for an import.  Fix use of quote in warning text.
      	(intrin_arglists_compatible_p): Remove processing of integer trailing
      	args on the Ada side.  Fix use of literal > in warning text.
      	(intrin_return_compatible_p): Never warn on "function imported as
      	procedure".  Defer the void/void case to the common type compatibility
      	check.
      
      From-SVN: r161258
      Olivier Hainque committed
    • decl.c (intrin_types_incompatible_p): New function, helper for ... · 1515785d
      2010-06-23  Olivier Hainque  <hainque@adacore.com>
      
      	* gcc-interface/decl.c (intrin_types_incompatible_p): New function,
      	helper for ...
      	(intrin_arglists_compatible_p, intrin_return_compatible_p): New
      	functions, helpers for ...
      	(intrin_profiles_compatible_p): New function, replacement for ...
      	(compatible_signatures_p): Removed.
      	(gnat_to_gnu_entity) <case E_Procedure>: If -Wextra, warn on
      	attempt to bind an unregistered builtin function.  When we have
      	one, use it and warn on profile incompatibilities.
      
      From-SVN: r161257
      Olivier Hainque committed