invoke.texi: Added descriptions of the scheduling heuristics that are enabled/disabled by...

2009-07-14  Ghassan Shobaki  <ghassan.shobaki@amd.com>

* doc/invoke.texi: Added descriptions of the
scheduling heuristics that are enabled/disabled
        by the flags introduced by a previous patch.

From-SVN: r149650

mep.md (sibcall_internal): Include non-toggling non-jmp case.

* config/mep/mep.md (sibcall_internal): Include non-toggling
non-jmp case.
(sibcall_value_internal): Likewise.

From-SVN: r149649

sourcebuild.texi: Document install-plugin target.

2009-07-14  Taras Glek  <tglek@mozilla.com>
    Rafael Espindola  <espindola@google.com>

* doc/sourcebuild.texi: Document install-plugin target.
* configure.ac: Added install-plugin target to language makefiles.
* configure: Regenerate.
* Makefile.in: (install-plugin): Install more headers,
depend on lang.install-plugin.

ada/ChangeLog

* gcc-interface/Make-lang.in (ada.install-plugin): New target for
installing plugin headers.

cp/ChangeLog

* Make-lang.in: Added CP_PLUGIN_HEADERS and
c.install-target to export cp-tree.h cxx-pretty-print.h
name-lookup.h headers for plugins.

fortran/ChangeLog

* Make-lang.in (fortran.install-plugin): New target for
installing plugin headers.

java/ChangeLog

* Make-lang.in (java.install-plugin): New target for
installing plugin headers.

objc/ChangeLog

* Make-lang.in (objc.install-plugin): New target for
installing plugin headers.

objcp/ChangeLog

* Make-lang.in (obj-c.install-plugin): New target for
installing plugin headers.

Co-Authored-By: Rafael Avila de Espindola <espindola@google.com>
From-SVN: r149648

tree-vrp.c (vrp_evaluate_conditional): Mark strings for translation.

2009-07-15  Manuel López-Ibáñez  <manu@gcc.gnu.org>

* tree-vrp.c (vrp_evaluate_conditional): Mark strings for
translation.

From-SVN: r149647

mep.c (mep_vliw_jmp_match): New function.

* config/mep/mep.c (mep_vliw_jmp_match): New function.
* config/mep/mep-protos.h (mep_vliw_jmp_match): Prototype it.
* config/mep/mep.md (sibcall_internal): Change test from
mep_vliw_mode_match to mep_vliw_jmp_match.
(sibcall_value_internal): Likewise.

From-SVN: r149644

sse-recip-vec.c: Move arrays out of test function to enable vectorization.

* gcc.target/i386/sse-recip-vec.c: Move arrays out of test
function to enable vectorization.
* gcc.target/i386/sse2-lrint-vec.c: Ditto.
* gcc.target/i386/sse2-lrintf-vec.c: Ditto.

From-SVN: r149641

sse.md (copysign<mode>3): New expander.

* config/i386/sse.md (copysign<mode>3): New expander.
* config/i386/i386-protos.h (ix86_build_signbit_mask): New prototype.
* config/i386/i386.c (ix86_build_signbit_mask): Make public.
Use ix86_build_const_vector.
(enum ix86_builtins): Add IX86_BUILTIN_CPYSGNPS and
IX86_BUILTIN_CPYSGNPD.
(builtin_description): Add __builtin_ia32_copysignps and
__builtin_ia32_copysignpd.
(ix86_builtin_vectorized_function): Handle BUILT_IN_COPYSIGN
and BUILT_IN_COPYSIGNF.

testsuite/ChangeLog:

* gcc.target/i386/sse-copysignf-vec.c: New test.
* gcc.target/i386/sse2-copysign-vec.c: Ditto.

From-SVN: r149639

re PR c++/37276 (Trouble with some (C99?) math builtins and namespace std)

PR c++/37276
* decl.c (decls_match): A non-extern-C declaration doesn't match
a builtin extern-C declaration.

From-SVN: r149638

name-lookup.c (qualified_lookup_using_namespace): Don't stop looking in used namespaces just because we found something on...

* name-lookup.c (qualified_lookup_using_namespace): Don't stop
looking in used namespaces just because we found something on
another branch.

From-SVN: r149637

re PR c++/40740 (template-id forgotten with arg-dep lookup)

PR c++/40740
* semantics.c (perform_koenig_lookup): Handle empty template args.

From-SVN: r149636

builtins.c (can_trust_pointer_alignment): New fn.

* builtins.c (can_trust_pointer_alignment): New fn.
(get_pointer_alignment): Factor it out from here.
* tree.h: Declare it.
* cp/call.c (build_over_call): Use it.

From-SVN: r149635

predicates.md (offsettable_mem_operand): Test RTX_AUTOINC class.

        * config/rs6000/predicates.md (offsettable_mem_operand): Test
        RTX_AUTOINC class.

From-SVN: r149632

20000804-1.c: skip for ilp32 on both i?86-*-darwin* and x86_64-*-darwin*.

2009-07-14  Jack Howarth  <howarth@bromo.med.uc.edu>

* testsuite/gcc.c-torture/compile/20000804-1.c: skip for ilp32 on
both i?86-*-darwin* and x86_64-*-darwin*.

From-SVN: r149631

pr37843-1.c, [...]: Allow leading underscore on function name.

* gcc.target/i386/pr37843-1.c, gcc.target/i386/pr37843-2.c,
gcc.target/i386/pr37843-3.c: Allow leading underscore on function
name.

From-SVN: r149629

re PR debug/40705 (ICE in gen_type_die_with_usage, at dwarf2out.c:15117)

2009-07-14  Dodji Seketeli  <dodji@redhat.com>

gcc/ChangeLog:
PR debug/40705
PR c++/403057
* dwarf2.out.c (gen_type_die_with_usage): Added comment.

gcc/cp/ChangeLog:
PR debug/40705
PR c++/403057
* decl2.c (grokfield): Don't call set_underlying_type on typedef
decls that are type names.

gcc/testsuite/ChangeLog:
PR debug/40705
PR c++/403057
* g++.dg/debug/dwarf2/typedef1.C: New test.
* g++.dg/other/typedef3.C: Likewise.

From-SVN: r149628

re PR middle-end/40745 (Revision 149624 caused x86-64 failures)

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

PR middle-end/40745
* cfgexpand.c (partition_stack_vars): Do not bother to update
alias information when not optimizing.

From-SVN: r149627

20090709-1.c: Move to a proper place ...

* gcc.dg/20090709-1.c: Move to a proper place ...
* gcc.target/m68k/20090709-1.c: ... here.

From-SVN: r149626

tree-ssa-alias.h (refs_may_alias_p_1): Declare.

2009-07-14  Richard Guenther  <rguenther@suse.de>
Andrey Belevantsev <abel@ispras.ru>

* tree-ssa-alias.h (refs_may_alias_p_1): Declare.
(pt_solution_set): Likewise.
* tree-ssa-alias.c (refs_may_alias_p_1): Export.
* tree-ssa-structalias.c (pt_solution_set): New function.
* final.c (rest_of_clean_state): Free SSA data structures.
* print-rtl.c (print_decl_name): Remove.
(print_mem_expr): Implement in terms of print_generic_expr.
* alias.c (ao_ref_from_mem): New function.
(rtx_refs_may_alias_p): Likewise.
(true_dependence): Query alias-export info.
(canon_true_dependence): Likewise.
(write_dependence_p): Likewise.
* tree-dfa.c (get_ref_base_and_extent): For void types leave
size unknown.
* emit-rtl.c (component_ref_for_mem_expr): Remove.
(mem_expr_equal_p): Use operand_equal_p.
(set_mem_attributes_minus_bitpos): Do not use
component_ref_for_mem_expr.
* cfgexpand.c (add_partitioned_vars_to_ptset): New function.
(update_alias_info_with_stack_vars): Likewise.
(partition_stack_vars): Call update_alias_info_with_stack_vars.
* tree-ssa.c (delete_tree_ssa): Do not release SSA names
explicitly nor clear stmt operands.
Free the decl-to-pointer map.
* tree-optimize.c (execute_free_datastructures): Do not free
SSA data structures here.
* tree-flow.h (struct gimple_df): Add decls_to_pointers member.
* Makefile.in (emit-rtl.o): Add pointer-set.h dependency.
(alias.o): Add tree-ssa-alias.h, pointer-set.h and $(TREE_FLOW_H)
dependencies.
(print-rtl.o): Add $(DIAGNOSTIC_H) dependency.

Co-Authored-By: Andrey Belevantsev <abel@ispras.ru>
From-SVN: r149624

mep.h (CC1_SPEC): Tweak parameters to trigger unrolling at the right iteration count.

* config/mep/mep.h (CC1_SPEC): Tweak parameters to trigger
unrolling at the right iteration count.

From-SVN: r149614

mep.c (mep_expand_prologue): Fix frame pointer calculations.

* config/mep/mep.c (mep_expand_prologue): Fix frame pointer
calculations.

From-SVN: r149612

Daily bump.

From-SVN: r149611

2009-07-13  Ghassan Shobaki  <ghassan.shobaki@amd.com>

* haifa-sched.c
(rank_for_schedule): Introduced flags to enable/disable
individual scheduling heuristics.
* common.opt: Introduced flags to enable/disable
        individual heuristics in the scheduler.
* doc/invoke.texi: Introduced flags to enable/disable
        individual heuristics in the scheduler.

From-SVN: r149603

configure.ac: Include multi.m4 and do not call AC_CANONICAL_SYSTEM.

* configure.ac: Include multi.m4 and do not call AC_CANONICAL_SYSTEM.
* configure: Regenerate.

From-SVN: r149594

t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file config/i386/mingw-tls.c.

2009-07-13  Kai Tietz  <kai.tietz@onevision.com>

* config/i386/t-gthr-win32 (LIB2FUNCS_EXTRA): Remove file
config/i386/mingw-tls.c.
* config/i386/mingw-tls.c: Removed.

From-SVN: r149593

module.c (mio_symbol): Remove the unused variable, formal.

2009-07-13  H.J. Lu  <hongjiu.lu@intel.com>

* module.c (mio_symbol): Remove the unused variable, formal.

From-SVN: r149591

re PR c++/22154 ([DR 382] qualified names should allow typename keyword in front of it (even in non-templates))

2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/22154
        * parser.c (cp_parser_elaborated_type_specifier): Accept typename in
        front of qualified names.

2009-07-13  Andrew Pinski  <andrew_pinski@playstation.sony.com>

        PR C++/22154
        * g++.old-deja/g++.pt/typename10.C: Update for DR 382, typename in
        front of qualified names are allowed.
        * g++.dg/parse/crash10.C: Likewise.
        * g++.dg/parse/error15.C: Likewise.
        * g++.dg/parse/typename9.C: Likewise.
        * g++.dg/parse/error8.C: Likewise.

From-SVN: r149590

re PR fortran/40646 ([F03] array-valued procedure pointer components)

2009-07-13  Janus Weil  <janus@gcc.gnu.org>

PR fortran/40646
* module.c (mio_symbol): If the symbol has formal arguments,
the formal namespace will be present.
* resolve.c (resolve_actual_arglist): Correctly handle 'called'
procedure pointer components as actual arguments.
(resolve_fl_derived,resolve_symbol): Make sure the formal namespace
is present.
* trans-expr.c (gfc_conv_procedure_call): Correctly handle the formal
arguments of procedure pointer components.

2009-07-13  Janus Weil  <janus@gcc.gnu.org>

PR fortran/40646
* gfortran.dg/proc_ptr_22.f90: Extended.
* gfortran.dg/proc_ptr_comp_12.f90: Extended.

From-SVN: r149586

exp_ch7.adb, [...] (Make_Temporary): Utility to create a defining identifier and link it to the expression whose...

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

* exp_ch7.adb, exp_util.adb, tbuild.adb, tbuild.ads, exp_ch4.adb,
exp_aggr.adb (Make_Temporary): Utility to create a defining identifier
and link it to the expression whose value it captures.

From-SVN: r149585

[multiple changes]

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

* output.adb: Minor comment addition for last change

* sinfo.ads: Minor reformatting

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

* adaint.c (__gnat_portable_no_block_spawn): on Windows, return -1 when
spawn failed like on all other targets.

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

* exp_ch7.adb: Indicate origin of temporary for transient expression.

From-SVN: r149584

[multiple changes]

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

* s-oscons-tmplt.c: Add comment.

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

* sinfo.adb, sinfo.ads, sem_util.adb, atree.adb, atree.ads: Minor
reformatting. Minor code reorganization (add 9 argument version of
Nkind_In).

* impunit.adb: Remove s-os_lib from list of system extensions.

* sem_util.ads: Minor reformatting

* output.adb: Add warnings off/on around System.OS_Lib.

From-SVN: r149583

Update comments.

From-SVN: r149582

exp_dist.adb: Minor comment updates.

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

* exp_dist.adb: Minor comment updates.

From-SVN: r149581

[multiple changes]

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

* sem_ch10.adb, sem_ch12.adb, gnat1drv.adb, exp_ch4.adb: Fix casing of
several references to CodePeer.

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

* exp_dist.adb (Build_From_Any_Function,Build_To_Any_Function,
Build_TypeCode_Function_All): Do not recurse if the type is the base
type.

From-SVN: r149580

Update dependencies.

From-SVN: r149579

[multiple changes]

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

* exp_ch4.adb: Minor comment change

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

* sem_ch5.adb (Analyze_Iteration_Scheme): Generate dummy reference for
type of iteration, to prevent spurious warnings.

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

* s-oscons-tmplt.c: On VxWorks target ensure that vxWorks.h is always
included.

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

* switch-c.adb, usage.adb, sem_ch9.adb, gnat_ugn.texi, rtsfind.adb,
gnat1drv.adb, opt.ads, sem_ch13.adb (Inspector_Mode): Renamed to
Generate_SCIL.
(CodePeer_Mode): New -gnatC switch.
(Adjust_Global_Switches): Adjust settings for Generate_SCIL and
CodePeer_Mode.

From-SVN: r149578

checks.adb (Selected_Range_Checks): Do not consider that a non-static integer bound forces the check if...

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

* checks.adb (Selected_Range_Checks): Do not consider that a non-static
integer bound forces the check if it is compared to its subtype range.

From-SVN: r149577

tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the checks access only relevant statements.

* tree-vect-loop.c (get_initial_def_for_reduction): Ensure that the
checks access only relevant statements.
(vectorizable_reduction): Likewise.

From-SVN: r149576

[multiple changes]

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

* prj.ads, prj-dect.adb, prj-err.ads, prj-err.adb, prj-nmsc.adb,
prj-strt.ads: Minor reformatting

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

* exp_dist.adb (Build_From_Any_Call): For the case of a generic type,
set the type of the From_Any call to the base type.

2009-07-13  Doug Rupp  <rupp@adacore.com>

* symbols-processing-vms-ia64.adb (Process): Add variables and
constants to retrieve and check for symbol visibility.

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

* exp_ch4.adb (Expand_N_Unchecked_Type_Conversion): If conversion is to
the identical type we remove the conversion completely because
it is useless.

From-SVN: r149575

[multiple changes]

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

* prj-err.adb (Error_Msg): One more case where a message should be
considered as a warning.

* gnatcmd.adb (GNATCmd): Fix previous change, which negated a test.

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

* exp_dist.adb (Expand_All_Calls_Remote_Subprogram_Call): Analyze
calling stubs in the (library level) scope of the RCI locator, where it
is attached, not in the caller's scope.

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

* sem_ch3.adb (Analyze_Object_Declaration): In case of class-wide
interface object declarations we delay the generation of the equivalent
record type declarations until its expansion because there are cases in
which they are not required.

* sem_util.adb (Implements_Interface): Add missing support for subtypes.

* sem_disp.adb (Check_Controlling_Formals): Minor code cleanup plus
addition of assertion.

* exp_util.adb (Expand_Subtype_From_Expr): Renamings of class-wide
interface types require no equivalent constrained type declarations
because the expanded code only references the tag component associated
with the interface.
(Find_Interface_Tag): Improve management of interfaces that are
ancestors of tagged types.

* exp_ch3.adb (Expand_N_Object_Declaration): Improve the expansion of
class-wide object declarations to add missing support to statically
displace the pointer to the object to reference the tag component
associated with the interface.

* exp_disp.adb (Make_Tags) Avoid generation of internally generated
auxiliary types associated with user-defined dispatching calls if the
type has no user-defined primitives.

From-SVN: r149574

mingw32.h: Make it explicit that we need XP or later.

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

* mingw32.h: Make it explicit that we need XP or later.

* initialize.c: Remove useless extern symbol declaration.

* adaint.h: Ditto, also expose __gnat_win32_remove_handle to allow
code reuse in expect.c.

* adaint.c: Changes throughout the Windows section to redesign storage
of the child process list and the process identification.

* expect.c (__gnat_kill, __gnat_waitpid): Simplify, cleanup, use pids
for interfacing, fix errors.
(__gnat_expect_portable_execvp): use function in adaint.c

From-SVN: r149573

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

* prj-proc.adb, prj-part.adb, prj-part.ads, prj-strt.adb,
prj-strt.ads, prj.adb, prj.ads, prj-makr.adb, prj-makr.ads,
prj-dect.adb, prj-dect.ads, prj-nmsc.adb, prj-pars.adb, errutil.adb,
errutil.ads, prj-conf.adb, gnatname.adb, prj-err.adb, prj-err.ads
(Prj.Nmsc.Report_Error): Removed, no longer needed.
Always use Prj.Err.Report_Message.

From-SVN: r149572

prj.adb, [...]: Minor reformatting & comment edits.

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

* prj.adb, sem_ch4.adb, sem_res.adb, prj-nmsc.adb: Minor reformatting
& comment edits.

From-SVN: r149571

opt.ads, [...]: Minor reformatting

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

* opt.ads, prj-conf.adb, prj-env.adb, prj-ext.adb, prj-nmsc.adb,
prj-proc.adb, prj-tree.adb, prj-tree.ads: Minor reformatting

From-SVN: r149570

[multiple changes]

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

* prj.adb, prj.ads, prj-env.adb, prj-conf.adb, prj-tree.adb,
mlib-prj.adb (Private_Part.Ada_Prj_Objects_File_Set,
Ada_Prj_Include_File_Set): Removed, since not needed
Code clean up.

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

* sem_ch4.adb (Analyze_Set_Membership): New procedure, subsidiary of
Analyze_Membership_Op.

* sem_res.adb (Resolve_Set_Membership): New procedure, subsidiary of
Resolve_Membership_Op.

* exp_ch4.adb (Expand_Set_Membership): New procedure, subsidiary of
Expand_N_In.

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

* clean.adb: Minor reformattting

From-SVN: r149569

gnatcmd.adb, [...] (Prj.Tree.Create*): New subprograms to create new packages and attributes in a project tree.

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

* gnatcmd.adb, prj-proc.adb, make.adb, mlib-prj.adb, prj-ext.adb,
gnat_ugn.texi, prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-util.adb,
prj-conf.adb, gnatname.adb, prj-env.adb, prj-env.ads, prj-tree.adb,
prj-tree.ads (Prj.Tree.Create*): New subprograms to create new packages
and attributes in a project tree.
(Add_Default_GNAT_Naming_Scheme): Provide real implementation.
Remove last remaining mode-specific code (ada_only or
multi_language). This was duplicating code
(Get_Mode, Set_Mode): removed, no longer used.
(Initialize_Project_Path): all tools will now take into account both
GPR_PROJECT_PATH and ADA_PROJECT_PATH (in that order).
Remove some global variables and subprograms no longer used
Make temporary files tree-specific, to avoid interferences between
trees loaded in memory at the same time.
(Prj.Delete_Temporary_File): new subprogram
(Object_Paths, Source_Paths): fields no longer stored in the project
tree, since they are only needed locally in Set_Ada_Paths.
(Set_Mapping_File_Initial_State_To_Empty): removed, since had no
effect in practice.
(Project_Tree_Data.Ada_Path_Buffer): removed, since it can be replaced
by local variables in the appropriate subprograms
(Has_Foreign_Sources): removed.

        * gcc-interface/Makefile.in: prj-pp.o is now needed to build gnatmake

From-SVN: r149568

gnat1drv.adb (Adjust_Global_Switches): No longer set Back_Annotate_Rep_Info in inspector mode.

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

* gnat1drv.adb (Adjust_Global_Switches): No longer set
Back_Annotate_Rep_Info in inspector mode.
(Gnat1Drv): Need to call the back-end in inspector mode to generate SCIL

* opt.ads: Update comment.

From-SVN: r149567

lib.adb, [...]: Minor reformatting and code reorganization.

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

* lib.adb, prj-nmsc.adb, prj-proc.adb, prj-proc.ads, prj.adb,
prj.ads: Minor reformatting and code reorganization.

* par-ch3.adb (Check_Restricted_Expression): New procedure

From-SVN: r149566

Update dependencies

From-SVN: r149565

exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream attribute into a call of the corresponding suprogram...

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

* exp_attr.adb (Rewrite_Stream_Proc_Call): When rewriting a stream
attribute into a call of the corresponding suprogram, create extra
formals for the subprogram, because it may be a renaming whose
analysis does not create extra formals.

From-SVN: r149564

gnatcmd.adb, [...]: Minor reformatting.

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

* gnatcmd.adb, prj-proc.adb, prj-proc.ads, make.adb, prj-part.adb,
prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb,
prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-env.adb, prj-tree.adb,
prj-tree.ads: Minor reformatting.
(Processing_Flags): new record to encapsulate the set of common
parameters to several subprograms in the project manager.
(Prj.Nmsc.Process_Naming_Scheme): renames Check, and moved to body
Remove the need for the Current_Dir parameter in subprograms.
(Look_For_Sources): minor refactoring, now that we no longer need to
share subprograms between the two Ada_Only and Multi_Language modes
(Processing_Flags): New field Error_On_Unknown_Language.
Merge tests for library project between gnatmake and gprbuild.

From-SVN: r149563

lib.adb, [...]: Update comments.

* lib.adb, make.adb, mlib.adb, exp_dist.adb: Update comments.
Minor reformatting.

From-SVN: r149562

[multiple changes]

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

* prj-env.adb (Create_Config_Pragmas_File): Iterate on sources rather
than units.

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

* sem_ch3.adb (Process_Full_View): Propagate Has_Specified_Stream_{Read,
Write,Input,Output} from private view to full view.

* sem_type.adb, sem_type.ads: Minor reformatting

2009-07-13  Nicolas Setton  <setton@adacore.com>

* exp_dbug.ads: Add documentation note on the utility of
DW_AT_GNAT_encoding for IDEs.

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

* g-socthi-vxworks.adb: Minor reformatting

* gnatcmd.adb: Minor reformatting

From-SVN: r149561

[multiple changes]

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

* rtsfind.ads, exp_dist.adb (RE_Allocate_Buffer): Runtime entry
removed, not used anymore.
(Exp_Dist.PolyORB_Support.Helpers.Assign_Opaque_From_Any):
New subprogram, implements copy of an Any value into a limited object.
(Exp_Dist.PolyORB_Support.Build_General_Calling_Stubs,
Exp_Dist.PolyORB_Support.Build_Subprogram_Receiving_Stubs,
Exp_Dist.PolyORB_Support.Helpers.Build_From_Any_Function): For the case
of parameters of a limited type, use the above new subprogram.

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

* prj-nmsc.adb, prj-proc.adb, mlib.adb (Add_Source): new parameter
Location.
(Copy_ALI_Files): Avoid calls to read when pointing outside of the
  allocated space.
(Error_Report): Remove global variable, replaced by parameters.

From-SVN: r149560

[multiple changes]

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

* g-socthi-vxworks.adb (C_Sendto): VxWorks does not support the
standard sendto(2) interface for connected sockets (passing a null
destination address). Use send(2) instead for that case.

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

* adaint.c: Fix __gnat_stat() with Win32 UNC paths.

From-SVN: r149559

prj-proc.adb, [...]: Remove all remaining global variables and tables in prj-nmsc.adb.

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

* prj-proc.adb, prj-proc.ads, prj.ads, prj-nmsc.adb, prj-nmsc.ads,
prj-pars.adb, prj-conf.adb, prj-conf.ads: Remove all remaining global
variables and tables in prj-nmsc.adb.
(Tree_Processing_Data): Renames Processing_Data, some new fields added
(Project_Processing_Data): New record
Simplify/unify check for missing sources.

From-SVN: r149558

gnatcmd.adb, [...] (Immediate_Directory_Of): Removed.

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

* gnatcmd.adb, make.adb, mlib-prj.adb, prj-part.adb, mlib.adb,
prj.adb, prj.ads, clean.adb, prj-nmsc.adb, prj-nmsc.ads, prj-pars.adb,
prj-pars.ads, prj-conf.adb, prj-conf.ads, prj-tree.adb,
prj-tree.ads (Immediate_Directory_Of): Removed.
(Prj.Pars): Now parse the project simulating a default config file.
(Add_Default_GNAT_Naming_Scheme): New subprogram
(Check_Naming_Multi_Lang): Fix default value for Dot_Replacement.
Remove gnatmake-specific parsing of source files.
(Check_Illegal_Suffix): Renames Is_Illegal_Suffix, since it now raises
the error itself to provide more precise diagnostics.
(Process_Exceptions_Unit_Based): Avoid duplicate error message when
a unit belongs to several projects.
(Copy_Interface_Sources): Search the full path of files to copy in the
list of sources of the application rather than in the list of units.
(Parse_Project_And_Apply_Config): Do not reset the name of the main
  project file.
(Check_File): Use htables to find out whether a source is duplicated.
(Add_Source): check whether the source or unit were already seen earlier

* gcc-interface/Makefile.in: Update gnatmake dependencies.

From-SVN: r149557

par-ch3.adb (P_Discrete_Choice_List): Choice can only be simple expression if extensions permitted.

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

* par-ch3.adb (P_Discrete_Choice_List): Choice can only be simple
expression if extensions permitted.

* par-ch4.adb (P_Membership_Test): New procedure (implement membership
set tests).
(P_Relation): Use P_Membership_Test

* par.adb (P_Membership_Test): New procedure (implement membership set
tests).

* sinfo.ads, sinfo.adb (N_In, N_Not_In) Add Alternatives field for sets.

* sprint.adb (Sprint_Node): Handle set form for membership tests.

From-SVN: r149556

[multiple changes]

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

* exp_dist.adb (Add_RACW_Primitive_Declarations_And_Bodies):
Do not attempt to generate stubs for predefined primitives of
synchronized interfaces.
(Add_Stub_Type): Factor some code from the PCS-specific variants of
Build_Stub_Type.

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

* sem_disp.adb (Override_Dispatching_Operation): Functions inherit the
Controlling_Result flag from the operation they override.

From-SVN: r149553

* gcc-interface/Make-lang.in: Update dependencies

From-SVN: r149552

[multiple changes]

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

* gnat_ugn.texi: The gnatf switch no longer is needed to get full
details on unsupported constructs.

* rtsfind.adb: Remove references to All_Errors_Mode, give errors
unconditionally.

* s-trafor-default.adb: Correct some warnings

* s-valwch.adb, a-calend.adb, freeze.adb, prj.ads, s-vmexta.adb,
sem.adb, sem_ch10.adb, sem_ch6.adb, sem_disp.adb, vxaddr2line.adb:
Minor reformatting.

* par-ch4.adb (Conditional_Expression): Capture proper location for
conditional expression, should point to IF.

* s-tassta.adb, a-wtdeau.adb, s-tasren.adb, s-arit64.adb, s-imgdec.adb,
s-direio.adb, s-tpobop.adb, g-socket.adb, s-tposen.adb, s-taskin.adb,
g-calend.adb, s-regpat.adb, s-scaval.adb, g-catiio.adb: Minor code
reorganization (use conditional expressions).

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

* exp_util.adb (Remove_Side_Effects): If the expression is a call to a
build-in-place function that returns an inherently limited type (not
just a task type) create proper object declaration so that extra
build-in-place actuals are properly added to the call.

From-SVN: r149551

[multiple changes]

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

* freeze.adb (Freeze_Entity): Implement Warn_On_Suspicious_Modulus_Value

* gnat_ugn.texi: Add documentation for -gnatw.m/.M

* opt.ads (Warn_On_Suspicious_Modulus_Value): New flag

* sem_warn.adb (Set_Dot_Warning_Flag): Set/reset
Warn_On_Suspicious_Modulus_Value.

* ug_words: Add entries for -gnatw.m/-gnatw.M.

* usage.adb: Add lines for -gnatw.m/.M switches.

* vms_data.ads: Add [NO]SUSPICIOUS_MODULUS for -gnatw.m/w.M

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

* sem_ch6.adb (Check_Synchronized_Overriding): Add missing check before
reading the Is_Interface attribute of the dispatching type.

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

* a-convec.adb: Minor code reorganization (use conditional expressions)

From-SVN: r149550

freeze.adb (Check_Suspicious_Modulus): New procedure.

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

* freeze.adb (Check_Suspicious_Modulus): New procedure.

From-SVN: r149549

[multiple changes]

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

* i-cobol.ads: Minor code fix (2**4 instead of 16 as modulus to avoid
warning).

* par-ch4.adb: Minor reformatting

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

* freeze.adb, freeze.ads, exp_aggr.adb: Rename Expand_Atomic_Aggregate
=> Is_Atomic_Aggregate

From-SVN: r149548

Minor reformatting.

From-SVN: r149547

[multiple changes]

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

* prj-nmsc.adb: Avoid traversing the list of source files if
we have already processed all locally removed files.

2009-07-13  Jose Ruiz  <ruiz@adacore.com>

* gnat_ugn.texi: Fix typo.

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

* freeze.adb: Minor reformatting
Minor code reorganization (use Nkind_In)

* exp_ch6.adb: Minor reformatting

From-SVN: r149546

re PR fortran/40588 (Small bug in match_charkind_name)

2009-07-12  Tobias Burnus  <burnus@net-b.de>
            Philippe Marguinaud <philippe.marguinaud@meteo.fr>

        PR fortran/40588
        * primary.c (match_charkind_name): Fix condition for $ matching.

        PR libfortran/22423
        * libgfortran.h: Typedef the GFC_DTYPE_* enum.

2009-07-12  Tobias Burnus  <burnus@net-b.de>

        PR libfortran/22423
        * io/io.h (namelist_type): Use the proper enum for GFC_DTYPE_*.
        * intrinsics/iso_c_binding.c (c_f_pointer_u0): Make sure
        variable is initialized to silence warning.

Co-Authored-By: Philippe Marguinaud <philippe.marguinaud@meteo.fr>
From-SVN: r149545

* ChangeLog: Fix whitespace.

From-SVN: r149544

Daily bump.

From-SVN: r149540

re PR c++/36628 ([c++0x] incorrect decltype() handling of conditional operator)

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

* include/std/type_traits (common_type): Remove workaround for
PR36628, now fixed.

From-SVN: r149537

re PR c++/36628 ([c++0x] incorrect decltype() handling of conditional operator)

PR c++/36628
* tree.c (rvalue): Use lvalue_or_rvalue_with_address_p.

From-SVN: r149536

fix double paste

From-SVN: r149535

cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.

* cp-tree.h (enum cp_lvalue_kind_flags): Add clk_rvalueref.
* tree.c (lvalue_p_1): Return it.  Remove
treat_class_rvalues_as_lvalues parm.
(real_lvalue_p): Disallow pseudo-lvalues here.
(lvalue_or_rvalue_with_address_p): New fn.
* call.c (initialize_reference): Use it instead of real_lvalue_p.

From-SVN: r149534

re PR c++/40689 ([C++0x]: error with initializer list in N2672)

PR c++/40689
* init.c (build_new_1): Handle initializer list as array initializer.
(build_vec_init): Likewise.
* typeck.c (cp_build_modify_expr): Likewise.
* typeck2.c (process_init_constructor_array): Error rather than abort
if too many initializers.

From-SVN: r149533

cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_ just for 32-bit case.

2009-07-12  Kai Tietz  <kai.tietz@onevision.com>

* config/i386/cygming.h (TARGET_OS_CPP_BUILTINS): Define _X86_
just for 32-bit case.

From-SVN: r149532

re PR tree-optimization/40585 (tracer duplicates blocks w/o adjusting EH tree)

PR tree-optimization/40585
* except.c (expand_resx_expr): When there already is resume
instruction, produce linked list.
(build_post_landing_pads): Assert that resume is empty.
(connect_post_landing_pads): Handle resume lists.
(dump_eh_tree): Dump resume list.

From-SVN: r149530

tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction with additional argument.

* tree-parloops.c (loop_parallel_p): Call vect_is_simple_reduction
with additional argument.
* tree-vectorizer.h (enum vect_def_type): Add
vect_double_reduction_def.
(vect_is_simple_reduction): Add argument.
* tree-vect-loop.c (vect_determine_vectorization_factor): Fix
indentation.
(vect_analyze_scalar_cycles_1): Detect double reduction. Call
vect_is_simple_reduction with additional argument.
(vect_analyze_loop_operations): Handle exit phi nodes in case of
double reduction.
(reduction_code_for_scalar_code): Handle additional codes by
returning ERROR_MARK for them. Fix comment and indentation.
(vect_is_simple_reduction): Fix comment, add argument to specify
double reduction. Detect double reduction.
(get_initial_def_for_induction): Fix indentation.
(get_initial_def_for_reduction): Fix comment and indentation.
Handle double reduction. Create initial definitions that do not
require adjustment if ADJUSTMENT_DEF is NULL. Handle additional cases.
(vect_create_epilog_for_reduction): Fix comment, add argument to
handle double reduction. Use PLUS_EXPR in case of MINUS_EXPR in
epilogue result extraction. Create double reduction phi node and
replace relevant uses.
(vectorizable_reduction): Call vect_is_simple_reduction with
additional argument. Fix indentation. Update epilogue code treatment
according to the changes in reduction_code_for_scalar_code. Check
for double reduction. Call vect_create_epilog_for_reduction with
additional argument.
* tree-vect-stmts.c (process_use): Handle double reduction, update
documentation.
(vect_mark_stmts_to_be_vectorized): Handle double reduction.
(vect_get_vec_def_for_operand): Likewise.

From-SVN: r149526

winnt.c (i386_pe_determine_dllexport_p): Don't dllexport if !TREE_PUBLIC.

* config/i386/winnt.c (i386_pe_determine_dllexport_p): Don't
dllexport if !TREE_PUBLIC.
(i386_pe_maybe_record_exported_symbol): Assert TREE_PUBLIC.

From-SVN: r149525

f2003_io_4.f03, [...]: Gate test on effective_target fd_truncate.

* gfortran.dg/f2003_io_4.f03, gfortran.dg/read_size_noadvance.f90,
gfortran.dg/namelist_39.f90, gfortran.dg/read_repeat.f90,
gfortran.dg/fmt_exhaust.f90, gfortran.dg/fseek.f90,
gfortran.dg/fmt_t_7.f, gfortran.dg/read_x_past.f,
gfortran.dg/read_bad_advance.f90, gfortran.dg/backslash_3.f,
gfortran.dg/namelist_56.f90, gfortran.dg/list_read_5.f90,
gfortran.dg/fmt_cache_1.f, gfortran.dg/fmt_t_4.f90: Gate test on
effective_target fd_truncate.

From-SVN: r149524

Daily bump.

From-SVN: r149523

checks.adb (Apply_Address_Clause_Check): Remove Size_Warning_Output local variable and do not test it in...

* checks.adb (Apply_Address_Clause_Check): Remove Size_Warning_Output
local variable and do not test it in Compile_Time_Bad_Alignment.
Do not issue size or alignment warnings for the X'Address form.
* sem_util.ads (Find_Overlaid_Object): Delete.
(Find_Overlaid_Entity): New procedure.
* sem_util.adb (Find_Overlaid_Object): Rename to...
(Find_Overlaid_Entity): ...this and turn into a procedure.  Report
whether the address is offseted within the overlaid entity.
(Has_Compatible_Alignment): Track the offset globally instead of
passing it to Check_Offset.  For an indexed component, compute the
full offset when possible.  If the resulting offset is zero, only
check the prefix.
(Check_Offset): Delete.
* sem_ch13.adb (Address_Clause_Check_Record): Add Off field.
(Address_Aliased_Entity): Delete.
(Analyze_Attribute_Definition_Clause) <Attribute_Address>: Call
Find_Overlaid_Entity to find the overlaid entity and the offset.
Adjust throughout for above change.
(Validate_Address_Clauses): Always use attributes of entities, not of
their type.  Tweak message for warning.  Call Has_Compatible_Alignment
if the address is offseted to warn about incompatible alignments.
* gcc-interface/gigi.h (annotate_object): Declare.
* gcc-interface/decl.c (gnat_to_gnu_entity) <object>: Annotate renaming
entity.  Call annotate_object instead of annotating manually objects.
(annotate_object): New function.
* gcc-interface/trans.c (Subprogram_Body_to_gnu): Annotate parameters
at the end.

From-SVN: r149520

avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.

* config/avr/avr.h (TARGET_CPU_CPP_BUILTINS): Redefine.
(avr_extra_arch_macro) Remove declatation.
* config/avr/avr.c (avr_cpu_cpp_builtins): New function.
(avr_extra_arch_macro) Declare as static.
* config/avr/avr-protos.h (avr_cpu_cpp_builtins): Dclare.

From-SVN: r149519

ada-tree.h: Minor reorganization.

* gcc-interface/ada-tree.h: Minor reorganization.
* gcc-interface/misc.c (gnat_print_decl): Minor tweaks.
(gnat_print_type): Likewise.

From-SVN: r149518

re PR middle-end/40388 (another null pointer in remove_unreachable_regions)

PR middle-end/48388
* except.c (can_be_reached_by_runtime): Test for NULL aka bitmap.
* g++.dg/torture/pr40388.C: New testcase.

From-SVN: r149516

[multiple changes]

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

* sem_util.adb, sem_res.adb, sem_warn.adb: Minor comment editing:
Lvalue -> lvalue

* exp_ch6.adb: Minor reformatting

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

* freeze.adb (Expand_Atomic_Aggregate): Clean up code, take into
account possible type qualification to determine whether aggregate
needs a target temporary to respect atomic type or object.

* exp_aggr.adb (Expand_Record_Aggregate): Use new version of
Expand_Atomic_Aggregate.

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

* prj.adb, prj.ads, prj-nmsc.adb (Mark_Excluded_Sources): Speed up
algorithm.
(Excluded_Sources_Htable): No longer a global table.
Change error message to indicate which files are illegal in the list
of excluded files, as opposed to only the location in the project
file.
(Find_Source): New subprogram.

From-SVN: r149515

re PR debug/40713 (Overlapping .debug_ranges (C++))

PR debug/40713
* dwarf2out.c (dw_fde_struct): Add in_std_section and
cold_in_std_section bits.
(dwarf2out_begin_prologue): Initialize them.
(dwarf2out_finish): Don't emit FDE range into .debug_ranges
if already covered by text_section or cold_text_section range.

From-SVN: r149514

re PR target/40667 (stack frames are generated even with -fomit-frame-pointer)

PR rtl-optimization/40667
* defaults.h (MINIMUM_ALIGNMENT): Define if not defined.
* doc/tm.texi (MINIMUM_ALIGNMENT): Document it.
* config/i386/i386.h (MINIMUM_ALIGNMENT): Define.
* config/i386/i386.c (ix86_minimum_alignment): New function.
* config/i386/i386-protos.h (ix86_minimum_alignment): New prototype.
* cfgexpand.c (expand_one_var): Use MINIMIM_ALIGNMENT.
* emit-rtl.c (gen_reg_rtx): Likewise.
* function.c (assign_parms): Likewise.  If nominal_type needs
bigger alignment than FUNCTION_ARG_BOUNDARY, use its alignment
rather than passed_type's alignment.

From-SVN: r149513

re PR target/40668 (64-bit sparc miscompiles memcpy of argument inside switch)

PR target/40668
* function.c (assign_parm_setup_stack): Adjust
MEM_OFFSET (data->stack_parm) if promoted_mode is different
from nominal_mode on big endian.

* gcc.c-torture/execute/pr40668.c: New test.

From-SVN: r149511

expmed.c (emit_store_flag_1): Fix choice of zero vs.

2009-07-11  Paolo Bonzini  <bonzini@gnu.org>

* expmed.c (emit_store_flag_1): Fix choice of zero vs. sign extension.

2009-07-11  Paolo Bonzini  <bonzini@gnu.org>

* gcc.c-torture/execute/20090711-1.c: New test.

From-SVN: r149509

re PR testsuite/40699 (All sparcv9 libjava execution tests fail on Solaris 11/SPARC)

gcc/testsuite/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* lib/gcc-defs.exp, lib/target-libpath.exp, lib/objc.exp,
lib/gfortran.exp, lib/g++.exp, lib/obj-c++.exp, lib/c-torture.exp,
lib/gcc-dg.exp, lib/gnat.exp, g++.dg/compat/compat.exp,
g++.dg/compat/struct-layout-1.exp: Revert 2009-06-30 commit.

libstdc++-v3/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libstdc++.exp: Revert 2009-06-30 commit.

libjava/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libjava.exp: Revert 2009-06-30 commit.

libgomp/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libgomp.exp: Revert 2009-07-02 and 2009-06-30 commits.
* testsuite/libgomp.c/c.exp, testsuite/libgomp.c++/c++.exp,
testsuite/libgomp.fortran/fortran.exp: Revert 2009-06-30 commits.

libffi/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libffi-dg.exp: Revert 2009-07-02, 2009-07-01 and
2009-06-30 commits.

libmudflap/
PR testsuite/40699
PR testsuite/40707
PR testsuite/40709
* testsuite/lib/libmudflap.exp: Revert 2009-06-30 commit.

From-SVN: r149508

* config/mep/mep.c (mep_can_inline_p): Correct logic, and simplify.

From-SVN: r149507

Daily bump.

From-SVN: r149506

re PR fortran/33197 (Fortran 2008: math functions)

2009-07-09  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * check.c (gfc_check_fn_rc2008): New function.
        * intrinsic.h (gfc_check_fn_rc2008): New prototype.
        * intrinsic.c (add_functions): Add complex tan, cosh, sinh,
        and tanh.

2009-07-09  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33197
        * gfortran.dg/complex_intrinsic_3.f90: New test.
        * gfortran.dg/complex_intrinsic_4.f90: New test.

From-SVN: r149503

thumb2.md (thumb2_cbz): Correct computation of length attribute.

* config/arm/thumb2.md (thumb2_cbz): Correct computation of length
attribute.
(thumb2_cbnz): Likewise.

From-SVN: r149501

re PR target/39079 (MIPS: __builtin___clear_cache() broken on SMP ISA_HAS_SYNCI systems.)

2009-07-10  David Daney  <ddaney@caviumnetworks.com>

PR target/39079
* testsuite/gcc.target/mips/mips.exp: Make -msynci a known option.
* gcc.target/mips/clear-cache-1.c (dg-options): Add -msynci.

2009-07-10  David Daney  <ddaney@caviumnetworks.com>

PR target/39079
* config.gcc (supported_defaults): Add synci.
(with_synci): Add validation.
(all_defaults): Add synci.
* config/mips/mips.md (clear_cache): Use TARGET_SYNCI instead of
ISA_HAS_SYNCI.
(synci): Same.
* config/mips/mips.opt (msynci): New option.
* config/mips/mips.c (mips_override_options): Warn on use of
-msynci for targets that do now support it.
* gcc/config/mips/mips.h (OPTION_DEFAULT_SPECS): Add a default for
msynci.
* gcc/doc/invoke.texi (-msynci): Document the new option.
* doc/install.texi (--with-synci): Document the new option.

From-SVN: r149500

c99_functions.c (ccoshf, [...]): Fix errant minus.

2009-07-10  Steven G. Kargl  <kargl@gcc.gnu.org>

* c99_functions.c (ccoshf, ccosh, ccoshl, ctanhf, ctanh, ctanl):
Fix errant minus.

From-SVN: r149479

Minor reformatting.

From-SVN: r149475

[multiple changes]

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

* exp_ch7.adb: Update comments.

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

* exp_ch13.adb (Expand_N_Record_Representation_Clause): Ignore mod
clause if -gnatI is set instead of crashing.

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

* sem_ch11.adb (Same_Expression): Null is always equal to itself.
Additional work to remove redundant successive raise statements, in
this case access checks.

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

* make.adb (Compile): Always create a deep copy of the mapping file
argument (-gnatem=...) as it may be deallocate/reallocate by
Normalize_Arguments.

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

* einfo.adb (Directly_Designated_Type): Add assertion.

* sem_res.adb (Check_Fully_Declared_Prefix): Add missing check on
access types before using attribute Directly_Designated_Type.

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

* prj.ads: Minor typo fix

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

* sem_ch6.adb (Add_Extra_Formal): Protected operations do no need
special treatment.

* exp_ch6.adb (Expand_Protected_Subprogram_Call): If rewritten
subprogram is a function call, resolve properly, to ensure that extra
actuals are added as needed.

From-SVN: r149474

sem_aggr.adb: Minor comments editing

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

* sem_aggr.adb: Minor comments editing

* exp_tss.adb, exp_ch3.adb: Minor reformatting

From-SVN: r149473

re PR middle-end/40502 (crash in cp_diagnostic_starter)

PR c++/40502
* error.c (cp_print_error_function): Check for NULL block.

* g++.dg/ext/strncpy-chk1.C: New test.

From-SVN: r149470

re PR tree-optimization/40496 (ICE in verify_stmts with -fprefetch-loop-arrays)

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

PR tree-optimization/40496
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Create
the PHI result with a compatible type.

* g++.dg/opt/pr40496.C: New testcase.

From-SVN: r149469