1. 01 Aug, 2011 40 commits
    • [multiple changes] · 607d0635
      2011-08-01  Arnaud Charlet  <charlet@adacore.com>
      
      	* g-socket-dummy.adb, s-osinte-linux.ads, g-socket-dummy.ads,
      	g-debuti.adb, g-tasloc.adb, g-debuti.ads, g-tasloc.ads,
      	s-osinte-hpux.ads, g-sercom.adb, g-soliop-solaris.ads, g-sercom.ads,
      	g-sptain.ads, g-curexc.ads, s-tasloc.adb, s-tasloc.ads, s-tataat.adb,
      	g-ctrl_c.adb, a-reatim.adb, s-tataat.ads, g-dirope.adb, g-ctrl_c.ads,
      	g-dirope.ads, g-boubuf.adb, g-calend.adb, g-boubuf.ads, g-souinf.ads,
      	g-table.adb, g-bytswa-x86.adb, g-wispch.adb, g-io.adb, g-table.ads,
      	g-wispch.ads, g-io.ads, g-memdum.adb, g-memdum.ads, g-busorg.adb,
      	g-busorg.ads, g-regpat.adb, g-sothco-dummy.adb, g-encstr.adb,
      	g-regpat.ads, g-sothco-dummy.ads, s-osinte-aix.ads, g-encstr.ads,
      	g-sercom-mingw.adb, s-mastop-vms.adb, g-diopit.adb, g-diopit.ads,
      	s-vxwext.adb, g-dyntab.adb, g-dyntab.ads, g-crc32.adb,
      	g-sercom-linux.adb, g-crc32.ads, s-regpat.adb, g-flocon.ads,
      	s-regpat.ads, g-stheme.adb, g-sestin.ads, s-taspri-posix-noaltstack.ads,
      	g-soliop.ads, s-inmaop-posix.adb, g-locfil.ads, g-enblsp-vms-alpha.adb,
      	g-socthi-dummy.adb, g-socthi-dummy.ads, gnat.ads, g-moreex.adb,
      	g-moreex.ads, g-dynhta.adb, g-dynhta.ads, g-deutst.ads, g-htable.adb,
      	g-cgicoo.adb, g-htable.ads, g-cgicoo.ads, a-interr.adb,
      	g-socthi-vms.adb, g-socthi-vms.ads, g-hesora.adb, g-bubsor.adb,
      	g-hesora.ads, g-bubsor.ads, g-md5.adb, g-md5.ads, s-intman-irix.adb,
      	s-htable.adb, s-osinte-vms.adb, s-htable.ads, s-osinte-vms.ads,
      	s-taprob.adb, g-bytswa.adb, g-bytswa.ads, s-osinte-solaris-posix.ads,
      	a-suenco.adb, g-comver.adb, g-comver.ads, g-exctra.adb,
      	s-osinte-solaris.adb, g-exctra.ads, s-osinte-irix.ads,
      	s-osinte-solaris.ads, a-caldel-vms.adb, g-socthi-vxworks.adb,
      	g-expect.adb, g-socthi-vxworks.ads, g-expect.ads, g-comlin.ads,
      	g-heasor.adb, g-heasor.ads, g-traceb.adb, g-traceb.ads, g-decstr.adb,
      	g-spipat.adb, g-decstr.ads, g-spipat.ads, s-mastop-tru64.adb,
      	g-except.ads, g-thread.adb, g-hesorg.adb, g-thread.ads, g-hesorg.ads,
      	g-expect-vms.adb, a-stuten.ads, g-spchge.adb, g-spchge.ads,
      	g-u3spch.adb, g-u3spch.ads, g-spitbo.adb, g-spitbo.ads,
      	s-osinte-dummy.ads, s-osinte-posix.adb, g-pehage.adb, g-pehage.ads,
      	s-gloloc-mingw.adb, g-sha1.ads, s-traceb-hpux.adb,
      	g-trasym-unimplemented.adb, g-trasym-unimplemented.ads, g-io_aux.adb,
      	g-regexp.adb, g-io_aux.ads, g-socthi-mingw.adb, g-regexp.ads,
      	s-osinte-hpux-dce.adb, g-socthi-mingw.ads, g-cgi.adb,
      	s-osinte-hpux-dce.ads, g-cgi.ads, g-byorma.adb, g-boumai.ads,
      	g-byorma.ads, a-caldel.adb, s-regexp.adb, s-regexp.ads,
      	g-soliop-mingw.ads, g-sptavs.ads, s-osinte-tru64.ads, g-speche.adb,
      	g-speche.ads, g-socthi.adb, g-stsifd-sockets.adb, g-socthi.ads,
      	s-osinte-darwin.ads, i-vxwork-x86.ads, g-awk.adb, i-vxwork.ads,
      	g-awk.ads, g-zspche.adb, g-zspche.ads, g-socket.adb, g-sptabo.ads,
      	g-socket.ads, g-semaph.adb, g-semaph.ads, s-taspri-posix.ads,
      	g-enblsp-vms-ia64.adb, g-cgideb.adb, g-cgideb.ads, g-sothco.adb,
      	s-osinte-freebsd.ads, g-sothco.ads, g-catiio.adb, g-casuti.adb,
      	g-catiio.ads, g-casuti.ads, g-trasym.adb, g-trasym.ads, s-casuti.adb,
      	g-os_lib.adb, s-traceb-mastop.adb, g-busora.adb, s-interr-dummy.adb,
      	g-busora.ads, g-enutst.ads, s-os_lib.adb, a-tasatt.adb,
      	s-osinte-mingw.ads: Update to GPLv3 run-time license.
      	Use GNAT instead of GNARL.
      
      2011-08-01  Bob Duff  <duff@adacore.com>
      
      	* a-cdlili.ads, a-cihama.ads, a-coinve.ads, a-ciorse.ads, a-coorma.ads,
      	a-cidlli.ads, a-ciormu.ads, a-cihase.ads, a-cohama.ads, a-coorse.ads,
      	a-ciorma.ads, a-coormu.ads, a-convec.ads, a-cohase.ads: Minor
      	reformatting.
      
      2011-08-01  Yannick Moy  <moy@adacore.com>
      
      	* debug.adb (d.D) reverve flag for the SPARK mode
      	(d.E) reverve flag for SPARK generation mode
      	(d.F) reverve flag for Why generation mode
      	* opt.ads, opt.adb (ALFA_Mode, ALFA_Through_SPARK_Mode, 
      	ALFA_Through_Why_Mode, Formal_Verification_Mode, SPARK_Mode):  New
      	functions which return True when the corresponding modes are set
      	(Formal_Language): return "spark" or "alfa" when in formal verification
      	mode.
      	* sem_util.ads, sem_util.adb (Formal_Error_Msg): new wrapper on
      	Error_Msg to prefix the error message with a tag giving the formal
      	language
      	(Formal_Error_Msg_N): new wrapper on Error_Msg_N to prefix the error
      	message with a tag giving the formal language
      	* sem_ch5.adb (Analyze_Block_Statement): issue error in formal mode on
      	block statement
      	(Analyze_Case_Statement): issue error in formal mode on case statement
      	with a single "others" case alternative
      	(Analyze_Exit_Statement): issue errors in formal mode on exit
      	statements which do not respect SPARK restrictions
      	(Analyze_Goto_Statement): issue error in formal mode on goto statement
      	(Check_Unreachable_Code): always issue an error (not a warning) in
      	formal mode on unreachable code (concerns both code after an infinite
      	loop and after an unconditional jump, both not allowed in SPARK)
      	* sem_ch6.adb (Analyze_Return_Statement): add call to
      	Set_Return_Present for a procedure containing a return statement
      	(already done for functions in Analyze_Function_Return)
      	(Analyze_Function_Return): issue error in formal mode on extended
      	return or if return is not last statement in function
      	(Check_Missing_Return): issue error in formal mode if function does
      	not end with return or if procedure contains a return
      	* sem_ch8.ads, sem_ch8.adb (Has_Loop_In_Inner_Open_Scopes): new
      	function to detect if there is an inner scope of its parameter S which
      	is a loop.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch6.ads: Minor reformatting.
      
      From-SVN: r177040
      Arnaud Charlet committed
    • avr-devices.c: Delete SVN property svn:executable. · d80de9e1
      	
      	* config/avr/avr-devices.c: Delete SVN property svn:executable.
      	* config/avr/predicates.md: Ditto.
      	* config/avr/driver-avr.c: Ditto.
      	* config/avr/genopt.sh: Set SVN property svn:executable to *.
      
      From-SVN: r177039
      Georg-Johann Lay committed
    • [multiple changes] · d8b3ccb9
      2011-08-01  Javier Miranda  <miranda@adacore.com>
      
      	* sem_util.adb (Abstract_Interface_List): Complete condition when
      	processing private type declarations to avoid reading unavailable
      	attribute.
      	(Is_Synchronized_Tagged_Type): Complete condition when processing
      	private extension declaration nodes to avoid reading unavailable
      	attribute.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch3.adb: Minor reformatting.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* s-parame-ae653.ads, s-parame-vms-alpha.ads, s-parame-hpux.ads,
      	i-cpoint.adb, i-cstrin.adb, i-cpoint.ads, i-cstrin.ads,
      	s-parame-vms-ia64.ads, s-parame.ads, i-c.ads, s-parame-vxworks.ads,
      	s-parame-vms-restrict.ads: Remove duplicated Interfaces.C.* packages
      	for VMS, instead parametrize the common implementation with
      	System.Parameters declarations.
      
      From-SVN: r177038
      Arnaud Charlet committed
    • [multiple changes] · 0bb9276c
      2011-08-01  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* gnat_rm.texi: Document limitation of Pragma No_Strict_Aliasing.
      
      2011-08-01  Tristan Gingold  <gingold@adacore.com>
      
      	* seh_init.c: Fix SEH handler installation on win64.
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Access_Subprogram_Declaration): in Asis mode, prevent
      	double analysis of an anonymous access to subprogram, because it can
      	lead to improper sharing of profiles and a back-end crash.
      
      From-SVN: r177037
      Arnaud Charlet committed
    • Declare size only if BLOCK_REG_PADDING is defined. · ee222ce0
      2011-08-01  H.J. Lu  <hongjiu.lu@intel.com>
      
      	* calls.c (emit_library_call_value_1): Declare size only if
      	BLOCK_REG_PADDING is defined.
      
      From-SVN: r177036
      H.J. Lu committed
    • [multiple changes] · 6a2e4f0b
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* make.adb, sem_ch4.adb: Minor reformatting.
      	* gcc-interface/Make-lang.in: Update dependencies.
      	* sem_util.adb, exp_ch5.adb: Minor reformatting.
      
      2011-08-01  Arnaud Charlet  <charlet@adacore.com>
      
      	* gnat_rm.texi: Fix definition of Long_Integer.
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_aggr.adb: check limit size of static aggregate unconditionally,
      	to prevent storage exhaustion.
      	* exp_ch7.adb (Clean_Simple_Protected_Objects): if the scope being
      	finalized is a function body, insert the cleanup code before the final
      	return statement, to prevent spurious warnings.
      	* s-pooglo.ads: add overriding indicator.
      
      From-SVN: r177035
      Arnaud Charlet committed
    • Add -mlzcnt. · 5fcafa60
      gcc/
      
      2011-08-01  Kirill Yukhin  <kirill.yukhin@intel.com>
      
      	PR target/49547
      	* config.gcc (i[34567]86-*-*): Replace abmintrin.h with
      	lzcntintrin.h.
      	(x86_64-*-*): Likewise.
      	* config/i386/i386.opt (mlzcnt): New.
      	* config/i386/abmintrin.h: File removed.
      	(__lzcnt_u16, __lzcnt, __lzcnt_u64): Moved to ...
      	* config/i386/lzcntintrin.h: ... here. New file.
      	(__lzcnt): Rename to ...
      	(__lzcnt32): ... this.
      	* config/i386/bmiintrin.h (head): Update copyright year.
      	(__lzcnt_u16): Removed.
      	(__lzcnt_u32): Likewise.
      	(__lzcnt_u64): Likewise.
      	* config/i386/x86intrin.h: Include lzcntintrin.h when __LZCNT__
      	is defined, remove abmintrin.h.
      	* config/i386/cpuid.h (bit_LZCNT): New.
      	* config/i386/driver-i386.c (host_detect_local_cpu): Detect
      	LZCNT feature.
      	* config/i386/i386-c.c (ix86_target_macros_internal): Define
      	__LZCNT__ if needed.
      	* config/i386/i386.c (ix86_target_string): New option -mlzcnt.
      	(ix86_option_override_internal): Handle LZCNT option.
      	(ix86_valid_target_attribute_inner_p): Likewise.
      	(struct builtin_description bdesc_args) <IX86_BUILTIN_CLZS>: Update.
      	* config/i386/i386.h (TARGET_LZCNT): New.
      	(CLZ_DEFINED_VALUE_AT_ZERO): Update.
      	* config/i386/i386.md (clz<mode>2): Update insn constraint.
      	(clz<mode>2_lzcnt): Likewise.
      	* doc/invoke.texi: Mention -mlzcnt option.
      	* doc/extend.texi: Likewise.
      
      gcc/testsuite/
      
      2011-08-01  Kirill Yukhin  <kirill.yukhin@intel.com>
      
      	* gcc.target/i386/i386.exp (check_effective_target_lzcnt): New.
      	* gcc.target/i386/lzcnt-1.c: New test.
      	* gcc.target/i386/lzcnt-2.c: Likewise.
      	* gcc.target/i386/lzcnt-2a.c: Likewise.
      	* gcc.target/i386/lzcnt-3.c: Likewise.
      	* gcc.target/i386/lzcnt-4.c: Likewise.
      	* gcc.target/i386/lzcnt-4a.c: Likewise.
      	* gcc.target/i386/lzcnt-5.c: Likewise.
      	* gcc.target/i386/lzcnt-6.c: Likewise.
      	* gcc.target/i386/lzcnt-6a.c: Likewise.
      	* gcc.target/i386/lzcnt-check.h: Likewise.
      
      	* gcc.target/i386/sse-12.c (dg-compile): Add -mlzcnt.
      	* gcc.target/i386/sse-13.c: Likewise.
      	* gcc.target/i386/sse-14.c: Likewise.
      	* g++.dg/other/i386-2.C: Likewise.
      	* g++.dg/other/i386-3.C: Likewise.
      
      From-SVN: r177034
      Kirill Yukhin committed
    • sem_ch4.adb (Operator_Check): improve error message when both a with_clause and… · 4561baf7
      sem_ch4.adb (Operator_Check): improve error message when both a with_clause and a use_clause are needed to...
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch4.adb (Operator_Check): improve error message when both a
      	with_clause and a use_clause are needed to make operator usage legal.
      	* sem_util.ads, sem_util.adb (Unit_Is_Visible): new predicate to
      	determine whether a compilation unit is visible within an other,
      	either through a with_clause in the current unit, or a with_clause in
      	its library unit or one one of its parents.
      
      From-SVN: r177033
      Ed Schonberg committed
    • [multiple changes] · 383e179e
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch5.adb (Expand_N_Iterator_Loop): handle properly an iterator
      	over an arbitrary expression of an array or container type.
      	* lib-xref.adb: clarify comment.
      
      2011-08-01  Bob Duff  <duff@adacore.com>
      
      	* einfo.ads: Minor reformatting.
      	* debug.adb: Minor comment improvement.
      
      2011-08-01  Javier Miranda  <miranda@adacore.com>
      
      	* sem_ch4.adb (Try_Object_Operation): For class-wide subprograms do not
      	consider hidden subprograms as valid candidates.
      
      2011-08-01  Arnaud Charlet  <charlet@adacore.com>
      
      	* make.adb (Compile): Strip -mxxx switches in CodePeer mode.
      
      2011-08-01  Vasiliy Fofanov  <fofanov@adacore.com>
      
      	* gnat_ugn.texi: Fix typo.
      
      From-SVN: r177031
      Arnaud Charlet committed
    • [multiple changes] · 61c161b2
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* i-cstrin.adb, sem_util.adb, exp_ch11.adb, sem_ch8.adb,
      	lib-xref.adb: Minor reformatting
      
      2011-08-01  Gary Dismukes  <dismukes@adacore.com>
      
      	* exp_ch6.adb (Expand_N_Extended_Return_Statement): Replace test of
      	when to generate a call to Move_Final_List.
      	(Has_Controlled_Parts): Remove this function.
      
      From-SVN: r177030
      Arnaud Charlet committed
    • [multiple changes] · 84df40f7
      2011-08-01  Geert Bosch  <bosch@adacore.com>
      
      	* par-ch3.adb (P_Discrete_Choice_List): Improve error message for extra
      	"," in choice list.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch11.adb (Expand_N_Raise_Statement): Mark N_Raise_xxx_Error for
      	explicit raise of a predefined exception as Comes_From_Source if the
      	original N_Raise_Statement comes from source.
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* sinfo.ads: Add comment.
      	* sem_ch6.adb: Minor reformatting.
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* freeze.adb (Freeze_Entity): Refine check for bad component size
      	clause to avoid rejecting confirming clause when atomic/aliased present.
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch8.adb (Find_Direct_Name, Analyze_Expanded_Name): use Is_LHS to
      	better determine whether an entity reference is a write.
      	* sem_util.adb (Is_LHS): refine predicate to handle assignment to a
      	subcomponent.
      	* lib-xref.adb (Output_References): Do no suppress a read reference at
      	the same location as an immediately preceeding modify-reference, to
      	handle properly in-out actuals.
      
      2011-08-01  Tristan Gingold  <gingold@adacore.com>
      
      	* env.c (__gnat_setenv) [VMS]: Refine previous change.
      
      2011-08-01  Quentin Ochem  <ochem@adacore.com>
      
      	* i-cstrin.adb (New_String): Changed implementation, now uses only the
      	heap to compute the result.
      
      From-SVN: r177029
      Arnaud Charlet committed
    • [multiple changes] · c7f0d2c0
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* atree.ads: Minor reformatting.
      
      2011-08-01  Emmanuel Briot  <briot@adacore.com>
      
      	* g-expect.adb (Get_Command_Output): Fix memory leak.
      
      2011-08-01  Geert Bosch  <bosch@adacore.com>
      
      	* cstand.adb (P_Float_Type): New procedure to print the definition of
      	predefined fpt types.
      	(P_Mixed_Name): New procedure to print a name using mixed case
      	(Print_Standard): Use P_Float_Type for printing floating point types
      	* einfo.adb (Machine_Emax_Value): Add preliminary support for quad
      	precision IEEE float.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_ch3.adb: Minor reformatting.
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch6.adb (Analyze_Parameterized_Expression): If the expression is
      	the completion of a generic function, insert the new body rather than
      	rewriting the original.
      
      2011-08-01  Yannick Moy  <moy@adacore.com>
      
      	* sinfo.ads, errout.ads: Typos in comments.
      
      From-SVN: r177028
      Arnaud Charlet committed
    • [multiple changes] · 1c54829e
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* par-endh.adb: Minor reformatting.
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads, aspects.adb: Add aspects for library unit pragmas
      	(Pre_Post_Aspects): New subtype.
      	* par-ch12.adb (P_Generic): New syntax for aspects in packages
      	* par-ch13.adb (P_Aspect_Specifications): Add Semicolon parameter
      	* par-ch7.adb (P_Package): Remove Decl parameter
      	(P_Package): Handle new syntax for aspects (before IS)
      	* par-ch9.adb (P_Protected_Definition): Remove Decl parameter, handle
      	new aspect syntax
      	(P_Task_Definition): Remove Decl parameter, handle new aspect syntax
      	* par.adb (P_Aspect_Specifications): Add Semicolon parameter
      	(P_Package): Remove Decl parameter
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Handle library unit
      	aspects
      	* sem_ch7.adb (Analyze_Package_Declaration): Analyze new format aspect
      	specs
      	* sem_util.ads, sem_util.adb (Static_Boolean): New function
      	* sinfo.ads: Document new syntax for aspects in packages etc.
      	* sprint.adb: Handle new syntax of aspects before IS in package
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* atree.ads: Minor reformatting.
      	* sem_prag.adb: Minor reformatting.
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* exp_util.adb (Insert_Actions): Fix error in handling Actions for
      	case expr alternative.
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb: Fix typo.
      
      From-SVN: r177027
      Arnaud Charlet committed
    • sem_prag.adb (Check_No_Link_Name): New procedure. · 9eea4346
      2011-08-01  Geert Bosch  <bosch@adacore.com>
      
      	* sem_prag.adb (Check_No_Link_Name): New procedure.
      	(Process_Import_Or_Interface): Use Check_No_Link_Name.
      	* cstand.adb (Create_Standard): Use Esize (Standard_Long_Long_Float)
      	instead of Standard_Long_Long_Float_Size global. Preparation for
      	eventual removal of per type constants.
      	* exp_util.ads (Get_Stream_Size): New function returning the stream
      	size value of subtype E.
      	* exp_util.adb (Get_Stream_Size): Implement new function.
      	* exp_strm.adb (Build_Elementary_Input_Call): Use Get_Stream_Size
      	function.
      	* exp_attr.adb (Attribute_Stream_Size): Use Get_Stream_Size
      	* einfo.adb:
      	(Machine_Mantissa_Value): Handle 128-bit quad precision IEEE floats
      
      From-SVN: r177026
      Geert Bosch committed
    • configure.ac (fixed-point): Add ARM support. · 655b30bf
      	gcc/
      	* configure.ac (fixed-point): Add ARM support.
      	* configure: Regenerate.
      	* config/arm/arm.c (arm_fixed_mode_set): New struct.
      	(arm_set_fixed_optab_libfunc): New.
      	(arm_set_fixed_conv_libfunc): New.
      	(arm_init_libfuncs): Initialise fixed-point helper libfuncs with
      	ARM-specific names.
      	(aapcs_libcall_value): Return sub-word-size fixed-point libcall
      	return values in SImode.
      	(arm_return_in_msb): Return fixed-point types in the msb.
      	(arm_pad_reg_upwards, arm_pad_arg_upwards): Pad fixed-point types
      	upwards.
      	(arm_scalar_mode_supported_p): Support fixed-point modes.
      	(arm_vector_mode_supported_p): Support vector fixed-point modes.
      	* config/arm/arm.h (SHORT_FRACT_TYPE_SIZE, FRACT_TYPE_SIZE)
      	(LONG_FRACT_TYPE_SIZE, LONG_LONG_FRACT_TYPE_SIZE)
      	(SHORT_ACCUM_TYPE_SIZE, ACCUM_TYPE_SIZE, LONG_ACCUM_TYPE_SIZE)
      	(LONG_LONG_ACCUM_TYPE_SIZE, MAX_FIXED_MODE_SIZE): Define.
      	* config/arm/iterators.md (FIXED, ADDSUB, UQADDSUB, QADDSUB, QMUL):
      	New mode iterators.
      	(qaddsub_suf): New mode attribute.
      	* config/arm/arm-modes.def (FRACT, UFRACT, ACCUM, UACCUM): Declare
      	vector modes.
      	* config/arm/predicates.md (sat_shift_operator): New predicate.
      	* config/arm/arm-fixed.md: New.
      	* config/arm/arm.md: Include arm-fixed.md.
      	* config/arm/t-arm (MD_INCLUDES): Add arm-fixed.md.
      
      	libgcc/
      	* config.host (arm*-*-linux*, arm*-*-uclinux*, arm*-*-eabi*)
      	(arm*-*-symbianelf*): Add t-fixedpoint-gnu-prefix makefile fragment.
      	* config/arm/bpabi-lib.h (LIBGCC2_FIXEDBIT_GNU_PREFIX): Define.
      
      	gcc/testsuite/
      	* gcc.target/arm/fixed-point-exec.c: New test.
      
      From-SVN: r177025
      Julian Brown committed
    • cstand.adb: Fix comments. · 3d6c3bd7
      2011-08-01  Geert Bosch  <bosch@adacore.com>
      
      	* cstand.adb: Fix comments.
      	* sem_prag.adb (Analyze_Pragma): Use List_Length instead of explicit
      	count of arguments.
      
      From-SVN: r177024
      Geert Bosch committed
    • [multiple changes] · e7d897b8
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* exp_ch4.adb, sem_cat.adb: Minor reformatting.
      
      2011-08-01  Geert Bosch  <bosch@adacore.com>
      
      	* atree.ads: Fix comment.
      
      From-SVN: r177023
      Arnaud Charlet committed
    • calls.c (emit_library_call_value_1): Support padding for libcall arguments and return values. · 460b171d
      	gcc/
      	* calls.c (emit_library_call_value_1): Support padding for libcall
      	arguments and return values.
      	* config/arm/arm.c (arm_pad_arg_upward): Pad half-float values
      	downwards in big-endian mode.
      
      From-SVN: r177022
      Julian Brown committed
    • [multiple changes] · c228a069
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads, aspects.adb (Aspect_Names): Moved from body to spec.
      	* par-ch13.adb (P_Aspect_Specifications): Check misspelled aspect name.
      	* par.adb: Add with for Namet.Sp.
      	* par-tchk.adb: Minor reformatting.
      
      2011-08-01  Vincent Celier  <celier@adacore.com>
      
      	* mlib-tgt-specific-vms-alpha.adb, mlib-tgt-specific-vms-ia64.adb
      	(Build_Dynamic_Library): Use new function Init_Proc_Name to get the name
      	of the init procedure of a SAL.
      	* mlib-tgt-vms_common.ads, mlib-tgt-vms_common.adb (Init_Proc_Name):
      	New procedure.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* exp_ch4.adb, s-tasini.ads, sem_attr.adb, s-soflin.ads: Minor
      	reformatting.
      
      2011-08-01  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
      
      	* adaint.c (__gnat_file_time_name_attr): Get rid of warning.
      
      2011-08-01  Thomas Quinot  <quinot@adacore.com>
      
      	* sem_util.adb, sem_util.ads (Has_Overriding_Initialize): Make function
      	conformant with its spec (return True only for types that have
      	an overriding Initialize primitive operation that prevents them from
      	having preelaborable initialization).
      	* sem_cat.adb (Validate_Object_Declaration): Fix test for preelaborable
      	initialization for controlled types in Ada 2005 or later mode.
      
      From-SVN: r177021
      Arnaud Charlet committed
    • re PR debug/49887 (.debug_macro breaks many Solaris/SPARC tests) · b6193c94
      	PR debug/49887
      	* config/sol2.c (solaris_code_end): Rename to solaris_file_end.
      	* config/sol2-protos.h: Likewise.
      	* config/i386/i386.c (ix86_code_end) [TARGET_SOLARIS]: Don't call
      	solaris_code_end.
      	* config/i386/sol2.h [!USE_GAS] (TARGET_ASM_FILE_END): Redefine.
      	* config/sparc/sparc.c (sparc_file_end) [TARGET_SOLARIS]: Call
      	solaris_file_end.
      	* config/sparc/sol2.h (TARGET_ASM_CODE_END): Remove.
      
      From-SVN: r177020
      Rainer Orth committed
    • Makefile.in (LIBGCC_VER_FIXEDPOINT_GNU_PREFIX): New. · 247eb06f
      	libgcc/
      	* Makefile.in (LIBGCC_VER_FIXEDPOINT_GNU_PREFIX): New.
      	(libgcc-std.ver.in): Use above.
      	* fixed-bit.h (LIBGCC2_FIXEDBIT_GNU_PREFIX): Define, if
      	LIBGCC2_GNU_PREFIX is defined.  Use instead of LIBGCC2_GNU_PREFIX
      	throughout file.
      	* config/t-fixedpoint-gnu-prefix: New file.
      	* config/t-gnu-prefix (LIBGCC_VER_FIXEDPOINT_GNU_PREFIX): Set.
      	* libgcc-std.ver.in (fixed-point routines): Use __FIXPTPFX__
      	instead of __PFX__.
      
      From-SVN: r177019
      Julian Brown committed
    • tree-ssa-sccvn.c (copy_reference_ops_from_ref): Support FIXED_CST. · 0747aae4
      	gcc/
      	* tree-ssa-sccvn.c (copy_reference_ops_from_ref): Support FIXED_CST.
      
      From-SVN: r177018
      Julian Brown committed
    • final.c (output_addr_const): Print fixed-point constants as decimal not hex. · 848fac28
      	gcc/
      	* final.c (output_addr_const): Print fixed-point constants as
      	decimal not hex.
      
      From-SVN: r177017
      Julian Brown committed
    • stor-layout.c (initialize_sizetypes): Properly sign-extend bitsiztype TYPE_MAX_VALUE. · e62a2b6e
      2011-08-01  Richard Guenther  <rguenther@suse.de>
      
      	* stor-layout.c (initialize_sizetypes): Properly sign-extend
      	bitsiztype TYPE_MAX_VALUE.
      
      From-SVN: r177016
      Richard Guenther committed
    • optabs.c (prepare_cmp_insn): Use correct biasing for fixed-point comparison helpers. · f64398b5
      	* optabs.c (prepare_cmp_insn): Use correct biasing for fixed-point
      	comparison helpers.
      
      From-SVN: r177015
      Julian Brown committed
    • aspects.ads, [...]: Add aspect Type_Invariant, Precondition, Postcondition. · 857ade1b
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads, aspects.adb: Add aspect Type_Invariant, Precondition,
      	Postcondition.
      	(Same_Aspect): New function.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Add aspect
      	Type_Invariant, Precondition, Postcondition.
      	* snames.ads-tmpl: Add Name_Type_Invariant.
      
      From-SVN: r177011
      Robert Dewar committed
    • freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point here. · bd949ee2
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* freeze.adb (Freeze_Entity): Don't call Check_Aspect_At_Freeze_Point
      	here.
      	(Freeze_All_Ent): Fix error in handling inherited aspects.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Skip aspect that is
      	already analyzed, but don't skip entire processing of a declaration,
      	that's wrong in some cases of declarations being rewritten.
      	(Analyze_Aspect_Specification): Set Is_Delayed_Aspect in aspects.
      	Don't delay for integer, string literals
      	Treat predicates in usual manner for delay, remove special case code,
      	not needed.
      	(Analyze_Freeze_Entity): Make call to Check_Aspect_At_Freeze_Point
      	(Build_Predicate_Function): Update saved expression in aspect
      	(Build_Invariant_Procedure): Update saved expression in aspect
      	* exp_ch4.adb (Expand_N_Selected_Component): Only do the optimization
      	of replacement of discriminant references if the reference is simple.
      
      From-SVN: r177010
      Robert Dewar committed
    • aspects.ads, [...]: Add Static_Predicate and Dynamic_Predicate. · f1c952af
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads, aspects.adb: Add Static_Predicate and Dynamic_Predicate.
      	* sem_ch13.adb (Analyze_Aspect_Specification): Add processing for
      	Static_Predicate and Dynamic_Predicate.
      	(Build_Predicate_Function): Add processing for Static_Predicate
      	and Dynamic_Predicate.
      	* sinfo.ads, sinfo.adb (From_Dynamic_Predicate): New flag
      	(From_Static_Predicate): New flag
      	* snames.ads-tmpl: Add Name_Static_Predicate and Name_Dynamic_Predicate
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* usage.adb: Documentation cleanup for Ada version modes in usage.
      	* expander.adb: Minor reformatting.
      
      From-SVN: r177009
      Robert Dewar committed
    • [multiple changes] · 47e11d08
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* atree.ads: Minor comment fix.
      	* a-stwifi.adb, a-stzfix.adb, a-strfix.adb, a-ztexio.ads, a-textio.ads,
      	a-witeio.ads, sem_prag.adb: Minor reformatting.
      
      2011-08-01  Doug Rupp  <rupp@adacore.com>
      
      	* env.c (__gnat_setenv) [VMS]: Force 32bit on item list structure
      	pointers. Use descrip.h header file for convenience. Add some
      	comments.
      
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* freeze.adb (Freeze_Entity): Call Check_Aspect_At_Freeze_Point
      	(Freeze_All): Call Check_Aspect_At_End_Of_Declarations
      	* sem_ch13.ads, sem_ch13.adb (Check_Aspect_At_Freeze_Point):
      	New procedure.
      	(Check_Aspect_At_End_Of_Declarations): New procedure
      	(Analye_Aspect_Specification): Minor changes for above procedures
      	* sinfo.ads, sinfo.adb (Is_Delayed_Aspect): Now set in aspect
      	specification node as well.
      
      2011-08-01  Pascal Obry  <obry@adacore.com>
      
      	* adaint.c (_gnat_stat): GetFilesAttributesEx() would fail on special
      	Windows files. Use GetFilesAttributes() in this case to check for file
      	existence instead of returning with an error code.
      
      From-SVN: r177008
      Arnaud Charlet committed
    • a-stzfix.adb, [...] (Replace_Slice): Fixed computation when High is above Source length. · a3a16b21
      2011-08-01  Vincent Celier  <celier@adacore.com>
      
      	* a-stzfix.adb, a-stwifi.adb (Replace_Slice): Fixed computation when
      	High is above Source length.
      
      From-SVN: r177007
      Vincent Celier committed
    • a-ztexio.ads, [...]: Fix comment. · ff58cc69
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* a-ztexio.ads, a-textio.ads, a-witeio.ads: Fix comment.
      
      From-SVN: r177006
      Robert Dewar committed
    • [multiple changes] · 6bb88533
      2011-08-01  Robert Dewar  <dewar@adacore.com>
      
      	* aspects.ads (Boolean_Aspects): New subtype.
      	* exp_ch13.adb (Expand_Freeze_Entity): Fix errors in handling aspects
      	for derived types in cases where the parent type and derived type have
      	aspects.
      	* freeze.adb (Freeze_Entity): Fix problems in handling derived type
      	with aspects when parent type also has aspects.
      	(Freeze_Entity): Deal with delay of boolean aspects (must evaluate
      	boolean expression at this point).
      	* sem_ch13.adb (Analyze_Aspect_Specifications): Delay all aspects in
      	accordance with final decision on the Ada 2012 feature.
      	* sinfo.ads, sinfo.adb (Is_Boolean_Aspect): New flag.
      
      2011-08-01  Matthew Heaney  <heaney@adacore.com>
      
      	* a-chtgbo.adb (Delete_Node_Sans_Free): Replace iterator with selector.
      
      From-SVN: r177005
      Arnaud Charlet committed
    • [multiple changes] · 060a3f28
      2011-08-01  Pascal Obry  <obry@adacore.com>
      
      	* a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb:
      	Fix Replace_Slice when High is above current string size.
      	(Replace_Slice): Fix DL computation when High is above current
      	string length.
      
      2011-08-01  Gary Dismukes  <dismukes@adacore.com>
      
      	* gnat_rm.texi: Add documentation for pragma Static_Elaboration_Desired.
      
      From-SVN: r177004
      Arnaud Charlet committed
    • [multiple changes] · e7f567a3
      2011-08-01  Matthew Heaney  <heaney@adacore.com>
      
      	* a-rbtgbo.adb (Delete_Node_Sans_Free): Fixed assignment to left child
      	of node.
      
      2011-08-01  Pascal Obry  <obry@adacore.com>
      
      	* a-stzunb-shared.adb, a-strunb-shared.adb, a-stwiun-shared.adb: Minor
      	reformatting.
      
      From-SVN: r177003
      Arnaud Charlet committed
    • [multiple changes] · 1a265e78
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_attr.adb (Analyze_Attribute, case 'Access): handle properly named
      	access to protected subprograms in generic bodies.
      	* sem_ch6.adb (Analyze_Subprogram_Declaration): If the context is a
      	protected type, indicate that the convention of the subprogram is
      	Convention_Protected, because it may be used in subsequent declarations
      	within the protected declaration.
      
      2011-08-01  Vincent Celier  <celier@adacore.com>
      
      	* mlib-prj.adb (Build_Library): Use "ada_" as the prefix for the "init"
      	and "final" procedures when the name of the library is "ada", to avoid
      	duplicate symbols "adainit" and "adafinal" in executables.
      
      From-SVN: r177002
      Arnaud Charlet committed
    • sem_attr.adb (Analyze_Attribute, [...]): Handle properly a quantified expression… · 67e28ef8
      sem_attr.adb (Analyze_Attribute, [...]): Handle properly a quantified expression that appears within a postcondition and...
      
      2011-08-01  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_attr.adb (Analyze_Attribute, case 'Result): Handle properly a
      	quantified expression that appears within a postcondition and uses the
      	Ada2012 'Result attribute.
      
      From-SVN: r177001
      Ed Schonberg committed
    • rem_pio2q.c (__quadmath_kernel_rem_pio2): Fix up fq to y conversion for prec 3… · 57044b5a
      rem_pio2q.c (__quadmath_kernel_rem_pio2): Fix up fq to y conversion for prec 3 and __FLT_EVAL_METHOD__ != 0.
      
      	* math/rem_pio2q.c (__quadmath_kernel_rem_pio2): Fix up fq to y
      	conversion for prec 3 and __FLT_EVAL_METHOD__ != 0.
      
      From-SVN: r176999
      Jakub Jelinek committed
    • Use temporary variables for calls with multiple results. · 8586635c
      From-SVN: r176998
      Ian Lance Taylor committed
    • h8300: Add flags to .section directives. · c469244e
      From-SVN: r176996
      Richard Henderson committed
    • Handle SIZE_TYPE being unsigned short. · b87ac615
      From-SVN: r176995
      Richard Henderson committed