2009-07-23  Paolo Carlini  <paolo.carlini@oracle.com>

* doc/html/ext/lwg-closed.html: Update to R65.
* doc/html/ext/lwg-defects.html: Likewise.
* doc/html/ext/lwg-active.html: Likewise.
* doc/xml/manual/intro.xml: Update DRs entries.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150016 138bc75d-0d04-0410-961f-82ee72b054a4

(split for ior/xor with shift and zero-extend): Cast op3 to
unsigned HWI.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150013 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Matthias Klose  <doko@ubuntu.com>

        * contrib/aotcompile.py.in: Use hashlib instead of md5 if available.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150010 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Do_Unit_And_Dependents): Now that specs and bodies are not
done at the same time, guard against listing a body more than once.

2009-07-23  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Minor reformatting

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): A scalar constant with a
static expression is known valid.
* sem_eval.adb (Compile_Time_Compare): Handle properly non-static
operands of a subtype with a single value.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150009 138bc75d-0d04-0410-961f-82ee72b054a4

* sem.adb (Do_Units_And_Dependents): Process bodies only for units that
are in the context of the main unit body.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150008 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi (Misnamed_Controlling_Parameters gnatcheck rule): Fix
misprint in rule description.

2009-07-23  Gary Dismukes  <dismukes@adacore.com>

* exp_ch6.adb (Make_Build_In_Place_Call_In_Object_Declaration): Replace
test that the object declaration is within an extended return statement
with direct test of whether the declared object associated with the
build-in-place call is a return object, since the enclosing function
might not even be a build-in-place function.

2009-07-23  Robert Dewar  <dewar@adacore.com>

* freeze.adb, prj-nmsc.adb, errout.adb: Minor reformatting
Minor code reorganization

2009-07-23  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Analyze_Pragma): Do not ignore pragma Pack on records
for static analysis, only packed arrays are causing troubles.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150007 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* scos.ads: Minor reformatting.

2009-07-23  Pascal Obry  <obry@adacore.com>

* prj-nmsc.adb: Fix spec/body naming extension on case insensitive
systems.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150006 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Arnaud Charlet  <charlet@adacore.com>

* freeze.adb (Set_Small_Size): Remove extra space for consistency with
other similar messages.
* sem_prag.adb (Freeze_Record_Type, Freeze_Entity): Disable error
messages/implicit packing in CodePeer mode.
(Analyze_Pragma [case pragma Pack]): Ignore pragma in CodePeer mode.
* errout.adb (Special_Msg_Delete): Suppress 'size too small' message in
CodePeer mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150005 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Wrong_Type): Special message for cases like A and B = 0

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150004 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* par-ch4.adb (P_Aggregate_Or_Paren_Expr): Better message for missing
comma.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150003 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Gary Dismukes  <dismukes@adacore.com>

* sem_aggr.adb (Resolve_Extension_Aggregate): Report an error when the
ancestor part is a call to a limited function with an unconstrained
result subtype unless the aggregate has a null extension type.
* sem_ch3.adb (Is_Null_Extension): Use the base type when retrieving
the parent type declaration to avoid blowups on subtype cases.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150002 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* einfo.ads, g-ssvety.ads, s-regexp.adb, g-sse.ads: Add comment. Minor
reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150001 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Yannick Moy  <moy@adacore.com>

* s-regexp.adb (Check_Well_Formed_Pattern): Called before compiling the
pattern.
(Raise_Exception_If_No_More_Chars): Remove extra blank in exception
string.
(Raise_Exception): Ditto.

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-sse.ads: Simplify comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@150000 138bc75d-0d04-0410-961f-82ee72b054a4

    PR middle-end/40830
        * gcc.dg/vect/vect-pre-interact.c: Require vect_float, and
        don't set options ourself.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149999 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc.misc-tests/linkage.exp: Added -m64 to x86_64 linux target
native C compilation where required.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149997 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/decl.c (validate_alignment): For the case of an
implicit array base type, look for alignment clause on first subtype.
Code clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149994 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-ssinty.ads: New unit. GNAT.SSE.Internal_Types. Factorize
low level internal type definitions for distinct higher level
binding development activities (user type definitions and
operations).
* gnat_rm.texi: Document it.
* g-ssvety.ads: Use it.
* gcc-interface/Makefile.in: (x86 32/64 linux, cygwin32 sections): Add
g-ssinty.o to EXTRA_GNATRTL_NONTASKING_OBJS.
* gcc-interface/utils.c (gnat_internal_attribute_table): Add entry
for the "may_alias" attribute.

2009-07-23  Thomas Quinot  <quinot@adacore.com>

* scos.ads: Minor typo fix
* gcc-interface/decl.c (validate_alignment): For the case of an
implicit array base type, look for alignment clause on first subtype.
Code clean up.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* sem.adb (Walk_Library_Units): Handle properly the case where a unit
in the context depends on the spec of the main unit, by delaying
processing of the main unit body until all other units have been
processed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149993 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Arnaud Charlet  <charlet@adacore.com>

* a-convec.adb: Add comments about suspicious/subtle code.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* einfo.ads: Document use of Alias in private overriding

2009-07-23  Thomas Quinot  <quinot@adacore.com>

* sem_ch13.adb (Analyze_Attribute_Definition_Clause): For the case of
an array type, propagate alignment from first subtype to implicit base
type so that other subtypes (such as the itypes for aggregates of the
type) also receive the expected alignment.

* g-comlin.ads: Minor documentation clarification/rewording.
* scos.ads: Minor comments update.
* lib-writ.ads: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149991 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Gary Dismukes  <dismukes@adacore.com>

* exp_ch3.adb (Expand_N_Object_Declaration): For an initialized object
of a class-wide interface type that is a return object of a
build-in-place function, bypass the interface-related expansions into
renamings with displacement conversions, etc.
* exp_ch5.adb (Expand_N_Extended_Return_Statement): Add an assertion
for the case where a renaming occurs in a build-in-place context, to
assert that the bypassing of the build-in-place treatment only occurs
in the case of a renaming that is an expansion of a return expression
that is itself a build-in-place function call.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Try_Primitive_Operation): A primitive operation is a
valid candidate interpretation in a prefixed view if it is hidden, but
overrides an inherited operation declared in the visible part.

2009-07-23  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
division operands to 64-bit at all in any circumstances.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149990 138bc75d-0d04-0410-961f-82ee72b054a4

Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149989 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/40832
* config/i386/i386.c (output_387_ffreep): Rewrite to return
ASM_SHORT instead of .word.
* config/i386/i386.md (*tls_global_dynamic_64): Use ASM_SHORT
instead of .word in asm template.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149988 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Analyze_N_Op_Rem): Assume operands are valid when
checking ranges for mod/rem to see if conditional jump will be
generated.
(Analyze_N_Op_Rem): Don't try to check actual lower bounds for
generating special -1 test for rem, generate it whenever both
operands can be negative (match circuit in Sem_Res).
(Analyze_N_Op_Rem): Don't go to base type, no longer needed and
destroys memory of positive range.
* sem_res.adb (Resolve_Arithmetic_Op): Assume operands are valid when
checking ranges for mod/rem to see if conditional jump will be generated

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Build_Equivalent_Record_Aggregate): If the type of a
scalar components has non-static bounds, the equivalent aggregate
cannot be built, even if the expression is static, because range checks
will be generated.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149987 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Type_Conversion): Don't promote integer
division operands to 64-bit inside a conversion if 64-bit division not
available.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149985 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update doc on Misnamed_Identifiers rule.

2009-07-23  Javier Miranda  <miranda@adacore.com>

* sinfo.ads, sinfo.adb (SCIL_Entity/Set_SCIL_Entity): new subprograms
(Entity/Set_Entity): not available in N_Null_Statement nodes
(Is_Scil_Node): renamed as Is_SCIL_Node
(Scil_Nkind): renamed as SCIL_Nkind
(Scil_Related_Node): renamed as SCIL_Related_Node
(Scil_Target_Prim): renamed as SCIL_Target_Prim
(Set_Is_Scil_Node): Renamed as Set_Is_SCIL_Node
(Set_Scil_Related_Node): Renamed as Set_SCIL_Related_Node
(Set_Scil_Target_Prim): Renamed as Set_SCIL_Target_Prim
Update documentation
* exp_disp.ads (Scil_Node_Kind): Renamed as SCIL_Node_Kind
(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
(New_Scil_Node): Renamed as New_SCIL_Node
* exp_disp.adb Update all occurrences of New_Scil_Node to New_SCIL_Node.
(Get_Scil_Node_Kind): Renamed as Get_SCIL_Node_Kind
(New_Scil_Node): Renamed as New_SCIL_Node
* exp_ch3.adb Update occurrence of New_Scil_Node to New_SCIL_Node.

2009-07-23  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb: No_Return is an Ada 2005 pragma, not a GNAT pragma
* snames.ads-tmpl: No_Return is an Ada 2005 pragma, not a GNAT pragma
* einfo.adb: Minor reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149984 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* checks.adb (Apply_Arithmetic_Overflow_Check): Add comments
cross-referencing the new related code in
Exp_Ch4.Expand_N_Type_Conversion.
* exp_ch4.adb (Expand_N_Type_Conversion): Avoid unnecessary overflows

* exp_disp.adb, exp_disp.ads, sinfo.ads: Minor reformatting.
Add comment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149983 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Javier Miranda  <miranda@adacore.com>

* sinfo.ads (Is_Scil_Node, Scil_Nkind, Scil_Related_Node,
Scil_Target_Prim, N_Has_Entity): Add missing documentation.
* exp_disp.ads (Scil_Node_Kind): Ditto.
* exp_disp.adb (Make_DT, Make_Tags): Ditto.
* exp_ch3.adb (Build_Init_Procedure): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149982 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Javier Miranda  <miranda@adacore.com>

* einfo.adb (Component_Type): Add missing assertion.
* sem_res.adb (Resolve_Call): Ensure proper kind of entity before
reading attribute Component_Size.
* exp_ch4.adb (Is_Safe_In_Place_Array_Op): Ensure proper kind of entity
before reading attributes Component_Size and Component_Type.
* exp_ch3.adb (Build_Initialization_Call): Ensure proper kind of entity
before reading attribute Component_Type.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149981 138bc75d-0d04-0410-961f-82ee72b054a4

Minor reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149980 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* gnat_rm.texi: Document the GNAT.SSE units.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Return_Type): Do not create itype reference for
not null return if it appears on a subunit.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149979 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): Do left-side validity
check right away so it does not get skipped for early returns, e.g.
array assignments.
(Expand_N_Assignment_Statement): Don't propagate Is_Known_Valid to
left-side unless we really know the value is valid.

* errout.adb, exp_ch3.adb, exp_disp.ads, sinfo.ads, exp_disp.adb: Minor
reformatting. Minor code reorganization. Add comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149978 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Robert Dewar  <dewar@adacore.com>

* get_scos.adb (Skip_EOL): Fix error of mishandling end of line after
complex condition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149975 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-23  Gary Dismukes  <dismukes@adacore.com>

* sem_ch6.adb (Check_Return_Subtype_Indication): Replace type equality
with test of coverage, to allow specific type objects in extended
returns of class-wide functions. Remove now-unnecessary special-case
tests that allowed this in certain cases of expanded extended returns.

2009-07-23  Javier Miranda  <miranda@adacore.com>

* sinfo.ads,sinfo.adb (Entity/Set_Entity): Attribute available in
N_Null_Statements (for SCIL nodes).
(Is_Scil_Node/Set_Is_Scil_Node): New attribute (for SCIL nodes).
(Scil_Nkind/Set_Scil_Nkind): New attribute (for SCIL nodes).
(Scil_Related_Node/Set_Scil_Related_Node): New attribute (for SCIL
nodes).
(Scil_Target_Prim/Set_Scil_Target_Prim): New attribute (for SCIL nodes).
* exp_disp.adb (Expand_Dispatching_Call): Add generation of SCIL node
associated with dispatching call.
(Get_Scil_Node_Kind): New function that returns the kind of SCIL node.
(Make_DT, Make_Tags): Add generation of SCIL nodes associated with
initialization of dispatch tables and initialization of tags.
(New_Scil_Node): New function that creates a new SCIL node.
(Build_Init_Procedure): Add generation of SCIL node associated with the
initialization of tags done in the IP subprogram.

2009-07-23  Ed Schonberg  <schonberg@adacore.com>

* errout.adb (Error_Msg_NEL): If the entity in the initial message has
Warnings_Off, do not emit continuation messages.

* sem_ch10.adb: Set Is_Compilation_Unit on generated child subprogram
spec.

2009-07-23  Emmanuel Briot  <briot@adacore.com>

* ali.adb: Minor comment update

2009-07-23  Vasiliy Fofanov  <fofanov@adacore.com>

* s-win32.ads (HANDLE): Define to be the same size as address type.
Fix copyright.

2009-07-23  Olivier Hainque  <hainque@adacore.com>

* g-sse.ads: New file. Root of the SSE facilities trees, with
general description and common declarations.
* g-ssvety.ads: New file. Expose user level SSE vector types.
* impunit.adb (Non_Imp_File_Names_95): Register new units.
* gcc-interface/Makefile.in (x86 32/64 linux, win32): Add
EXTRA_GNATRTL_NONTASKING_OBJS entries for SSE units.

2009-07-23  Ben Brosgol  <brosgol@adacore.com>

* gnat_ugn.texi: Wordsmithing.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149974 138bc75d-0d04-0410-961f-82ee72b054a4

* prj-conf.ads, prj-conf.adb: Switch to GPLv3.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149973 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR libfortran/32784
* unix.c (regular_file): Check for CONIN$ CONOUT$, and CONERR$ and open
the respective /dev/conin or /dev/conout devices.  This is Cygwin
specific.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149970 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149969 138bc75d-0d04-0410-961f-82ee72b054a4

* mangle.c (mangle_type_string_for_rtti): Rename to be clearer.
(needs_fake_anon): New.
(write_name): Check it.
(write_nested_name): Add a fake anonymous namespace scope if true.
* name-lookup.c (get_anonymous_namespace_name): No longer static.
* rtti.c, cp-tree.h: Adjust.

* libsupc++/typeinfo (__GXX_MERGED_TYPEINFO_NAMES): Default to 0.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149964 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Vladimir Makarov  <vmakarov@redhat.com>

PR target/37488
* ira-lives.c (bb_has_abnormal_call_pred): New function.
(process_bb_node_lives): Use it.

* ira.c (setup_cover_and_important_classes): Don't setup
ira_important_class_nums.  Add cover classes to the end of
important classes.
(cover_class_order, comp_reg_classes_func,
reorder_important_classes): New.
(find_reg_class_closure): Use reorder_important_classes.

* config/i386/i386.h (IRA_COVER_CLASSES): Remove.

* config/i386/i386.c (i386_ira_cover_classes): New function.
(TARGET_IRA_COVER_CLASSES): Redefine.

* doc/tm.texi (TARGET_IRA_COVER_CLASSES): Add a comment about
importance of order of cover classes in the array.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149962 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-pass.h (TDF_EH): Define.
* gimple-pretty-print.c (dump_gimple_stmt): If FLAGS
contains TDF_EH, print the EH region number holding GS.
* tree-dump.c (dump_options): Add "eh".
* doc/invoke.texi: Document it.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149958 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/40796
* trans-decl.c (generate_local_decl): Unreferenced result
variables with allocatable components should be treated like
INTENT_OUT dummy variables.

2009-07-21  Richard Guenther  <rguenther@suse.de>

PR fortran/40726
Change attribution to Richi.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149952 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Doug Kwan  <dougkwan@google.com>

ChangeLog:

* config/arm/arm.md (subdi3) Copy non-reg values to DImode registers.

testsuite/ChangeLog:

* gcc.c-torture/compile/20090721-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149951 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Eric Botcazou  <ebotcazou@adacore.com>

* exp_aggr.adb (Gen_Loop): Do not qualify the bounds of the range if
they are already of the base type of the index.

2009-07-22  Brett Porter  <porter@adacore.com>

* sysdep.c, init.c: Fix typo: _SPE_ should have been __SPE__.

2009-07-22  Robert Dewar  <dewar@adacore.com>

* vms_data.ads: Add entry for SCO_OUTPUT (-gnateS)
* gnat_ugn.texi: Add documentation for -gnateS switch
* ug_words: Add entry for -gnateS /SCO_OUTPUT
* gcc-interface/Make-lang.in: Update dependenciest.3

* get_scos.adb, get_scos.ads, gnat1drv.adb, par_sco.adb,
par_sco.ads, put_scos.adb, put_scos.ads, scos.adb, scos.ads: Initial
complete information for SCO input/output.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149945 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update doc for some gnatcheck rules.

2009-07-22  Robert Dewar  <dewar@adacore.com>

* par_sco.adb, par_sco.ads (pscos): New debug routine to output
contents of SCO tables.
* put_scos.adb, put_scos.ads, get_scos.adb, get_scos.ads,
scos.adb, scos.ads: New files.
* gcc-interface/Make-lang.in: Update dependencies.

* lib-util.ads, gnatbind.ads, ali.ads, binderr.ads: Minor comment
fixes and reformatting.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149943 138bc75d-0d04-0410-961f-82ee72b054a4

    PR tree-optimization/35229
        PR tree-optimization/39300

        * tree-ssa-pre.c (includes): Include tree-scalar-evolution.h.
        (inhibit_phi_insertion): New function.
        (insert_into_preds_of_block): Call it for REFERENCEs.
        (init_pre): Initialize and finalize scalar evolutions.
        * Makefile.in (tree-ssa-pre.o): Depend on tree-scalar-evolution.h .

testsuite/
        * gcc.dg/vect/vect-pre-interact.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149942 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Robert Dewar  <dewar@adacore.com>

* g-socket.ads: Minor reformatting

2009-07-22  Gary Dismukes  <dismukes@adacore.com>

* sem_warn.adb (Warn_On_Unreferenced_Entity): Add warning messages that
include the entity kind for following cases of unreferenced entities:
E_Label, E_Discriminant, E_Package, E_Exception, and Formal_Object_Kind.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149940 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Ed Falis  <falis@adacore.com>

* s-vxwext-kernel.adb, s-vxwext-kernel.ads: Replace use of taskStop
with taskSuspend.

2009-07-22  Arnaud Charlet  <charlet@adacore.com>

* adadecode.c: Make this file compilable outside of GCC.

2009-07-22  Thomas Quinot  <quinot@adacore.com>

* g-socket.adb, g-socket.ads (Check_Selector): Make sure that
(partially) default-initialized socket sets are handled properly by
clearing their Set component.

2009-07-22  Bob Duff  <duff@adacore.com>

* gnat_ugn.texi: Clarify the -gnatVx (validity checking) switches.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149939 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Minor reformatting

2009-07-22  Ed Schonberg  <schonberg@adacore.com>

* errout.adb (Error_Msg): A style message within an instantiation
should not be labelled as an error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149938 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Richard Guenther  <rguenther@suse.de>

        * g++.dg/lookup/using21.C: Fix duplicate paste.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149937 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Entity): Do not generate extra formal for function
in initialization expression if function does not have convention Ada.

2009-07-22  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi, vms_data.ads: Add qualifier for new gnatpp option
'--separate-label' to control label layout.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149936 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Robert Dewar  <dewar@adacore.com>

* exp_tss.ads, sem_eval.adb: Minor reformatting

2009-07-22  Bob Duff  <duff@adacore.com>

* exp_dist.adb, exp_dist.ads: Update comments.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149933 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Brett Porter  <porter@adacore.com>

* init.c (__gnat_init_float): For SPE, set bits in SPEFSCR instead of
FPSCR.
* sysdep.c (__gnat_get_task_options): Set task option enabling SPE.

2009-07-22  Gary Dismukes  <dismukes@adacore.com>

* exp_ch5.adb, sem_util.adb, sem_attr.adb, exp_dbug.ads, exp_ch2.adb,
exp_tss.ads, exp_ch4.adb, sem_ch4.adb: Correct spelling error.
Minor reformatting.
* sem_res.adb (Resolve_Explicit_Dereference): Reword one comment that
used poor terminology.

2009-07-22  Robert Dewar  <dewar@adacore.com>

* freeze.adb, sem_ch3.adb, sem_prag.adb: Minor reformatting
* sem_eval.adb, exp_tss.adb: Minor comment update.
* stylesw.adb: Code clean up.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149932 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Ed Schonberg  <schonberg@adacore.com>

* freeze.adb (Freeze_Entity): If Implicit_Packing is enabled, and the
component size is an exact number of bytes, an array type can have a
size clause that forces packing even though the array type itself is
not bit-packed.

2009-07-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch3.adb (Analyze_Object_Declaration): For a constant declaration,
if there is a previous entity with the same name in the scope, ignore
it if it is the renaming declaration for a generic package introduced
in instances.

2009-07-22  Nicolas Roche  <roche@adacore.com>

* seh_init.c: use RtlAddFunctionTable to register our SEH exception
handler on x86_64 windows.

2009-07-22  Arnaud Charlet  <charlet@adacore.com>

* sem_prag.adb (Analyze_Pragma): Initialize/Normalize_Scalars create
false positives in CodePeer, so ignore this pragma in this mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149931 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/predicates.md (zero_extended_scalar_load_operand):
Use CONST_VECTOR_NUNITS to determine number of elements.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149930 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/valarray (valarray<>::operator=(const valarray<>&),
valarray<>::operator=(initializer_list<>)): Implement resolution
of DR 630, [Ready] in Frankfurt.
* testsuite/26_numerics/valarray/dr630-1.cc: New.
* testsuite/26_numerics/valarray/dr630-2.cc: Likewise.
* doc/xml/manual/intro.xml: Add an entry for DR 630.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149929 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Thomas Quinot  <quinot@adacore.com>

* sem_util.adb, sem_ch10.adb: Minor reformatting

* g-socket.adb (Receive_Socket, recvfrom(2) variant): Apply required
special handling for the case of no data received and Item'First =
Stream_Element_Offset'First.
(Last_Index): New subprogram factoring the above special handling
over the various locations where it is required.

2009-07-22  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Gnat1drv): Also disable division by zero and alignment
checks in CodePeer_Mode.
* gcc-interface/Make-lang.in: Update dependencies.

2009-07-22  Ed Schonberg  <schonberg@adacore.com>

* sem_aggr.adb: Improve error message.

* sem_ch13.adb: If Ignore_Rep_Clauses is enabled, do a minimal analysis
of an address representation clause.
* freeze.adb (Freeze_Static_Object): An local imported object is legal
if it has an address clause.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149926 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Thomas Quinot  <quinot@adacore.com>

* sem_elab.adb (Insert_Elab_Check): When relocating an overloaded
expression to insert an elab check using a conditional expression, be
sure to carry the original list of interpretations to the new location.

2009-07-22  Gary Dismukes  <dismukes@adacore.com>

* gnat1drv.adb: Fix spelling error.

2009-07-22  Javier Miranda  <miranda@adacore.com>

* sem_type.ads, sem_type.adb (In_Generic_Actual): Leave this subprogram
at the library level and fix a hidden bug in its implementation: its
functionality for renaming objects was broken because
N_Object_Renaming_Declarations nodes are not a subclass of
N_Declaration nodes (as documented in sinfo.ads).
* sem_util.adb (Check_Dynamically_Tagged_Expression): Include in this
check nodes that are actuals of generic instantiations.

2009-07-22  Ed Schonberg  <schonberg@adacore.com>

* sinfo.ads, sinfo.adb (Pending_Context): New flag to indicate that the
context of a compilation unit is being analyzed. Used to detect
circularities created by with_clauses that are not detected by the
loading machinery.
* sem_ch10.adb (Analyze_Compilation_Unit): Set Pending_Context before
analyzing the context of the current compilation unit, to detect
possible circularities created by with_clauses.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149925 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Thomas Quinot  <quinot@adacore.com>

* sem_type.adb (Get_First_Interp): Fix wrong loop exit condition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149924 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Robert Dewar  <dewar@adacore.com>

* sem_res.adb (Check_No_Direct_Boolean_Operators): Add check for -gnatyB
* style.ads, styleg.adb, styleg.ads (Check_Boolean_Operator): New
procedure.
* usage.adb, stylesw.ads, stylesw.adb: Add handling of -gnatyB switch
* gnat_ugn.texi: Add documentation of -gnatyB
* vms_data.ads: Add entry for -gnatyB (STYLE=BOOLEAN_OPERATORS)

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149923 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Robert Dewar  <dewar@adacore.com>

* s-stchop.adb, a-direct.adb, a-ztexio.adb, gnatchop.adb, prj-proc.adb,
make.adb, s-regpat.adb, ali-util.adb, a-ngcefu.adb, prep.adb,
s-tassta.adb, a-tifiio.adb, a-textio.adb, prj.adb, uintp.adb,
s-valrea.adb, a-ngelfu.adb, prepcomp.adb, sinput-l.adb, vms_conv.adb,
errout.adb, g-alleve.adb, repinfo.adb, a-wtedit.adb, ali.adb,
a-witeio.adb, prj-dect.adb, prj-nmsc.adb, sinput-c.adb, binde.adb,
s-regexp.adb, s-imgrea.adb, a-teioed.adb, errutil.adb, prj-util.adb,
a-ztedit.adb, gnatls.adb, prj-conf.adb, bcheck.adb, s-scaval.adb,
erroutc.adb, osint.adb, a-strfix.adb, s-fileio.adb: Make sure sources
obey short-circuit style rule.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149921 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Richard Guenther  <rguenther@suse.de>

PR c++/40799
* cp-gimplify.c (cp_gimplify_expr): Move handling of using
related exprs to ...
(cp_genericize_r): ... genericization stage.
(cp_genericize): Adjust.

* g++.dg/lookup/using21.C: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149919 138bc75d-0d04-0410-961f-82ee72b054a4

* trans.h (gfc_set_decl_assembler_name): New prototype.
* trans-decl.c (gfc_set_decl_assembler_name): New function.
(gfc_get_symbol_decl, gfc_get_extern_function_decl,
build_function_decl): Use gfc_set_decl_assembler_name instead of
SET_DECL_ASSEMBLER_NAME.
* trans-common.c (build_common_decl): Use
gfc_set_decl_assembler_name instead of SET_DECL_ASSEMBLER_NAME.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149918 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-22  Andreas Krebbel  <krebbel1@de.ibm.com>

* config/s390/constraints.md (ZQ, ZR, ZS, ZT): New constraints.
(U, W): Constraints are now deprecated and will be removed if we
run out of letters.
* config/s390/s390.md (U, W): Replaced with ZQZR, ZSZT throughout
the file.
("prefetch"): Add the stcmh instruction for prefetching.
* config/s390/s390.c (s390_symref_operand_p): Function moved. No
changes.
(s390_short_displacement): Return always true if compiling for
machines not providing the long displacement facility.
(s390_mem_constraint): Support the new constraint letter Z.
(s390_check_qrst_address): New function.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149917 138bc75d-0d04-0410-961f-82ee72b054a4

* decl.c (reshape_init_r): { T } is not an aggregate initializer
for class T.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149874 138bc75d-0d04-0410-961f-82ee72b054a4

Core issue 934
* call.c (reference_binding): Implement binding to { }.
(initialize_reference): Binding temporary to non-const && is fine.
* decl.c (grok_reference_init): Remove error for CONSTRUCTOR.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149873 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149872 138bc75d-0d04-0410-961f-82ee72b054a4

* config/mep/mep.c (mep_legitimize_arg): Leave control registers
alone too.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149869 138bc75d-0d04-0410-961f-82ee72b054a4

* c-common.c (max_tinst_depth): Increase default to 1024.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149867 138bc75d-0d04-0410-961f-82ee72b054a4

Add ccoutant to previous dwarf4 entry.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149866 138bc75d-0d04-0410-961f-82ee72b054a4

* config/i386/sse.md (vec_unpacku_float_hi_v4si): New expander.
(vec_unpacku_float_lo_v4si): Ditto.

testsuite/ChangeLog:

* gcc.target/i386/vectorize8.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149862 138bc75d-0d04-0410-961f-82ee72b054a4

PR target/40811
* config/i386/sse.md (sse2_cvtudq2ps): New expander.
(enum ix86_builtins): Add IX86_BUILTIN_CVTUDQ2PS.
(builtin_description): Add __builtin_ia32_cvtudq2ps.
(ix86_vectorize_builtin_conversion): Handle IX86_BUILTIN_CVTUDQ2PS.

testsuite/ChangeLog:

PR target/40811
* lib/target-supports.exp (check_effective_target_vect_uintfloat_cvt):
Add i?86 and x86_64 targets.
* gcc.target/i386/vectorize7.c: New test.

PR target/40809
* gcc.target/i386/pr40809.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149861 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/40813
* tree-inline.c (copy_bb): Regimplify RHS after last stmt, not before
it.

* g++.dg/opt/inline15.C: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149857 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-21  Paolo Carlini  <paolo.carlini@oracle.com>

* include/std/chrono (duration<>::operator%=,  operator%):
Add, per DR 934.
* testsuite/20_util/duration/arithmetic/dr934-1.cc: New.
* testsuite/20_util/duration/arithmetic/dr934-2.cc: Likewise.

* include/std/chrono (operator/): Simplify implementation.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149856 138bc75d-0d04-0410-961f-82ee72b054a4

* config/sh/sh.c (sh_gimplify_va_arg_expr): Wrap the result
with a NOP_EXPR if needed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149854 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-21  Paul Brook <paul@codesourcery.com>

gcc/
* tree-vectorizer.c (increase_alignment): Handle nested arrays.
Terminate debug dump with newline.

gcc/testsuite/
* gcc.dg/vect/section-anchors-nest-1.c: New test.
* lib/target-supports.exp (check_effective_target_section_anchors):
Add arm*-*-*.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149853 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-21  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/40726
* trans-decl.c (gfc_get_extern_function_decl): Do not set
DECL_IS_MALLOC for pointer valued functions.
(build_function_decl): The same.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149846 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/intro.xml: Escape '&', validate.
* doc/xml/manual/using.xml: Validate, dead link check.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/iterators.xml: Same.
* doc/xml/manual/spine.xml: Same.

* doc/xml/faq.xml: Remove redundant xreflabel entities.
* doc/xml/gnu/gpl-3.0.xml: Same.
* doc/xml/manual/mt_allocator.xml: Same.
* doc/xml/manual/allocator.xml: Same.
* doc/xml/manual/ctype.xml: Same.
* doc/xml/manual/codecvt.xml: Same.
* doc/xml/manual/backwards_compatibility.xml: Same.
* doc/xml/manual/shared_ptr.xml: Same.
* doc/xml/manual/abi.xml: Same.
* doc/xml/manual/auto_ptr.xml: Same.
* doc/xml/manual/internals.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/bitmap_allocator.xml: Same.
* doc/xml/manual/build_hacking.xml: Same.
* doc/xml/manual/evolution.xml: Same.
* doc/xml/manual/debug.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/locale.xml: Same.
* doc/xml/manual/messages.xml: Same.
* doc/xml/manual/spine.xml: Same.
* doc/xml/manual/test.xml: Same.
* doc/xml/book.txml: Same.
* doc/xml/spine.xml: Same.

* doc/xml/api.xml: Clean up ulink targets, convert to link if possible.
* doc/xml/manual/backwards_compatibility.xml: Same.
* doc/xml/manual/concurrency.xml: Same.
* doc/xml/manual/intro.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/status_cxx1998.xml: Same.
* doc/xml/manual/containers.xml: Same.
* doc/xml/manual/io.xml: Same.
* doc/xml/manual/support.xml: Same.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/debug_mode.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/messages.xml: Same.
* doc/xml/manual/test.xml: Same.

* doc/xml/manual/abi.xml: Same.
* doc/xml/manual/auto_ptr.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/build_hacking.xml: Same.
* doc/xml/manual/evolution.xml: Same.
* doc/xml/manual/using.xml: Same.
* doc/xml/manual/debug_mode.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/diagnostics.xml: Same.
* doc/xml/manual/algorithms.xml: Same.

* doc/html: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149845 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/intro.xml: Escape '&', validate.
* doc/xml/manual/using.xml: Validate, dead link check.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/iterators.xml: Same.
* doc/xml/manual/spine.xml: Same.

* doc/xml/faq.xml: Remove redundant xreflabel entities.
* doc/xml/gnu/gpl-3.0.xml: Same.
* doc/xml/manual/mt_allocator.xml: Same.
* doc/xml/manual/allocator.xml: Same.
* doc/xml/manual/ctype.xml: Same.
* doc/xml/manual/codecvt.xml: Same.
* doc/xml/manual/backwards_compatibility.xml: Same.
* doc/xml/manual/shared_ptr.xml: Same.
* doc/xml/manual/abi.xml: Same.
* doc/xml/manual/auto_ptr.xml: Same.
* doc/xml/manual/internals.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/bitmap_allocator.xml: Same.
* doc/xml/manual/build_hacking.xml: Same.
* doc/xml/manual/evolution.xml: Same.
* doc/xml/manual/debug.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/locale.xml: Same.
* doc/xml/manual/messages.xml: Same.
* doc/xml/manual/spine.xml: Same.
* doc/xml/manual/test.xml: Same.
* doc/xml/book.txml: Same.
* doc/xml/spine.xml: Same.

* doc/xml/api.xml: Clean up ulink targets, convert to link if possible.
* doc/xml/manual/backwards_compatibility.xml: Same.
* doc/xml/manual/concurrency.xml: Same.
* doc/xml/manual/intro.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/status_cxx1998.xml: Same.
* doc/xml/manual/containers.xml: Same.
* doc/xml/manual/io.xml: Same.
* doc/xml/manual/support.xml: Same.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/debug_mode.xml: Same.
* doc/xml/manual/extensions.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/messages.xml: Same.
* doc/xml/manual/test.xml: Same.

* doc/html: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149844 138bc75d-0d04-0410-961f-82ee72b054a4

* pa.c (compute_zdepwi_operands): Limit deposit length to 32 - lsb.
Cast "1" to unsigned HOST_WIDE_INT.
(compute_zdepdi_operands): Limit maximum length to 64 bits.  Limit
deposit length to the maximum length - lsb.  Extend length if
HOST_BITS_PER_WIDE_INT is 32.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149843 138bc75d-0d04-0410-961f-82ee72b054a4

Daily bump.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149842 138bc75d-0d04-0410-961f-82ee72b054a4

Add some dwarf4 values.
* dwarf2.h (enum dwarf_tag): Add DW_TAG_type_unit.
(enum dwarf_form): Add DW_FORM_sec_offset, DW_FORM_exprloc,
DW_FORM_flag_present, DW_FORM_sig8.
(enum dwarf_attribute): Add DW_AT_signature.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149836 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/intro.xml: Escape '&', validate.
* doc/xml/manual/using.xml: Validate, dead link check.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/iterators.xml: Same.
* doc/xml/manual/spine.xml: Same.

* doc/xml/faq.xml: Remove redundant xreflabel entities.
* doc/xml/gnu/gpl-3.0.xml: Same.
* doc/xml/manual/mt_allocator.xml: Same.
* doc/xml/manual/allocator.xml: Same.
* doc/xml/manual/ctype.xml: Same.
* doc/xml/manual/codecvt.xml: Same.
* doc/xml/manual/backwards_compatibility.xml: Same.
* doc/xml/manual/shared_ptr.xml: Same.
* doc/xml/manual/abi.xml: Same.
* doc/xml/manual/auto_ptr.xml: Same.
* doc/xml/manual/internals.xml: Same.
* doc/xml/manual/parallel_mode.xml: Same.
* doc/xml/manual/bitmap_allocator.xml: Same.
* doc/xml/manual/build_hacking.xml: Same.
* doc/xml/manual/evolution.xml: Same.
* doc/xml/manual/debug.xml: Same.
* doc/xml/manual/localization.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/locale.xml: Same.
* doc/xml/manual/messages.xml: Same.
* doc/xml/manual/spine.xml: Same.
* doc/xml/manual/test.xml: Same.
* doc/xml/book.txml: Same.
* doc/xml/spine.xml: Same.

* doc/html: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149835 138bc75d-0d04-0410-961f-82ee72b054a4

* cgraph.h (constant_pool_htab): New function.
(constant_descriptor_tree): Move from varasm.c.
* varasm.c (constant_pool_htab): New function.
(constant_descriptor_tree): Move to cgraph.h.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149834 138bc75d-0d04-0410-961f-82ee72b054a4

./:
* toplev.c: Invoke FINISH_UNIT callbacks before call to
finalize().
testsuite/:
* gcc.dg/plugin/finish_unit_plugin.c: New test.
* gcc.dg/plugin/finish_unit-test-1.c: New test.
* gcc.dg/plugin/plugin.exp: Added finish_unit_plugin.c test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149833 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Shujing Zhao  <pearly.zhao@oracle.com>

* Makefile.in (TREE_INLINE_H, tree-inline.o, cgraph.o): Remove
$(VARRAY_H).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149832 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Benjamin Kosnik  <bkoz@redhat.com>

* doc/xml/manual/intro.xml: Escape '&', validate.
* doc/xml/manual/using.xml: Validate, dead link check.
* doc/xml/manual/strings.xml: Same.
* doc/xml/manual/appendix_contributing.xml: Same.
* doc/xml/manual/iterators.xml: Same.
* doc/xml/manual/spine.xml: Same.

* doc/html: Regenerate.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149831 138bc75d-0d04-0410-961f-82ee72b054a4

dbgcnt name matching bug fix

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149830 138bc75d-0d04-0410-961f-82ee72b054a4

* config/mips/mips.md (move_type): Add arith.
(type): Handle arith.
(zero_extendsidi2): Rename this into ...
(*zero_extendsidi2): ... this.  Don't match if ISA_HAS_EXT_INS.
(zero_extendsidi2): New expander.
(*zero_extendsidi2_dext): New pattern.

testsuite/
* gcc.target/mips/ext-3.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149829 138bc75d-0d04-0410-961f-82ee72b054a4

    * config.gcc (mips64-*-*): Add definition of tm_defines in order
        to set MIPS_ABI_DEFAULT.
        * config/mips/vr.h (MIPS_ABI_DEFAULT): Remove definition.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149827 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Jerry Quinn  <jlquinn@optonline.net>

    PR regression/40800
    * configure.ac: Use = instead of == for testing
    ENABLE_BUILD_WITH_CXX.
    * configure: Rebuild.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149826 138bc75d-0d04-0410-961f-82ee72b054a4

* tree-object-size.c (addr_object_size): Handle unions with
array in it as last field of structs in __bos (, 1) as __bos (, 0).

* gcc.dg/builtin-object-size-6.c: Adjust expected values.
* gcc.dg/builtin-object-size-8.c: New test.
* g++.dg/ext/builtin-object-size1.C: Adjust expected values.
* g++.dg/ext/builtin-object-size2.C: Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149825 138bc75d-0d04-0410-961f-82ee72b054a4

PR tree-optimization/40792
* tree.c (build_function_type_skip_args): Remove bogus assert.

* gcc.dg/pr40792.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149822 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Bob Duff  <duff@adacore.com>

* sem_ch13.adb (Analyze_Record_Representation_Clause): Use "and then"
instead of "and", because otherwise Parent_Last_Bit is read
uninitialized in the case where it's not a tagged type, or the tagged
parent does not have a complete rep clause.

2009-07-20  Robert Dewar  <dewar@adacore.com>

* stylesw.ads: Minor documentation change.

* types.ads: Minor reformatting

2009-07-20  Javier Miranda  <miranda@adacore.com>

* exp_disp.ads (Apply_Access_Checks): New subprogram that takes care of
generating the tag checks associated with dispatching calls.
* exp_disp.adb (Apply_Access_Checks): New subprogram.
(New_Value): This routine was previously local to expand dispatching
calls but it is now used also by Apply_Access_Checks.
(Expand_Dispatching_Calls): Cleanup code because the functionality of
tag checks is now provided by Apply_Access_Checks.
* exp_ch6.adb (Expand_Call): Incorporate generation of tag checks in
case of dispatching calls.

2009-07-20  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Gnat1drv): Also disable Elaboration_Check in
CodePeer_Mode.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149821 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Vincent Celier  <celier@adacore.com>

* switch-m.ads (Normalize_Compiler_Switches): Take into account
switches -gnatw.?

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149820 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Gary Dismukes  <dismukes@adacore.com>

* exp_prag.adb (Expand_Pragma_Import_Export_Exception): When compiling
for VMS, only rewrite the first component of the associated exception's
aggregate init (as 'V'), and eliminate the bogus rewrites of the second
and third components  that were being replaced with 'M' and 'S'.

2009-07-20  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Gnat1drv): Suppress access checks in CodePeer mode.
Also do not generate error when parsing a spec in CodePeer mode.

2009-07-20  Javier Miranda  <miranda@adacore.com>

* checks.adb (Apply_Access_Check): Avoid checks on availability of
runtime function Offset_To_Top_Ptr when compiling with no tagged
types expansion.
* exp_ch3.adb (Build_Init_Procedure): Leave open the possibility of
adding code to the init proc when compiling for VM backends.

2009-07-20  Vincent Celier  <celier@adacore.com>

* switch-m.adb (Normalize_Compiler_Switches): Take into account
switches -gnatw.?

2009-07-20  Thomas Quinot  <quinot@adacore.com>

* sem_dist.adb, exp_dist.adb: Minor reformatting

* Make-generated.in: New file.

* gcc-interface/Make-lang.in: Use Make-generated.in fragment.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149819 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Javier Miranda  <miranda@adacore.com>

* sem_util.ads, sem_util.adb (Check_Dynamically_Tagged_Expression): New
subprogram.
* sem_aggr.adb (Resolve_Array_Aggregate): Check incorrect use of
dynamically tagged expression.
* sem_ch3.adb (Analyze_Object_Declaration): Call new routine that
factorizes code.
* sem_ch6.adb (Analyze_Function_Return, Process_Formals): Ditto.
* sem_ch8.adb (Analyze_Object_Renaming): Ditto.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149817 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Gnat1drv): Set operating mode to Generate_Code when
CodePeer_Mode is set, to benefit from full front-end expansion
(e.g. generics).

2009-07-20  Ed Schonberg  <schonberg@adacore.com>

* sem_res.adb: Add guard.

* exp_disp.adb, sem_disp.adb (Make_DT): Check underlying view of type
for possible attribute definition of External_Tag, in case clause
appears in the private part of a package.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149816 138bc75d-0d04-0410-961f-82ee72b054a4

* gcc-interface/Makefile.in: cleanup powerpc linux target pairs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149813 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Vadim Godunko  <godunko@adacore.com>

* a-coorma.adb: Minor reformatting.

2009-07-20  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3 (Build_Itype_Reference): Make public, for use on non-null
access return types.
* sem_ch6.adb (Analyze_Return_Type): If return is a not null subtype,
provide an itype reference to gigi to force elaboration of the subtype
at the proper point.

2009-07-20  Tristan Gingold  <gingold@adacore.com>

* g-expect.adb: Avoid closeing already closed handle.

2009-07-20  Robert Dewar  <dewar@adacore.com>

* sprint.adb (Write_Subprogram_Name): New procedure to output
subprogram name with possible preceding $ (replaces
Note_Implicit_Run_Time_Call).

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149812 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Robert Dewar  <dewar@adacore.com>

* vms_data.ads: Minor reformatting

* einfo.ads, einfo.adb (Parent_Subtype): Now allowed on record subtype,
applies to base type.
(Parent_Subtype): Now allowed on record subtype, applies to base type
* exp_ch5.adb (Expand_Assign_Record): Handle Componentwise_Assignment
for case of fully repped tagged type.
(Make_Tag_Ctrl_Assignment): Set Componentwise_Assignment and avoid
tag save/restore for fully repped tagged type case.
* exp_util.ads, exp_util.adb (Is_Fully_Repped_Tagged_Type): New function
* fe.h (Is_Fully_Repped_Tagged_Type): New function
* sem_ch13.adb (Analyze_Recorrd_Representation_Clause): Check for
overlap of tagged type components with parent type if parent type is
fully repped.
* sinfo.ads, sinfo.adb (Componentwise_Assignment): New flag

* sem_res.adb (Check_No_Direct_Boolean_Operators): Remove handling of
comparisons.
(Resolve_Comparison_Operators): Remove No_Direct_Boolean_Operators check
(Resolve_Equality_Op): Remove No_Direct_Boolean_Operators check

* gnat_rm.texi: Restriction No_Direct_Boolean_Operators includes only
logical operators (AND/OR/XOR), not comparison operators.

* sprint.ads: Minor reformatting

2009-07-20  Ed Schonberg  <schonberg@adacore.com>

* sem_intr.adb (Check_Intrinsic_Call): For Import_Value and related
intrinsics, check that argument is a string literal, rather than
checking for staticness.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149811 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Robert Dewar  <dewar@adacore.com>

* sem_ch13.adb: Minor reformatting

* einfo.ads: Minor reformatting
Component_Bit_Offset is no longer considered obsolescent

2009-07-20  Nicolas Roche  <roche@adacore.com>

* a-calend.adb: Redefine time_t as signed integer with same size as
Address type.
* s-os_lib.ads: Redefine OS_Time as signed integer with same size as
Address type
* adaint.h: On Windows 64bits declare OS_Time as long long instead of
long

2009-07-20  Javier Miranda  <miranda@adacore.com>

* exp_tss.adb (Init_Proc): Add missing support for non-default C++
constructors that have anonymous access type formals.

* sem_res.adb (Resolve_Actuals): Disable checks associated with Ada
class-wide arguments in case of imported C++ subprograms.

* exp_ch3.adb (Build_Initialization_Call): Add assertion.

2009-07-20  Sergey Rybin  <rybin@adacore.com>

* vms_data.ads: Update qualifiers.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149810 138bc75d-0d04-0410-961f-82ee72b054a4

2009-07-20  Robert Dewar  <dewar@adacore.com>

* einfo.ads, switch.adb, gnatls.adb, inline.adb, sem_ch13.adb: Minor
reformatting

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149809 138bc75d-0d04-0410-961f-82ee72b054a4