2008-08-05  Matthias Klose  <doko@ubuntu.com>

        * HACKING: Update instructions how to build gcj/javaprims.h.

From-SVN: r138732

sem_ch3.adb (Process_Subtype): An allocator is a valid construct that can carry a null exclusion indicator...

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch3.adb (Process_Subtype): An allocator is a valid construct that
	can carry a null exclusion indicator, and on which an error may be
	posted if the indicator is redundant.

	* sem_ch8.adb (Analyze_Object_Renaming): Verify that a null exclusion
	does not apply to a subtype mark that already excludes null.

	* sem_ch12.adb (Formal_Object_Declaration): Verify that a null
	exclusion does not apply to a subtype mark that already excludes null.

From-SVN: r138728

2008-08-05  Doug Rupp  <rupp@adacore.com>

	* vms_data.ads: Translation for /POINTER_SIZE qualifier.

From-SVN: r138727

2008-08-05  Thomas Quinot  <quinot@adacore.com>

	* Makefile.rtl: Compile s-oscons.ads as part of the runtime library.

From-SVN: r138726

	* freeze.adb:
	(Freeze_Entity): A deferred constant does not violate the restriction
	No_Default_Initialization,

From-SVN: r138725

From-SVN: r138724

sem_ch5.adb (Analyze_Assignment_Statement): Apply conversion to right-hand side when it is an anonymous access_to_subprogram...

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch5.adb (Analyze_Assignment_Statement): Apply conversion to
	right-hand side when it is an anonymous access_to_subprogram, to force
	static accessibility check when needed.

From-SVN: r138723

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb:
	(Analyze_Attribute, case 'Result): handle properly the case where some
	operand of the expression in a post-condition generates a transient
	block.

From-SVN: r138722

2008-08-05  Pascal Obry  <obry@adacore.com>

	* adaint.c: Remove support for readable attribute on vxworks and nucleus

From-SVN: r138721

2008-08-05  Thomas Quinot  <quinot@adacore.com>

	* gsocket.h: Make this file includable in a Nucleus environment, which
	does not support sockets.

	* socket.c: Remove Nucleus-specific hack.

From-SVN: r138720

From-SVN: r138719

2008-08-05  Paul Brook  <paul@codesourcery.com>

	gcc/
	* doc/invoke.texi: Document new ARM -mfpu= and -mcpu= options.
	* config/arm/arm.c (all_fpus): Add vfpv3 and vfpv3-d16.
	(fp_model_for_fpu): Add entry for FPUTYPE_VFP3D16.
	(arm_file_start): Add FPUTYPE_VFP3D16.  Rename vfp3 to vfpv3.
	* config/arm/arm.h (TARGET_VFPD32): Define.
	(TARGET_VFP3): Use TARGET_VFPD32.
	(fputype): Add FPUTYPE_VFP3D16.
	(LAST_VFP_REGNUM): Use TARGET_VFPD32.
	* config/arm/constraints.md ("w"): Use TARGET_VFPD32.
	* config/arm/arm-cores.def: Add cortex-r4f.
	* config/arm/arm-tune.md: Regenerate.

From-SVN: r138718

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* ug_words: Add entries for -gnatw.b/-gnatw.B

	* vms_data.ads: Add entries for -gnatw.b/-gnatw.B

From-SVN: r138717

2008-08-05  Sergey Rybin  <rybin@adacore.com>

	* gnat_ugn.texi: Changing the description of the gnatcheck metrics
	rule according to the change in the rule option.
	Add documentation for -gnatw.b/-gnatw.B

From-SVN: r138716

	* config/spu_spu_mfcio.h: Wrap in extern "C" if __cplusplus.
	Reword some comments throughout the file.

	(MFC_MIN_DMA_LIST_ELEMENTS): New define.
	(MFC_MAX_DMA_LIST_ELEMENTS): Likewise.
	(MFC_MIN_DMA_LIST_SIZE): Redefine in terms of MFC_MIN_DMA_LIST_ELEMENTS.
	(MFC_MAX_DMA_LIST_SIZE): Redefine in terms of MFC_MAX_DMA_LIST_ELEMENTS.

	(MFC_START_ENABLE): Remove PPU-only define.
	(MFC_PUTS_CMD, MFC_PUTFS_CMD, MFC_PUTBS_CMD): Likewise.
	(MFC_GETS_CMD, MFC_GETFS_CMD, MFC_GETBS_CMD): Likewise.

	(MFC_PUTB_CMD, MFC_PUTF_CMD): Reimplement using symbolic constants.
	(MFC_PUTL_CMD, MFC_PUTLB_CMD, MFC_PUTLF_CMD): Likewise.
	(MFC_PUTR_CMD, MFC_PUTRB_CMD, MFC_PUTRF_CMD): Likewise.
	(MFC_PUTRL_CMD, MFC_PUTRLB_CMD, MFC_PUTRLF_CMD): Likewise.
	(MFC_GETB_CMD, MFC_GETF_CMD): Likewise.
	(MFC_GETL_CMD, MFC_GETLB_CMD, MFC_GETLF_CMD): Likewise.
	(MFC_SNDSIGB_CMD, MFC_SNDSIGF_CMD): Likewise.

	(MFC_SDCRT_CMD, MFC_SDCRTST_CMD): New defines.
	(MFC_SDCRZ_CMD, MFC_SDCRST_CMD, MFC_SDCRF_CMD): Likewise.
	(mfc_sdcrt, mfc_sdcrtst): Likewise.
	(mfc_sdcrz, mfc_sdcrst, mfc_sdcrf): Likewise.

	(spu_read_machine_status): Fix typo.

From-SVN: r138714

	* config/spu/spu.h (CANNOT_CHANGE_MODE_CLASS): Allow (multi)word-sized
	SUBREG of multi-word hard register.
	* config/spu/spu.c (valid_subreg): Likewise.
	(adjust_operand): Handle SUBREGs of multi-word hard registers.

From-SVN: r138711

2008-08-05  Vincent Celier  <celier@adacore.com>

	* a-wtdeio.adb (Put (Current_Output)): Use Fore in the call to Put
	(File).
	
	* a-ztdeio.adb: Ditto.

From-SVN: r138710

2008-08-05  Pascal Obry  <obry@adacore.com>

	* adaint.c, adaint.h, s-os_lib.adb, s-os_lib.ads: Add support for the
	readable attribute.

From-SVN: r138709

	* s-wchwts.adb:
	(Wide_String_To_String): Returns a String with the same 'First as its
	parameter S.
	(Wide_Wide_String_To_String): Ditto
	
	* s-wchwts.ads:
	(Wide_String_To_String): Document that the lowest index of the returned
	String is equal to S'First.

From-SVN: r138708

	* Makefile.in (gnatlib*): Now depend on oscons target.
	(oscons): New target.

From-SVN: r138706

2008-08-05  Thomas Quinot  <quinot@adacore.com>

	* xoscons.adb, xutil.ads, xutil.adb, s-oscons-tmplt.c: New files.

	* gcc-interface/Makefile.in, gcc-interface/Make-lang.in: Generate
	s-oscons.ads

From-SVN: r138705

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* opt.ads (Warn_On_Biased_Representation): New flag
	
	* sem_ch13.adb:
	(Analyze_Attribute_Definition_Clause): Issue warning when biased
	representation is required.
	(Minimum_Size): Don't allow biasing if enum rep clause case
	
	* sem_warn.adb:
	(Set_Dot_Warning_Switch): Add handling of -gnatw.b/B switches
	(Set_Warning_Switch): Include -gnatw.b in -gnatwa, -gnatw.B in gnatws
	
	* usage.adb: Add lines for -gnatw.b/B switches

From-SVN: r138704

2008-08-05  Pascal Obry  <obry@adacore.com>

	* adaint.c: In UNIX cases do not call __gnat_stat but stat directly.

From-SVN: r138703

2008-08-05  Thomas Quinot  <quinot@adacore.com>

	* socket.c: Minor reformatting.

From-SVN: r138702

2008-08-05  Pascal Obry  <obry@adacore.com>

	* a-coinve.adb: Reorder the code to avoid uninitialized warning.

From-SVN: r138701

2008-08-05  Richard Guenther  <rguenther@suse.de>

	PR middle-end/37026
	* gcc.c-torture/compile/pr37026.c: New testcase.

From-SVN: r138700

sem_ch12.adb (Validate_Array_Type_Instance): Only apply complex visibility check on the component type if the simple test fails.

2008-08-05  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch12.adb (Validate_Array_Type_Instance): Only apply complex
	visibility check on the component type if the simple test fails.

From-SVN: r138697

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* prj-nmsc.adb: Minor reformatting

From-SVN: r138696

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* sem_ch3.adb: Minor reformatting

From-SVN: r138695

From-SVN: r138694

sem_ch3.adb (Analyze_Object_Declaration): Avoid type Any_Access in unresolved initial value of "null"...

2008-08-05  Bob Duff  <duff@adacore.com>

	* sem_ch3.adb (Analyze_Object_Declaration): Avoid type Any_Access in
	unresolved initial value of "null", because it causes implicitly
	generated "=" operators to be ambiguous, and because this type should
	not be passed to gigi.

From-SVN: r138693

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* prj.ads: Minor reformatting

From-SVN: r138692

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* s-fileio.adb: Minor code reorganization
	Minor reformatting

From-SVN: r138691

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* s-os_lib.adb: Minor reformatting

From-SVN: r138690

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* prj-attr.ads: Minor reformatting

From-SVN: r138689

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* mlib.adb: Minor code reorganization
	Minor reformatting

From-SVN: r138688

2008-08-05  Thomas Quinot  <quinot@adacore.com>

	* g-sercom.adb, g-sercom.ads, g-sercom-mingw.adb,
	g-sercom-linux.adb (Data_Bits): Change literals B7 and B8 to CS7 and
	CS8.

From-SVN: r138687

2008-08-05  Robert Dewar  <dewar@adacore.com>

	* make.adb: Minor reformatting

From-SVN: r138686

2008-08-05  Bob Duff  <duff@adacore.com>

	* checks.ads: Minor comment fix

From-SVN: r138685

init.c (__gnat_install_handler for linux): If we are building the Xenomai run time then we need to do two additional things...

2008-08-05  Jose Ruiz  <ruiz@adacore.com>

	* init.c (__gnat_install_handler for linux): If we are building the
	Xenomai run time then we need to do two additional things: avoid
	memory swapping and transform the Linux environment task into a native
	Xenomai task.

	* gcc-interface/Makefile.in (LIBGNAT_TARGET_PAIRS for xenomai run
	time): Use interface to Xenomai native skin and avoid linux-specific
	way of setting CPU affinity.
	(EH_MECHANISM for the xenomai run time): Use sjlj exception mechanism.

From-SVN: r138684