1. 05 Aug, 2011 23 commits
    • ro's avatar
      gcc: · e59be7e3
      ro authored
      	* Makefile.in (UNWIND_H): Remove.
      	(LIBUNWINDDEP): Remove.
      	(libgcc-support): Remove LIB2ADDEH, $(srcdir)/emutls.c dependencies.
      	(libgcc.mvars): Remove LIB2ADDEH, LIB2ADDEHSTATIC, LIB2ADDEHSHARED,
      	(stmp-int-hdrs): Remove $(UNWIND_H) dependency.
      	Don't copy $(UNWIND_H).
      	* config.gcc (ia64*-*-linux*): Remove with_system_libunwind
      	* configure.ac (GCC_CHECK_UNWIND_GETIPINFO): Remove.
      	* aclocal.m4: Regenerate.
      	* configure: Regenerate.
      	* emutls.c, unwind-c.c, unwind-compat.c, unwind-compat.h,
      	unwind-dw2-fde-compat.c, unwind-dw2-fde-glibc.c, unwind-dw2-fde.c,
      	unwind-dw2-fde.h, unwind-dw2.c, unwind-dw2.h, unwind-generic.h,
      	unwind-pe.h, unwind-sjlj.c, unwind.inc: Move to ../libgcc.
      	* unwind-dw2-fde-darwin.c: Move to ../libgcc/config.
      	* config/arm/libunwind.S, config/arm/pr-support.c,
      	config/arm/unwind-arm.c, config/arm/unwind-arm.h: Move to
      	* config/arm/t-bpabi (UNWIND_H, LIB2ADDEH): Remove.
      	* config/arm/t-symbian (UNWIND_H, LIB2ADDEH): Remove.
      	* config/frv/t-frv ($(T)frvbegin$(objext)): Use
      	$(srcdir)/../libgcc to refer to unwind-dw2-fde.h.
      	($(T)frvend$(objext)): Likewise.
      	* config/ia64/t-glibc (LIB2ADDEH): Remove.
      	* config/ia64/t-glibc-libunwind: Move to ../libgcc/config/ia64.
      	* config/ia64/fde-glibc.c, config/ia64/fde-vms.c,
      	config/ia64/unwind-ia64.c, config/ia64/unwind-ia64.h: Move to
      	* config/ia64/t-hpux (LIB2ADDEH): Remove.
      	* config/ia64/t-ia64 (LIB2ADDEH): Remove.
      	* config/ia64/t-vms (LIB2ADDEH): Remove.
      	* config/ia64/vms.h (UNW_IVMS_MODE,
      	* config/picochip/t-picochip (LIB2ADDEH): Remove.
      	* config/rs6000/aix.h (R_LR, MD_FROB_UPDATE_CONTEXT): Remove.
      	* config/rs6000/t-darwin (LIB2ADDEH): Remove.
      	* config/rs6000/darwin-fallback.c: Move to ../libgcc/config/rs6000.
      	* config/sh/t-sh ($(T)unwind-dw2-Os-4-200.o): Use
      	$(srcdir)/../libgcc to refer to unwinder sources.
      	* config/spu/t-spu-elf (LIB2ADDEH): Remove.
      	* config/t-darwin (LIB2ADDEH): Remove.
      	* config/t-freebsd (LIB2ADDEH): Remove.
      	* config/t-libunwind (LIB2ADDEH, LIB2ADDEHSTATIC): Remove.
      	* config/t-libunwind-elf: Move to ../libgcc/config.
      	* config/t-linux (LIB2ADDEH): Remove.
      	* config/t-sol2 (LIB2ADDEH): Remove.
      	* config/xtensa/t-xtensa (LIB2ADDEH): Remove.
      	* system.h (MD_FROB_UPDATE_CONTEXT): Poison.
      	* EXCLUDES (unwind-c.c, unwind-dw2-fde-darwin.c)
      	(unwind-dw2-fde-glibc.c, unwind-dw2-fde.c, unwind-dw2-fde.h)
      	(unwind-dw2.c, unwind-pe.h, unwind-sjlj.c, unwind.h): Remove.
      	(LIB2ADDEH, LIB2ADDEHSTATIC, LIB2ADDEHSHARED): Add $(srcdir)/emutls.c.
      	(install-unwind_h): New target.
      	(all): Depend on it.
      	* config.host (unwind_header): New variable.
      	(*-*-freebsd*): Set tmake_file to t-eh-dw2-dip.
      	(*-*-linux*, frv-*-*linux*, *-*-kfreebsd*-gnu, *-*-knetbsd*-gnu,
      	*-*-gnu*): Likewise, also for *-*-kopensolaris*-gnu.
      	(*-*-solaris2*): Add t-eh-dw2-dip to tmake_file.
      	(arm*-*-linux*): Add arm/t-bpabi for arm*-*-linux-*eabi.
      	Set unwind_header.
      	(arm*-*-uclinux*): Add arm/t-bpabi for arm*-*-uclinux*eabi.
      	Set unwind_header.
      	(arm*-*-eabi*, arm*-*-symbianelf*): Add arm/t-bpabi for
      	Add arm/t-symbian to tmake_file for arm*-*-symbianelf*.
      	Set unwind_header.
      	(ia64*-*-elf*): Add ia64/t-eh-ia64 to tmake_file.
      	(ia64*-*-freebsd*): Likewise.
      	(ia64*-*-linux*): Add ia64/t-glibc, ia64/t-eh-ia64, t-libunwind to
      	Add t-libunwind-elf, ia64/t-glibc-libunwind unless
      	(ia64*-*-hpux*): Set tmake_file.
      	(ia64-hp-*vms*): Add ia64/t-eh-ia64 to tmake_file.
      	(picochip-*-*): Set tmake_file.
      	(rs6000-ibm-aix4.[3456789]*, powerpc-ibm-aix4.[3456789]*): Set
      	(rs6000-ibm-aix5.1.*, powerpc-ibm-aix5.1.*): Likewise.
      	(rs6000-ibm-aix[56789].*, powerpc-ibm-aix[56789].*): Likewise.
      	(s390x-ibm-tpf*): Add t-eh-dw2-dip to tmake_file.
      	(xtensa*-*-elf*): Set tmake_file.
      	(xtensa*-*-linux*): Likewise.
      	* configure.ac: Include ../config/unwind_ipinfo.m4.
      	Link unwind.h to $unwind_header.
      	* configure: Regenerate.
      	* emutls.c, unwind-c.c, unwind-compat.c, unwind-compat.h,
      	unwind-dw2-fde-compat.c, unwind-dw2-fde-dip.c, unwind-dw2-fde.c,
      	unwind-dw2-fde.h, unwind-dw2.c, unwind-dw2.h, unwind-generic.h,
      	unwind-pe.h, unwind-sjlj.c, unwind.inc: New files.
      	* config/unwind-dw2-fde-darwin.c: New file.
      	* config/arm/libunwind.S, config/arm/pr-support.c,
      	config/arm/t-bpabi, config/arm/t-symbian, config/arm/unwind-arm.c,
      	config/arm/unwind-arm.h,: New files.
      	* config/ia64/fde-glibc.c, config/ia64/fde-vms.c,
      	config/ia64/t-eh-ia64, config/ia64/t-glibc,
      	config/ia64/t-glibc-libunwind, config/ia64/t-hpux,
      	config/ia64/t-vms, config/ia64/unwind-ia64.c,
      	config/ia64/unwind-ia64.h: New files.
      	* config/picochip/t-picochip: New file.
      	* config/rs6000/aix-unwind.h, config/rs6000/darwin-fallback.c: New
      	* config/rs6000/t-darwin (LIB2ADDEH): Set.
      	* config/s390/t-tpf (LIB2ADDEH): Remove.
      	* config/t-darwin (LIB2ADDEH): Set.
      	* config/t-eh-dw2-dip: New file.
      	* config/t-libunwind, config/t-libunwind-elf: New files.
      	* config/t-sol2 (LIB2ADDEH): Remove.
      	* config/xtensa/t-xtensa: New file.
      	* gcc-interface/Makefile.in (raise-gcc.o): Search
      	* Makefile.am (AM_CFLAGS): Search $(srcdir)/../libgcc.
      	* Makefile.in: Regenerate.
      	* configure.ac (GCC_UNWIND_INCLUDE): Rename to
      	Point to $(multi_basedir)/./libjava/../libgcc.
      	* configure: Regenerate.
      	* Makefile.am (GCC_UNWIND_INCLUDE): Reflect this.
      	* Makefile.in: Regenerate.
      	* Makefile.in (INCLUDES): Search
      	to $(toplevel_srcdir)/libgcc.
      	* configure: Regenerate.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177447 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Bob Duff <duff@adacore.com> · 81b424ac
      charlet authored
      	* sinfo.ads, sinfo.adb (Subpool_Handle_Name): New attribute for
      	* par-ch4.adb (P_Allocator): Parse new subpool specification syntax.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_ch4.adb (Try_Container_Indexing): New procedure to implement the
      	general indexing aspects of Ada2012. Called when analyzing indexed
      	components when other interpretations fail.
      	* sem_ch8.adb (Find_Direct_Name): check for implicit dereference only
      	in an expression context where overloading is meaningful. This excludes
      	the occurrence in an aspect specification (efficiency only).
      	* sem_attr.adb (Analyze_Attribute): indicate that the attributes
      	related to iterators can be set by an attribute specification, but
      	cannot be queried.
      	* sem_ch13.adb (Analyze_Aspect_Specifications): handle
      	Constant_Indexing and Variable_Indexing.
      	(Check_Indexing_Functions): New procedure to perform legality checks.
      	Additional semantic checks at end of declarations.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177446 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Sergey Rybin <rybin@adacore.com> · be4a2320
      charlet authored
      	* tree_io.ads: Update ASIS_Version_Number because of the change of the
      	order of calling Tree_Write/Tree_Read routines made for aspects.
      2011-08-05  Bob Duff  <duff@adacore.com>
      	* a-fihema.adb (Finalize): Fix race condition.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177445 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Yannick Moy <moy@adacore.com> · 8083819d
      charlet authored
      	* sem_ch12.adb (Analyze_Package_Instantiation,
      	Need_Subprogram_Instance_Body): do not generate instance bodies in ALFA
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_type.adb (Specific_Type): in an instance, the type-specific
      	operand of an equality check that involves null may have a private
      	type. Use full view to determine legality of construct.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177444 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Vincent Celier <celier@adacore.com> · 01209cd8
      charlet authored
      	* gnatcmd.adb (Get_Closure): Do not crash when it is not possible to
      	delete or close the file when the call to gnatmake was successful.
      2011-08-05  Yannick Moy  <moy@adacore.com>
      	* gnat1drv.adb (Adjust_Global_Switches): in ALFA mode, set
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sinfo.ads: comments on use of entity field for aspect specifications.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_ch12.adb (Reset_Entity): If the entity field of the associated
      	node is not itself an entity but a selected component, it is a
      	rewritten parameterless call to an en enclosing synchronized operation,
      	and this expansion will be performed again in the instance, so there is
      	no global information to preserve.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177443 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Javier Miranda <miranda@adacore.com> · cf365b48
      charlet authored
      	* exp_disp.adb (Set_All_DT_Position): Cleanup code and improve support
      	for renamings of predefined primitives.
      	(In_Predef_Prims_DT): New subprogram.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_util.adb, sem_util.ads (Check_Implicit_Dereference): If a
      	possible interpretation of name is a reference type, add an
      	interpretation that is the designated type of the reference
      	discriminant of that type.
      	* sem_res.adb (resolve): If the interpretation imposed by context is an
      	implicit dereference, rewrite the node as the deference of the
      	reference discriminant.
      	* sem_ch3.adb (Analyze_Subtype_Declaration, Build_Derived_Record_Type,
      	Build_Discriminated_Subtype): Inherit Has_Implicit_Dereference from
      	parent type or base type.
      	* sem_ch4.adb (Process_Indexed_Component,
      	Process_Overloaded_Indexed_Component, Indicate_Name_And_Type,
      	Analyze_Overloaded_Selected_Component, Analyze_Selected_Component):
      	Check for implicit dereference.
      	(List_Operand_Interps): Indicate when an implicit dereference is
      	* sem_ch8.adb (Find_Direct_Name): Check for implicit dereference.
      2011-08-05  Thomas Quinot  <quinot@adacore.com>
      	* scos.ads: Update documentation of SCO table. Pragma statements can now
      	be marked as disabled (using 'p' instead of 'P' as the statement kind).
      	* par_sco.ads, par_sco.adb: Implement the above change.
      	(Process_Decisions_Defer): Generate a P decision for the first parameter
      	of a dyadic pragma Debug.
      	* sem_prag.adb (Analyze_Pragma, case Debug): Mark pragma as enabled if
      	* put_scos.adb: Code simplification based on above change.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177442 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Robert Dewar <dewar@adacore.com> · 7947a439
      charlet authored
      	* sem_ch3.adb, gnatcmd.adb, switch-c.adb, exp_attr.adb, make.adb,
      	bindgen.adb, einfo.adb, sem_ch12.adb, sem_attr.adb, a-fihema.adb,
      	a-fihema.ads, sem_elab.adb, sem_elab.ads, aspects.adb, opt.ads,
      	prj-conf.adb, sem_ch13.adb, s-ficobl.ads: Minor reformatting
      2011-08-05  Bob Duff  <duff@adacore.com>
      	* a-stunau.ads, g-spipat.adb: Update comments.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177441 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Bob Duff <duff@adacore.com> · 21ffee21
      charlet authored
      	* a-fihema.ads: Minor comment fix.
      	* a-fihema.adb (Allocate, Deallocate): Assert that the alignment is
      	(Attach, Detach): Remove some unnecessary code.
      	(Finalize): Remove Node_Ptr_To_Address, replace with a constant.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177440 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Bob Duff <duff@adacore.com> · 91b11226
      charlet authored
      	* a-fihema.ads, a-fihema.adb (Finalization_Collection): Avoid heap
      	allocation for Objects component. This simplifies the code somewhat. It
      	is also a little more efficient in the not-so-unusual case where there
      	are no controlled objects allocated.
      	Make Finalization_Started flag atomic.
      	(Finalize): Avoid unnecessary detachment of items from the list.
      	(pcol): Minor cleanup.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177439 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Ed Schonberg <schonberg@adacore.com> · 8db65300
      charlet authored
      	* sem_ch12.adb (Analyze_Formal_Package_Declaration): reject a formal
      	package whose name is the same as that of the generic unit, or its
      	ultimate prefix.
      2011-08-05  Bob Duff  <duff@adacore.com>
      	* a-fihema.adb, a-fihema.ads: Minor comment improvements.
      	* sem_ch3.adb, exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, exp_util.adb:
      	Minor comment fixes.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177438 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Arnaud Charlet <charlet@adacore.com> · 0319323f
      charlet authored
      	* make.adb (Linking_Phase): No longer need to set source search path
      	before calling gnatlink in CodePeer mode.
      	* gnatlink.adb (Gnatlink): No longer pass -gnat83/95/05/12 switch to
      	gcc in CodePeer mode, since the binder generated file no longer has a
      	'with Main'.
      	* switch.ads, switch.adb (Is_Language_Switch): Removed.
      	* switch-c.adb: Update comment.
      2011-08-05  Thomas Quinot  <quinot@adacore.com>
      	* exp_strm.adb, bindgen.adb, s-ficobl.ads: Minor reformatting.
      2011-08-05  Nicolas Roche  <roche@adacore.com>
      	* gnat_ugn.texi: Fix minor syntax error issue.
      2011-08-05  Vincent Celier  <celier@adacore.com>
      	* gnatcmd.adb (Get_Closure): Do not crash when it is not possible to
      	delete or close the file when the call to gnatmake returns a non
      	successful return code.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* exp_ch4.adb (Expand_N_Type_Conversion): When expanding a predicate
      	check, indicate that the copy of the original node does not come from
      	source, to prevent an infinite recursion of the expansion.
      2011-08-05  Johannes Kanig  <kanig@adacore.com>
      	* debug.adb: document switch -gnatd.G for gnat2why, which deactivates
      	VC generation for subprogram bodies.
      2011-08-05  Yannick Moy  <moy@adacore.com>
      	* einfo.ads: Typo.
      	* sem_ch3.adb (Signed_Integer_Type_Declaration): in ALFA mode, define
      	the base type with the smallest allowed base type.
      2011-08-05  Sergey Rybin  <rybin@adacore.com>
      	* tree_gen.adb, tree_in.adb, aspects.adb: Fix tree read-write for
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_ch12.ads: minor comment updates.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* sem_ch12.adb (Analyze_Formal_Package_Declaration): in an
      	instantiation and a formal package the compiler generates a package
      	renaming declaration so that the generic name within the declaration
      	is interpreted as a renaming of the instance. At the end of a formal
      	package declaration, this renaming must become invisible.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177437 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Hristian Kirtchev <kirtchev@adacore.com> · b57530b8
      charlet authored
      	* exp_ch7.adb (Is_Init_Call): Reimplemented to avoid character
      	comparison and rely on concrete entities instead.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* einfo.ads, einfo.adb (Has_Implicit_Dereference): new flag on types
      	and discriminants, to indicate that the type has an access discriminant
      	that supports implicit dereference.
      	* snames.ads-tmpl: Add names of aspects and attributes related to
      	Ada2012 iterators: constant_indexing, default_iterator,
      	iterator_element, implicit_dereference, variable_indexing.
      	* aspects.ads, aspects.adb: entries for iterator-related aspects.
      	* sem_ch13.adb (Analyze_aspect_specifications): dummy entries for
      	iterator-related aspects.
      	* sem_attr.adb, exp_attr.adb Dummy entries for iterator-related aspects.
      2011-08-05  Sergey Rybin  <rybin@adacore.com>
      	* gnat_ugn.texi, vms_data.ads: Extend the subsection about coupling
      	metrics in gnatmetric to cover new kinds of coupling mentrics.
      2011-08-05  Steve Baird  <baird@adacore.com>
      	* bindgen.adb (Gen_CodePeer_Wrapper): Call Ada_Main_Program instead
      	of calling the user-defined main subprogram. 
      	(Gen_Main):  Declare Ada_Main_Program and (if CodePeer_Mode
      	is set) Call_Main_Subprogram ahead of, as opposed to
      	inside of, Main.
      	(Gen_Output_File_Ada): Remove CodePeer_Mode-conditional
      	generation of a "with" of the user-defined main subprogram.
      	Remove CodePeer_Mode-conditional call to Gen_CodePeer_Wrapper
      	(which is now called from Gen_Main instead).
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177436 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Emmanuel Briot <briot@adacore.com> · bc953d0b
      charlet authored
      	* projects.texi: Added reference to the Makefile package.
      2011-08-05  Thomas Quinot  <quinot@adacore.com>
      	* exp_ch7.adb: Minor comment rewording.
      2011-08-05  Ed Falis  <falis@adacore.com>
      	* env.c: Fix comment.
      2011-08-05  Hristian Kirtchev  <kirtchev@adacore.com>
      	* sem_elab.adb (Is_Finalization_Procedure): Reimplemented to avoid
      	character comparison and rely on concrete entities instead.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177435 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Ed Schonberg <schonberg@adacore.com> · ca05a755
      charlet authored
      	* sem_ch3.adb: (Check_Private_Overriding): better error message,
      	suggested by AI95-0068.
      2011-08-05  Hristian Kirtchev  <kirtchev@adacore.com>
      	* exp_ch7.adb (Find_Last_Init): Use Next_Suitable_Statement to retrieve
      	the two potential initialization calls. This accounts for any
      	access-before-elaboration checks which may precede the initialization
      	(Next_Suitable_Statement): New routine. Returns the next real statement
      	after the input node while skipping generated checks.
      	* sem_elab.adb (Check_A_Call): New formal parameter In_Init_Proc along
      	with comment on usage.
      	Do not generate Elaborate_All when the trigger is a finalization call
      	coming from a type init proc.
      	(Check_Elab_Call): Propagate the initialization procedure context to
      	subsequent calls to Check_A_Call.
      	(Check_Internal_Call_Continue): Propagate the initialization procedure
      	context to subsequent calls to Check_Elab_Call.
      	(Is_Finalization_Procedure): New routine. Returns True if the input
      	entity denotes a [Deep_]Finalize routine.
      	* sem_elab.ads (Check_Elab_Call): New formal parameter In_Init_Proc
      	along with comment on usage.
      2011-08-05  Vadim Godunko  <godunko@adacore.com>
      	* s-atocou.ads: Add list of supported platforms.
      2011-08-05  Yannick Moy  <moy@adacore.com>
      	* sem_prag.adb, restrict.adb: Correct style for or'ing Boolean variables
      	* opt.ads (Disable_ALI_File): new Boolean flag
      	* lib-writ.adb (Write_ALI): when Disable_ALI_File is set, do nothing
      2011-08-05  Ed Falis  <falis@adacore.com>
      	* env.c (__gnat_environ): Fix includes for RTPs and VTHREADS so that
      	environ is properly defined.
      2011-08-05  Vincent Celier  <celier@adacore.com>
      	* make.adb (Compilation_Phase): Exit immediately when all objects have
      	been found up to date, to avoid multiple exit messages.
      	* prj-nmsc.adb (Add_Source): Allow duplicate source file names in the
      	same project for languages with no compiler.
      	* gnat_ugn.texi: Document compiler switch -gnateI and gnatmake switch
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177434 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Robert Dewar <dewar@adacore.com> · b1e52fee
      charlet authored
      	* exp_ch7.ads, sem_type.adb, make.adb, sem_prag.adb, sem_util.adb,
      	sem_util.ads, sem_attr.adb, restrict.ads, sem_ch6.adb, prj-conf.adb,
      	prj-conf.ads, s-atocou.ads, s-atocou.adb, s-atocou-x86.adb,
      	s-atocou-builtin.adb: Minor reformatting.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177433 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-05 Yannick Moy <moy@adacore.com> · b07bcda8
      charlet authored
      	* exp_ch7.adb (Establish_Transient_Scope): in formal verification mode,
      	if the node to wrap is a pragma check, this node and enclosed
      	expression are not expanded, so do not apply any transformations here.
      	* exp_prag.adb (Expand_Pragma_Check): document the need to avoid
      	introducing transient scopes.
      2011-08-05  Jose Ruiz  <ruiz@adacore.com>
      	* adaint.c (__gnat_set_writable, __gnat_set_readable,
      	__gnat_set_executable, __gnat_set_non_writable, __gnat_set_non_readable,
      	__gnat_copy_attribs): On VxWorks 6.x and later, the required chmod
      	routine is available, so we use the default implementation of these
      	* s-os_lib.ads (Copy_File, Copy_Time_Stamps): Document that there is
      	support for copying attributes on VxWorks 6.
      2011-08-05  Yannick Moy  <moy@adacore.com>
      	* debug.adb: Remove use of -gnatd.D.
      	* gnat1drv.adb (Adjust_Global_Switches): adjust switches for ALFA mode
      	* opt.ads: Simplify variables for ALFA mode, to keep one only
      	* restrict.adb, sem_prag.adb: Adapt treatment done for CodePeer mode
      	to ALFA mode.
      2011-08-05  Vincent Celier  <celier@adacore.com>
      	* prj-conf.adb (Do_Autoconf): Look also for --RTS in
      2011-08-05  Vincent Celier  <celier@adacore.com>
      	* makeusg.adb: Add lines for --create-map-file switches.
      2011-08-05  Ed Schonberg  <schonberg@adacore.com>
      	* freeze.adb (Freeze_Entity): For a subprogram, if a type in the
      	profile is incomplete and the full view is available, replace it with
      	the full view.
      	* sem_ch6.adb (Possible_Freeze): if a type in the profile is
      	incomplete, freezing the subprogram is delayed until the full view is
      	* sem_type.adb (Disambiguate): an ambiguity between a user-defined
      	fixed-point multiplication operator and the predefined operator is
      	resolved in favor of the user-defined one.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177432 138bc75d-0d04-0410-961f-82ee72b054a4
    • hjl's avatar
      Add -march=core-avx-i. · 4e51667e
      hjl authored
      2011-08-05  H.J. Lu  <hongjiu.lu@intel.com>
      	* config/i386/i386.c (processor_alias_table): Add core-avx-i.
      	* doc/invoke.texi: Document core-avx-i.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177429 138bc75d-0d04-0410-961f-82ee72b054a4
    • ro's avatar
      PR libgomp/49965 · 4e29c2f5
      ro authored
      	* testsuite/libgomp.c++/task-8.C: Replaced err by errval.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177428 138bc75d-0d04-0410-961f-82ee72b054a4
    • ro's avatar
      gcc: · 6aec97be
      ro authored
      	* tsystem.h (CONST_CAST2, CONST_CAST): Define.
      	* init.c [__alpha__ && __osf__] (__gnat_error_handler): Use
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177427 138bc75d-0d04-0410-961f-82ee72b054a4
    • irar's avatar
      · 2f4ce795
      irar authored
              * tree-vect-loop.c (vect_create_epilog_for_reduction): Use the
              result of multiple results reduction when extracting the final
              value using scalar code.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177426 138bc75d-0d04-0410-961f-82ee72b054a4
    • rguenth's avatar
      2011-08-05 Richard Guenther <rguenther@suse.de> · 6c696748
      rguenth authored
      	PR tree-optimization/49984
      	* tree-vrp.c (extract_range_from_binary_expr_1): Handle BIT_XOR_EXPR.
      	* gcc.dg/tree-ssa/vrp59.c: New testcase.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177425 138bc75d-0d04-0410-961f-82ee72b054a4
    • rguenth's avatar
      2011-08-05 Richard Guenther <rguenther@suse.de> · f26adbc1
      rguenth authored
      	* tree-vrp.c (zero_nonzero_bits_from_vr): Make sure to always
      	return true for constant integer ranges.
      	(extract_range_from_binary_expr_1): Simplify BIT_AND_EXPR and
      	BIT_IOR_EXPR handling.
      	* gcc.dg/tree-ssa/vrp51.c: Disable CCP.
      	* gcc.dg/tree-ssa/vrp52.c: Likewise.
      	* gcc.dg/tree-ssa/vrp53.c: Likewise.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177423 138bc75d-0d04-0410-961f-82ee72b054a4
    • gccadmin's avatar
      Daily bump. · 98161f6d
      gccadmin authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177422 138bc75d-0d04-0410-961f-82ee72b054a4
  2. 04 Aug, 2011 17 commits
    • bkoz's avatar
      2011-08-04 Benjamin Kosnik <bkoz@redhat.com> · f982bd7b
      bkoz authored
      	* doc/xml/manual/build_hacking.xml: Use relative fileref for PNG
      	* doc/xml/manual/test_policy_data_structures.xml: Same.
      	* doc/xml/manual/policy_data_structures.xml: Same.
      	* doc/Makefile.am (stamp-html-docbook-images)
      	(stamp-html-docbook-lwg, stamp-html-docbook-data): New.
      	(xml_extra): Add lwg html file dependencies.
      	(xml_images): Add image html file dependencies.
      	* doc/Makefile.in: Regenerate.
      	(stamp-html): Change to stamp-html-docbook-data.
      	(stamp-html-copy): Remove.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177418 138bc75d-0d04-0410-961f-82ee72b054a4
    • mikael's avatar
      Add directory to filenames in the ChangeLog · 7be8a8f7
      mikael authored
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177416 138bc75d-0d04-0410-961f-82ee72b054a4
    • mikael's avatar
      2011-08-04 Mikael Morin <mikael.morin@sfr.fr> · 23d69ca4
      mikael authored
      	* gfortran.dg/dependency_26.f90: Add a module to the cleanup directive.
      	* gfortran.dg/trim_optimize_2.f90: Add a module cleanup directive.
      	* gfortran.dg/ldist-pr43023.f90: Ditto.
      	* gfortran.dg/namelist_52.f90: Ditto.
      	* gfortran.dg/interface_proc_end.f90: Ditto.
      	* gfortran.dg/vector_subscript_bound_1.f90: Ditto.
      	* gfortran.dg/generic_typebound_operator_1.f90: Ditto.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177415 138bc75d-0d04-0410-961f-82ee72b054a4
    • paolo's avatar
      2011-08-04 Paolo Carlini <paolo.carlini@oracle.com> · dad79eaf
      paolo authored
      	* src/atomic.cc: Use noexcept.
      	* include/std/atomic: Likewise.
      	* include/bits/atomic_0.h: Likewise.
      	* include/bits/atomic_2.h: Likewise.
      	* include/bits/atomic_base.h: Likewise.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177413 138bc75d-0d04-0410-961f-82ee72b054a4
    • ktietz's avatar
      2011-08-04 Kai Tietz <ktietz@redhat.com> · 2190c507
      ktietz authored
              * config/i386/i386.c (setup_incoming_varargs_ms_64): Set
              ix86_varargs_gpr_size and ix86_varargs_fpr_size to zero.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177412 138bc75d-0d04-0410-961f-82ee72b054a4
    • irar's avatar
      · 45eea33f
      irar authored
              * tree-vectorizer.h (struct _stmt_vec_info): Add new field for
              pattern def statement, and its access macro.
              (NUM_PATTERNS): Set to 5.
              * tree-vect-loop.c (vect_determine_vectorization_factor): Handle
              pattern def statement.
              (vect_transform_loop): Likewise.
              * tree-vect-patterns.c (vect_vect_recog_func_ptrs): Add new
              function vect_recog_over_widening_pattern ().
              (vect_operation_fits_smaller_type): New function.
              (vect_recog_over_widening_pattern, vect_mark_pattern_stmts):
              (vect_pattern_recog_1): Move the code that marks pattern
              statements to vect_mark_pattern_stmts (), and call it.  Update
              * tree-vect-stmts.c (vect_supportable_shift): New function.
              (vect_analyze_stmt): Handle pattern def statement.
              (new_stmt_vec_info): Initialize pattern def statement.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177409 138bc75d-0d04-0410-961f-82ee72b054a4
    • rth's avatar
      PR target/49964 · 83a435b8
      rth authored
              * config/i386/i386.c (ix86_expand_call): Don't create nested
              (ix86_split_call_vzeroupper): Fix extraction of the original call.
              * config/i386/i386.md (*call_rex64_ms_sysv_vzeroupper): Don't
              recognize nested PARALLELs.
              (*call_pop_vzeroupper, *sibcall_pop_vzeroupper,
              *call_value_rex64_ms_sysv_vzeroupper, *call_value_pop_vzeroupper,
              *sibcall_value_pop_vzeroupper): Likewise.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177408 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Ed Schonberg <schonberg@adacore.com> · 99f85277
      charlet authored
      	* sem_util.ads, sem_unit.adb (Type_Without_Stream_Operation): determine
      	whether a type lacks user-defined Read or Write operations, or has a
      	component that lacks them.
      	* sem_attr.adb (Check_Stream_Attribute): if restriction
      	No_Default_Stream_Attributes is active, verify that all subcomponent
      	types of the target have user-defined stream operations, and report
      	error otherwise.
      	* exp_ch3.adb (Stream_Operqtion_OK): use Type_Without_Stream_Operation.
      	* exp_strm.adb: Build_Elementary_Input_Call,
      	Build_Elementary_Write_Call): remove checks for restriction
      	No_Default_Stream_Attributes, now checked in semantics.
      2011-08-04  Vincent Celier  <celier@adacore.com>
      	* prj-conf.ads, prj-conf.adb (Do_Autoconf): If there is no --RTS
      	switches on the command line, look for all valid --RTS switches in the
      	Builder switches and for each language use the first runtime name found
      	to invoke gprconfig.
      	(Get_Or_Create_Configuration_File): Warn if --RTS is specified on the
      	command line and there is no auto-configuration.
      	(Runtime_Name_Set_For): New function.
      2011-08-04  Hristian Kirtchev  <kirtchev@adacore.com>
      	* exp_ch7.adb (Build_Object_Declarations): Do not generate the
      	elaborate initialization expression for variable Abort when processing
      	a package body or a declaration.
      	(Create_Finalizer): Propagate the package context when creating the
      	exception-related variables.
      	* exp_ch7.ads (Build_Object_Declarations): New formal parameter
      	For_Package along with usage comment.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177407 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      * gcc-interface/Makefile.in: Clean up targets. · 0e05fc43
      charlet authored
      	Enable new package for atomic counters and copy-on-write implementation
      	of unbounded strings on x86 platforms.
      	* gcc-interface/Make-lang.in: Update dependencies.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177405 138bc75d-0d04-0410-961f-82ee72b054a4
    • rth's avatar
      PR middle-end/49968 · 897445c7
      rth authored
              * calls.c (expand_call): Use fixup_args_size_notes for
              * expr.c (fixup_args_size_notes): Allow STACK_POINTER_REGNUM sets
              in non-standard modes.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177404 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Robert Dewar <dewar@adacore.com> · 2880d07c
      charlet authored
      	* exp_ch7.adb: Minor reformatting.
      2011-08-04  Robert Dewar  <dewar@adacore.com>
      	* exp_strm.adb: Minor reformatting.
      2011-08-04  Vadim Godunko  <godunko@adacore.com>
      	* s-atocou.adb: Replace by dummy version and use on targets where atomic
      	operations are not supported.
      	* s-atocou-builtin.adb: Renamed from s-atocou.adb.
      	* s-atocou-x86.adb: New file.
      	* Makefile.rtl: Add s-atocou.o file
      2011-08-04  Arnaud Charlet  <charlet@adacore.com>
      	* make.adb (Compile): Move setting of CodePeer_Mode to ...
      	(Compilation_Phase): ... here.
      	(Scan_Make_Arg): Now bind and link by default in CodePeer mode.
      2011-08-04  Thomas Quinot  <quinot@adacore.com>
      	* Make-generated.in: Fix minor typo in comment.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177403 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Thomas Quinot <quinot@adacore.com> · 9eb91911
      charlet authored
      	* gnatls.adb: Use Prj.Env.Initialize_Default_Project_Path to retrieve
      	the project path.
      2011-08-04  Robert Dewar  <dewar@adacore.com>
      	* a-coinho.adb: Minor reformatting.
      2011-08-04  Robert Dewar  <dewar@adacore.com>
      	* a-coinho.ads: Minor reformatting.
      2011-08-04  Vadim Godunko  <godunko@adacore.com>
      	* s-atocou.ads, s-atocou.adb: New files.
      	* a-strunb-shared.ads, a-strunb-shared.adb, a-stwiun-shared.ads,
      	a-stwiun-shared.adb, a-stzunb-shared.ads, a-stzunb-shared.adb: Remove
      	direct use of GCC's atomic builtins and replace them by use of new
      	atomic counter package.
      2011-08-04  Ed Schonberg  <schonberg@adacore.com>
      	* exp_strm.adb: better error message for No_Default_Stream_Attributes.
      2011-08-04  Hristian Kirtchev  <kirtchev@adacore.com>
      	* a-tags.adb (Unregister_Tag): Replace the complex address arithmetic
      	with a call to Get_External_Tag.
      	* exp_ch7.adb (Build_Cleanup_Statements): Update the comment on
      	subprogram usage. Remove the guard against package declarations and
      	bodies since Build_Cleanup_Statements is no longer invoked in that
      	(Build_Components): Initialize Tagged_Type_Stmts when the context
      	contains at least one library-level tagged type.
      	(Build_Finalizer): New local variables Has_Tagged_Types and
      	Tagged_Type_Stmts along with associated comments on usage. Update the
      	logic to include tagged type processing.
      	(Create_Finalizer): Insert all library-level tagged type unregistration
      	code before the jump block circuitry.
      	(Expand_N_Package_Body): Remove the call to Build_Cleanup_Statements.
      	(Expand_N_Package_Declaration): Remove the call to
      	(Process_Tagged_Type_Declaration): New routine. Generate a call to
      	unregister the external tag of a tagged type.
      	(Processing_Actions): Reimplemented to handle tagged types.
      	(Process_Declarations): Detect the declaration of a library-level
      	tagged type and carry out the appropriate actions.
      	(Unregister_Tagged_Types): Removed. The machinery has been directly
      	merged with Build_Finalizer.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177401 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Robert Dewar <dewar@adacore.com> · fe9fc675
      charlet authored
      	* bindgen.ads, gnatlink.adb, sem_ch4.adb, gnatbind.adb, put_alfa.adb,
      	gnatls.adb, exp_ch3.adb: Minor reformatting.
      2011-08-04  Marc Sango  <sango@adacore.com>
      	* sem_attr.adb (Analyze_Attribute): Replace the message
      	"invisible attribute of}" of the spark restriction violation in
      	attribute reference by the simple message "invisible attribute of type".
      	Indeed, the node value Error_Msg_Node_1 used is in conflit with the
      	two insertion characters: '&' and '}'.
      2011-08-04  Vadim Godunko  <godunko@adacore.com>
      	* impunit.adb (Non_Imp_File_Names_12): Add "a-coinho".
      	* a-coinho.ads, a-coinho.adb: New file.
      	* Makefile.rtl: Add Ada.Containers.Indefinite_Holders.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177400 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Nicolas Roche <roche@adacore.com> · 826b42da
      charlet authored
      	* alfa_test.adb: Not all ali files are containing alfa information even
      	if compiled with -gnatd.F. So suppress warning about missing ALFA
      2011-08-04  Yannick Moy  <moy@adacore.com>
      	* lib-xref-alfa.adb (Add_ALFA_Scope): use non-empty unique name for
      	* put_alfa.adb: Check that scope name is not empty.
      2011-08-04  Ed Schonberg  <schonberg@adacore.com>
      	* exp_ch3.adb (Stream_Operation_Ok): new predicate
      	Needs_Elementary_Stream_Operation, to determine whether user-defined
      	Read and Write attributes are available for the elementary components
      	of the given type. If only the predefined attributes are available,
      	then when restriction No_Default_Stream_Attributes is active the
      	predefined stream attributes for the composite type cannot be created.
      2011-08-04  Robert Dewar  <dewar@adacore.com>
      	* bindgen.adb: Fix obsolete comments and names from Ada/C days.
      	Put routines in alpha order
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177399 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Jose Ruiz <ruiz@adacore.com> · 2a01ecd3
      charlet authored
      	* gcc-interface/Makefile.in: Remove xenomai specific versions of system.
      	* gcc-interface/Make-lang.in: Update dependencies.
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177398 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      * gcc-interface/lang.opt: Add AdaWhy language, simimlar to Ada. · 79b59fbf
      charlet authored
      	* gcc-interface/lang-specs.h: Add handling of AdaWhy specs (calls       
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177396 138bc75d-0d04-0410-961f-82ee72b054a4
    • charlet's avatar
      2011-08-04 Robert Dewar <dewar@adacore.com> · 17752af1
      charlet authored
      	* sem_ch3.adb, make.adb, a-cohata.ads, sem_prag.adb, makeutl.adb,
      	lib-xref-alfa.adb: Minor reformatting.
      2011-08-04  Marc Sango  <sango@adacore.com>
      	* sem_ch12.adb (Analyze_Generic_Package_Declaration,
      	Analyze_Generic_Subprogram_Declaration, Analyze_Package_Instantiation,
      	Analyze_Subprogram_Instantiation): Check absence of generic in SPARK
      2011-08-04  Tristan Gingold  <gingold@adacore.com>
      	* bindgen.adb (Gen_Adainit_C): Remove.
      	(Gen_Adafinal_C): Ditto.
      	(Gen_Elab_Externals_C): Ditto.
      	(Gen_Elab_Calls_C): Ditto.
      	(Gen_Elab_Order_C): Ditto.
      	(Gen_Elab_Defs_C): Ditto.
      	(Gen_Finalize_Library_C): Ditto.
      	(Gen_Finalize_Library_Defs_C): Ditto.
      	(Gen_Main_C): Ditto.
      	(Gen_Output_File_C): Ditto.
      	(Gen_Restrictions_C): Ditto.
      	(Gen_Versions_C): Ditto.
      	(Write_Info_Ada_C): Ditto.
      	(Gen_Object_Files_Options): Call WBI instead of Write_Info_Ada_C
      	(Gen_Output_File): Do not force Ada_Bind_File anymore.
      	Always call Gen_Output_File_Ada.
      	* gnatlink.adb (Begin_Info): Now a constant.
      	(End_Info): Ditto.
      	(Ada_Bind_File): Remove
      	(Process_Args): Do not handle -A/-C.  Remove not Ada_Bind_File cases.
      	* switch-b.adb (Scan_Binder_Switches): Do not handle -C.
      	* gnatbind.adb (Gnatbind): Remove not Ada_Bind_File cases.
      	* opt.ads (Ada_Bind_File): Remove.
      2011-08-04  Thomas Quinot  <quinot@adacore.com>
      	* projects.texi: Document target-specific directory in default project
      	path for gnatmake.
      2011-08-04  Thomas Quinot  <quinot@adacore.com>
      	* gnatls.adb, prj-env.adb: Add $prefix/share/gpr to default project
      	path in all cases .
      git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177395 138bc75d-0d04-0410-961f-82ee72b054a4