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

PR c++/42057
* g++.dg/parse/crash54.C: New.

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

2009-11-30  Chao-ying Fu  <fu@mips.com>

* gcc.target/mips/dsp-lhx.c: New test.
* gcc.target/mips/dsp-no-lhx.c: New test.

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

2009-11-30  Chao-ying Fu  <fu@mips.com>

* config/mips/mips-dsp.md (mips_lhx_<mode>): Use sign_extend.

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

Daily bump.

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

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* testsuite/lib/libstdc++.exp (libstdc++_init): Add host-dependent
settings for LC_ALL and LANG.

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

2009-11-30  David Edelsohn  <edelsohn@gnu.org>

        PR target/35484
        * src/powerpc/ffitarget.h (POWERPC64): Define for PPC64 Linux and
        AIX64.
        * src/powerpc/aix.S: Implement AIX64 version.
        * src/powerpc/aix_closure.S: Implement AIX64 version.
        (ffi_closure_ASM): Use extsb, lha and displament addresses.
        * src/powerpc/ffi_darwin.c (ffi_prep_args): Implement AIX64
        support.
        (ffi_prep_cif_machdep): Same.
        (ffi_call): Same.
        (ffi_closure_helper_DARWIN): Same.

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

libgomp/ChangeLog

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* testsuite/lib/libgomp.exp (libgomp_init): Add host-dependent
settings for LC_ALL and LANG.

gcc/testsuite/ChangeLog

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* lib/g++.exp (g++_init): Add host-dependent settings for
LC_ALL and LANG.
* lib/gcc-dg.exp: Likewise.
* lib/options.exp: Likewise.
* lib/objc.exp (objc_init): Likewise.
* lib/gfortran.exp (gfortran_init): Likewise.

libjava/ChangeLog

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* testsuite/lib/libjava.exp (libjava_init):  Add host-dependent
settings for LC_ALL and LANG.

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

gcc/ChangeLog:

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* configure.ac (USE_CYGWIN_LIBSTDCXX_WRAPPERS): Define to reflect
status of AC_CHECK_FUNC for Cygwin DLL libstdc++ support wrappers.
* configure: Regenerate.
* config.in: Regenerate.

* config/i386/cygwin.h (CXX_WRAP_SPEC_LIST): Define list of --wrap
options for Cygwin DLL libstdc++ support wrappers.
(CXX_WRAP_SPEC_OPT): Define spec to use wrappers or not by default
according to defined value of USE_CYGWIN_LIBSTDCXX_WRAPPERS.
(CXX_WRAP_SPEC): Define entire wrapper spec in or out according to
whether USE_CYGWIN_LIBSTDCXX_WRAPPERS is even defined or not.
(LINK_SPEC): Include CXX_WRAP_SPEC.
* gcc/config/i386/winnt.c (wrapper_strcmp): New qsort helper function.
(i386_find_on_wrapper_list): Check if a function is found on the list
of libstdc++ wrapper options.
(i386_pe_file_end): If we are importing a wrapped function, also emit
an external declaration for the real version.
* config/i386/cygming.opt (muse-libstdc-wrappers): New option for
Cygwin targets. Update copyright year.

libstdc++-v3/ChangeLog:

2009-11-30  Dave Korn  <dave.korn.cygwin@gmail.com>

* libstdc++-v3/acinclude.m4 (GLIBCXX_ENABLE_SYMVERS): Don't disable
on PE targets.
* libstdc++-v3/configure: Regenerate.
* libstdc++-v3/configure.host: Add libtool DLL options for Cygwin
and MinGW platforms.

* libstdc++-v3/include/bits/c++config (_GLIBCXX_VISIBILITY_ATTR): On
platforms that don't support visibility, allow them to declare a macro
_GLIBCXX_PSEUDO_VISIBILITY that is applied in place of visibility.
(_GLIBCXX_PSEUDO_VISIBILITY): Supply empty default if not declared by
CPU- or OS-specific headers.

* libstdc++-v3/config/os/newlib/os_defines.h
(_GLIBCXX_PSEUDO_VISIBILITY_default): New macro for dllimport.
(_GLIBCXX_PSEUDO_VISIBILITY_hidden): New empty macro.
(_GLIBCXX_PSEUDO_VISIBILITY): Evaluate to one of the above.
* libstdc++-v3/config/os/mingw32/os_defines.h
(_GLIBCXX_PSEUDO_VISIBILITY_default,
_GLIBCXX_PSEUDO_VISIBILITY_hidden,
_GLIBCXX_PSEUDO_VISIBILITY): Likewise.

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

cp/
2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/40371
* call.c (add_template_candidate_real): Early return NULL if
the arglist length is smaller than skip_without_in_chrg; tidy.

testsuite/
2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/40371
* g++.dg/template/crash93.C: New.

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

Correct testcase

2009-11-29  Alexander Monakov <amonakov@gcc.gnu.org>

* testsuite/g++.dg/graphite/pr42130.C: Correct testcase.

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

Fix comments.

2009-11-24  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-clast-to-gimple.c (try_mark_loop_parallel,
graphite_create_new_loop_guard, translate_clast_for): Fix comments.

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

Protect loops that might be executed zero times.

2009-11-23  Tobias Grosser  <grosser@fim.uni-passau.de>

PR middle-end/42130
* graphite-clast-to-gimple.c (graphite_create_new_loop_guard,
translate_clast_for_loop): New.
(translate_clast_for): Add a condition around the loop, to do not
execute loops with zero iterations.
* testsuite/g++.dg/graphite/pr42130.C: New.
* testsuite/gcc.dg/graphite/pr35356-2.c: Adapt.

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

Remove context_loop and level from translate_clast_* methods.

2009-11-23  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-clast-to-gimple.c (try_mark_loop_parallel): New.
(translate_clast_for, translate_clast_guard, translate_clast, gloog):
Remove context_loop and level.

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

Simplify translate_clast_* methods

2009-11-23  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-clast-to-gimple.c (translate_clast_user,
translate_clast_for, translate_clast_guard): Simplify and move common
elements to translate_clast().
(translate_clast): Simplify and get common elements.

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

2009-11-30  Steve Ellcey  <sje@cup.hp.com>

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

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

split translate_clast into single methods

2009-11-23  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-clast-to-gimple.c (translate_clast_user,
translate_clast_for, translate_clast_guard): Split out of
translate_clast.

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

Do not abuse sese for codegeneration

CLooG automatically frees the names list, so sharing SESE_PARAMS_NAMES
between gloog() and debug_generated_program() leads to freeing them
twice. As both SESE_PARAM_NAMES and SESE_PARAMS_INDEX are code
generation data structures remove them and the functions working on them
from sese.h and put them in clast-to-gimple.

2009-11-21  Tobias Grosser  <grosser@fim.uni-passau.de>

* graphite-clast-to-gimple.c (clast_name_index, new_clast_name_index,
clast_name_to_index, save_clast_name_index, debug_clast_name_index,
debug_clast_name_indexes_1, debug_clast_name_indexes,
clast_name_index_elt_info, eq_clast_name_indexes): Moved from sese.h.
(clast_name_to_gcc, clast_to_gcc_expression,
clast_to_gcc_expression_red, gcc_type_for_clast_expr,
gcc_type_for_clast_eq, graphite_translate_clast_equation,
graphite_create_guard_cond_expr, graphite_create_new_loop,
translate_clast): Add params_index.
(initialize_cloog_names): Create parameter strings from scratch, do
not reference other strings.
(create_params_index): New.
(gloog): Initialize params_index.
* graphite-scop-detection (free_scops_1): Removed.
(limit_scops): Use normal free_scops.
* graphite-sese-to-poly.c (save_var_names): Removed.
(parameter_index_in_region): Do not initialize SESE_PARAM_NAMES
and SESE_PARAMS_INDEX.
* sese.c (new_sese, free_sese): Dito.
* sese.h (struct sese): Remove params_index, params_names.
(SESE_PARAMS_INDEX, SESE_PARAMS_NAMES): Removed.

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

2009-11-30  Steve Ellcey  <sje@cup.hp.com>
    Jakub Jelinek <jakub@redhat.com>

* function.c (instantiate_virtual_regs_in_insn): Copy to new reg
before forcing mode.

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

* config/sh/sh.c (sh_promote_prototypes): Make static.
(sh_function_value, sh_libcall_value, sh_function_value_regno_p): New
functions.
(TARGET_FUNCTION_VALUE, TARGET_LIBCALL_VALUE): Declare.
* config/sh/sh.h: (FUNCTION_VALUE_REGNO_P): Redefine, use
sh_function_value_regno_p.
(FUNCTION_VALUE, LIBCALL_VALUE): Remove.
* config/sh/sh-protos.h (sh_function_value_regno_p): Declare.
(sh_promote_prototypes) : Remove.

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

* s-oscons-tmplt.c [__mips && __sgi]: Only define _XOPEN5, IOV_MAX
if _XOPEN_IOV_MAX is defined.

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

merge from fortran-dev branch:

gcc/fortran/

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/42053
* resolve.c (resolve_select_type): Check for duplicate CLASS IS blocks.

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/41631
* decl.c (gfc_match_derived_decl): Set extension level.
* gfortran.h (symbol_attribute): Expand 'extension' bit field to 8 bit.
* iresolve.c (gfc_resolve_extends_type_of): Return value of
'is_extension_of' has kind=4.
* match.c (select_type_set_tmp,gfc_match_class_is): Create temporary
for CLASS IS blocks.
* module.c (MOD_VERSION): Bump module version.
(ab_attribute,attr_bits): Remove AB_EXTENSION.
(mio_symbol_attribute): Handle expanded 'extension' field.
* resolve.c (resolve_select_type): Implement CLASS IS blocks.
(resolve_fl_variable_derived): Show correct type name.
* symbol.c (gfc_build_class_symbol): Set extension level.

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

* intrinsic.h (gfc_resolve_extends_type_of): Add prototype.
* intrinsic.c (add_functions): Use 'gfc_resolve_extends_type_of'.
* iresolve.c (gfc_resolve_extends_type_of): New function, which
replaces the call to EXTENDS_TYPE_OF by the library function
'is_extension_of' and modifies the arguments.
* trans-intrinsic.c (gfc_conv_extends_type_of): Removed.
(gfc_conv_intrinsic_function): FOR EXTENDS_TYPE_OF, don't call
gfc_conv_extends_type_of but gfc_conv_intrinsic_funcall.

2009-11-30  Paul Thomas  <pault@gcc.gnu.org>
    Janus Weil  <janus@gcc.gnu.org>

* decl.c (encapsulate_class_symbol): Replaced by
'gfc_build_class_symbol'.
(build_sym,build_struct): Call 'gfc_build_class_symbol'.
(gfc_match_derived_decl): Replace vindex by hash_value.
* dump-parse-tree.c (show_symbol): Replace vindex by hash_value.
* gfortran.h (symbol_attribute): Add field 'vtab'.
(gfc_symbol): Replace vindex by hash_value.
(gfc_class_esym_list): Ditto.
(gfc_get_derived_type,gfc_build_class_symbol,gfc_find_derived_vtab):
New prototypes.
* module.c (mio_symbol): Replace vindex by hash_value.
* resolve.c (vindex_expr): Rename to 'hash_value_expr'.
(resolve_class_compcall,resolve_class_typebound_call): Renamed
'vindex_expr'.
(resolve_select_type): Replace $vindex by $vptr->$hash.
* symbol.c (gfc_add_save): Handle vtab symbols.
(gfc_type_compatible): Rewrite.
(gfc_build_class_symbol): New function which replaces
'encapsulate_class_symbol'.
(gfc_find_derived_vtab): New function to set up a vtab symbol for a
derived type.
* trans-decl.c (gfc_create_module_variable): Handle vtab symbols.
* trans-expr.c (select_class_proc): Replace vindex by hash_value.
(gfc_conv_derived_to_class): New function to construct a temporary
CLASS variable from a derived type expression.
(gfc_conv_procedure_call): Call 'gfc_conv_derived_to_class'.
(gfc_conv_structure): Initialize the $extends and $size fields of
vtab symbols.
(gfc_trans_class_assign): Replace $vindex by $vptr. Remove the $size
assignment.
* trans-intrinsic.c (gfc_conv_same_type_as): Replace $vindex by
$vptr->$hash, and replace vindex by hash_value.
* trans-stmt.c (gfc_trans_allocate): Insert $vptr references, replace
$vindex by $vptr. Remove the $size assignment.
* trans-types.c (gfc_get_derived_type): Make it non-static.

gcc/testsuite/

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/42053
* gfortran.dg/select_type_9.f03: New.

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

PR fortran/41631
* gfortran.dg/extends_type_of_1.f03: Fix invalid test case.
* gfortran.dg/module_md5_1.f90: Adjusted MD5 sum.
* gfortran.dg/select_type_1.f03: Remove FIXMEs.
* gfortran.dg/select_type_2.f03: Ditto.
* gfortran.dg/select_type_8.f03: New test.

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

* gfortran.dg/extends_type_of_1.f03: New test.
* gfortran.dg/same_type_as_1.f03: Extended.

2009-11-30  Paul Thomas  <pault@gcc.gnu.org>

* gfortran.dg/class_4c.f03: Add dg-additional-sources.
* gfortran.dg/class_4d.f03: Rename module. Cleanup modules.

libgfortran/

2009-11-30  Janus Weil  <janus@gcc.gnu.org>

* gfortran.map: Add _gfortran_is_extension_of.
* Makefile.am: Add intrinsics/extends_type_of.c.
* Makefile.in: Regenerated.
* intrinsics/extends_type_of.c: New file.

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

2009-11-30  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/42131
* trans-stmt.c (gfc_trans_do):  Calculate loop count
without if statements.

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

gcc/
* config/arm/arm.h (PREFERRED_RELOAD_CLASS): Don't restrict Thumb-2
reloads to LO_REGS.

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

PR testsuite/42212
* gcc.target/powerpc/regnames-1.c: Add missing brace dg-do.

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

Implement vec_perm broadcast, and tidy lots of patterns to help.

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

2009-11-30  Martin Jambor  <mjambor@suse.cz>

PR middle-end/42196
* tree-sra.c (struct access): New field grp_different_types.
(dump_access): Dump grp_different_types.
(compare_access_positions): Prefer scalars and vectors over other
scalar types.
(sort_and_splice_var_accesses): Set grp_different_types if appropriate.
(sra_modify_expr): Use the original also when dealing with a complex
 or vector group accessed as multiple types.

* testsuite/gcc.c-torture/compile/pr42196-1.c: New test.
* testsuite/gcc.c-torture/compile/pr42196-2.c: New test.
* testsuite/gcc.c-torture/compile/pr42196-3.c: New test.

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

    * config/i386/i386.c (avx_vperm2f128_parallel): New.
        * config/i386/i386-protos.h: Declare it.
        * config/i386/predicates.md (avx_vperm2f128_v8sf_operand,
        avx_vperm2f128_v8si_operand, avx_vperm2f128_v4df_operand): New.
        * config/i386/sse.md (avx_vperm2f128<mode>3): Change to expander.
        (*avx_vperm2f128<mode>_full): Renamed from avx_vperm2f128<mode>3.
        (*avx_vperm2f128<mode>_nozero): New.

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

* config/i386/i386-builtin-types.def (V4DF_FTYPE_V4DF_V4DF_V4DI): New.
(V8SF_FTYPE_V8SF_V8SF_V8SI): New.
* config/i386/i386.c (ix86_vectorize_builtin_vec_perm): Support
V4DF and V8SF for AVX; relax constraint on V4SF to SSE1 from SSE2.
(IX86_BUILTIN_VEC_PERM_V4DF, IX86_BUILTIN_VEC_PERM_V8SF): New.
(bdesc_args): Add them.
(ix86_expand_builtin): Expand them.
(expand_vec_perm_pshufb2): Only operate on 16-byte vectors.

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

* largefile.m4 (ACX_LARGEFILE): Require AC_CANONICAL_HOST and
AC_CANONICAL_TARGET.

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

2009-11-30  Vasiliy Fofanov  <fofanov@adacore.com>

* vms_data.ads: Add new VMS qualifiers,
REVERSE_BIT_ORDER/NOREVERSE_BIT_ORDER, to support warnings on bit order
effects.

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

* exp_ch9.adb, exp_ch9.ads, sem_util.ads: Minor reformatting.

2009-11-30  Gary Dismukes  <dismukes@adacore.com>

* sem_prag.adb: Fix spelling error.

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

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

* exp_ch9.ads (Build_Private_Protected_Declaration): For a protected
operation that is only declared in a protected body, create a
corresponding subprogram declaration.
* exp_ch9.adb (Expand_N_Protected_Body): Create protected body of
operation in all cases, including for an operation that is only
declared in the body.
* sem_ch6.adb: Call Build_Private_Protected_Declaration
* exp_ch6.adb (Expand_N_Subprogram_Declaration): For an operation
declared in a protected body, create the declaration for the
corresponding protected version of the operation.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* gnat1drv.adb (Adjust_Global_Switches): Disable specific expansions
for Restrictions pragmas, to avoid tree inconsistencies between
compilations with different pragmas.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* sem_prag.adb (Check_Duplicated_Export_Name): Allow entities exported
to CIL to have duplicated export name.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* a-tiinio.adb: Remove extraneous pragma Warnings (Off).

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

* par_sco.adb: Minor reformatting

2009-11-30  Ed Falis  <falis@adacore.com>

* s-vxwext.ad[s,b], system-vxworks-ppc.ads, s-stchop-vxworks.adb:
Comment update.

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

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

* par_sco.adb (Traverse_Handled_Statement_Sequence): Do not emit SCO's
for null statements that do not come from source.
* sinfo.ads: Clarify documentation of Comes_From_Source

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Add_Source): Use Display_Name for both projects when
displaying the paths in error message.

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

* adaint.h, adaint.c (file_attributes): force the use of unsigned char.
  On some platforms, "char" is signed, on others unsigned, so we
  explicitly specify the one we expect

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

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-coinve.adb (Insert): Move exception handler closer to point where
exception can occur.
Minor reformatting & comment additions.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* freeze.adb (Freeze_Entity): Disable warning on 'Foreign caller must
pass bounds' for VM targets, not relevant.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_util.adb (Wrong_Type): Diagnose additional case of modular
missing parens.
* a-tiinio.adb, a-wtinio.adb, a-ztinio.adb: Minor reformatting

* exp_util.adb (Kill_Dead_Code): Suppress warning for some additional
cases.

* sem_warn.adb (Set_Warning_Flag): Clean up gnatwA list and ensure
completeness.
(Set_Dot_Warning_Flag): Ditto for -gnatw.e
(Set_Dot_Warning_Flag): Implement -gnbatw.v/w.V
* usage.adb: Add lines for -gnatw.v/w.V

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

* make.adb (Check_Standard_Library): use Full_Source_Name instead of
direct call to Find_File. The former provides caching of the results, so
might be more efficient
(Start_Compile_If_Necessary): Add comment on possible optimization,
not done for now.

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

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

* g-sechas.adb: Minor reformatting

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-crbtgo.adb (Delete_Fixup): Add comments explaining why predicates
were removed.
* a-cdlili.adb (Vet): Remove always-true predicates.

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

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

* s-sechas.adb, s-sechas.ads, s-shshco.adb, s-shshco.ads, s-shsh64.adb,
s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, s-shsh32.adb, s-shsh32.ads,
s-sehash.adb, s-sehash.ads, g-sechas.adb, g-sechas.ads, g-shshco.adb,
g-shshco.ads, g-md5.ads, g-sha256.ads, g-shsh64.adb, g-shsh64.ads,
g-sehamd.adb, g-sehamd.ads, g-sha512.ads, g-sha1.ads, Makefile.rtl,
g-sha224.ads, g-shsh32.adb, g-shsh32.ads, g-sha384.ads, g-sehash.adb,
g-sehash.ads: Rename System.Secure_Hashes to GNAT.Secure_Hashes.

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

2009-11-30  Martin Jambor  <mjambor@suse.cz>

PR middle-end/42206
* ipa-prop.c (ipa_write_node_info): Initialize note_count to zero.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.ads: Minor comment update.

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

* s-sechas.adb: Fix swapping error in previous checkin.
* g-md5.ads, g-sha256.ads, g-sha512.ads, g-sha1.ads, g-sha224.ads,
g-sha384.ads: Add missing documentation.

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

* ipa-reference.c (propagate): Only dump bitmaps if computed.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-sha256.ads, s-sehamd.ads, s-sehamd.adb, g-sha512.ads, g-sha224.ads,
g-sha384.ads: Minor reformatting

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

* adaint.h (file_attributes): Reduce size of the structure, so that it
is less costly to store in records.
* makeutl.adb:
(Check_Source_Info_In_ALI): use Full_Source_Name instead of a direct
call to Find_File, since the former provides caching when appropriate,
which limits the number of system calls in some cases.
* osint.ads, prj.ads (Source_Data): do not store directly the timestamp,
but the file attributes since we also need access to the size of the
ALI file to parse it. This gives an opportunity for saving system calls
on Unix systems.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb, s-sechas.ads, s-sechas.adb: Minor reformatting.

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

2009-11-30  Gary Dismukes  <dismukes@adacore.com>

* sem_prag.adb (Process_Convention): Change formal E to Ent. In the
case where the pragma's entity argument is a renaming, return the
entity denoted by the renaming rather than the renamed entity. Loop
through the homonyms of the original argument entity, rather than the
homonyms of any renamed entity. Correct call to Generate_Entity to
pass the homonym.

2009-11-30  Vincent Celier  <celier@adacore.com>

* impunit.adb: Add packages that were added to the GNAT library:
GNAT.SHA224, GNAT.SHA256, GNAT.SHA384 and GNAT.SHA512.
* s-sechas.adb (Fill_Buffer_Copy): Fixes incorrect slice index

2009-11-30  Robert Dewar  <dewar@adacore.com>

* exp_ch3.adb: Minor reformatting
* g-md5.ads, g-sha1.ads: Add comment.

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

Fix header.

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

* gcc-interface/Makefile.in: Remove handling of libgccprefix, no longer
needed

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

2009-11-30  Pascal Obry  <obry@adacore.com>

* expect.c: Fix cast to avoid warnings in x86-64 Windows.

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

* gnat_rm.texi, s-sechas.adb, s-sechas.ads, s-shshco.adb,
s-shshco.ads, g-md5.adb, g-md5.ads, g-sha256.ads, s-shsh64.adb,
s-shsh64.ads, s-sehamd.adb, s-sehamd.ads, g-sha512.ads, g-sha1.adb,
g-sha1.ads, Makefile.rtl, g-sha224.ads, g-sha384.ads, s-shsh32.adb,
s-shsh32.ads, s-sehash.adb, s-sehash.ads: Reimplementation of GNAT.MD5
and GNAT.SHA1 to factor shared code and avoid unnecessary stack copies.
Also introduce new functions SHA-{224,256,384,512}

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

2009-11-30  Olga Golovanevsky  <olga@il.ibm.com>

PR middle-end/39806
* ipa-struct-reorg.c (new_var_eq): Use DECL_UID to hash new variables.
(new_var_hash): Likewise.
(is_in_new_vars_htab): Likewise.
(add_to_new_vars_htab): Likewise.

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

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve comment for
the Value_Type case.

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

* a-textio.adb: Minor reformatting

2009-11-30  Pascal Obry  <obry@adacore.com>

* adaint.c: Fix bug in passing parameter.
* expect.c: Include io.h to get definition of _open_osfhandle

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

2009-11-30  Javier Miranda  <miranda@adacore.com>

* exp_ch6.adb, sem_scil.adb (Adjust_SCIL_Node): Add missing management
of N_Unchecked_Type_Conversion nodes when searching for SCIL nodes.
(Expand_Call): Adjust decoration of SCIL node associated with relocated
function call.

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

* prj-env.adb (Add_To_Source_Path): Preserve casing of directories

2009-11-30  Vincent Celier  <celier@adacore.com>

* opt.ads (No_Split_Units): New flag initialized to False

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch7.adb (Needs_Finalization): Add comments.
* exp_ch3.adb (Make_Predefined_Primitive_Specs): Improve handling of
CIL Value types.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.adb, a-rttiev.adb: Minor reformatting.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Remove list of warning letters, and refer instead to
using gnatmake to get a brief list.

* debug.adb: Document -gnatd.i to disable pragma Warnings
* par-prag.adb, sem_prag.adb: Recognize -gnatd.i to disable Warnings
pragma.
* vms_data.ads: Add /NOWARNINGS_PRAGMS for -gnatd.i

2009-11-30  Geert Bosch  <bosch@adacore.com>

* a-ngelfu.adb (Sin): Correct spelling of sine in comment.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatls.adb: Do not call Get_Target_Parameters in Verbose_Mode, as it
is not needed and gnatls fails when called with -v -nostdinc.

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

* osint.adb, osint.ads (File_Time_Stamp): new subprogram.

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

2009-11-30  Kai Tietz  <Kai.Tietz@onevision.com>

        * io/unix.c (find_file): Add variable id conditionally for
        mingw targets.

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

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

* gnat_rm.texi, gnat_ugn.texi: Document new syntax for pragma Annotate

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* scans.ads (Wide_Wide_Character_Found): New flag
* scn.adb (Post_Scan): Set new flag Has_Wide_Wide_Character
* scng.adb (Set_String): Set new flag Wide_Wide_Character_Found
(Set_String): Fix failure to reset Wide_Character_Found
* sinfo.adb (Has_Wide_Wide_Character): New flag in N_String_Literal
* sinfo.ads (Has_Wide_Wide_Character): New flag in N_String_Literal
* a-ngelfu.adb: Minor reformatting & code reorganization.
* usage.adb: Fix typo in -gnatw.W line

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.adb, prj-nmsc.adb, sem_prag.adb, sem_util.adb: Minor
reformatting.
* csinfo.adb: Terminate run if improper use of reserved flag
* sinfo.ads, sinfo.adb (Is_Accessibility_Actual): Don't use reserved
Flag12, used Flag13 instead.

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

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb (Check_Files): Recognize documented switches that have a
separate parameter.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_util.ads: Minor reformatting
* errout.adb: Minor reformatting
Minor code reorganization (use N_Subprogram_Specification to simplify)
* exp_ch7.adb: Add comment.

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

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

* put_scos.adb (Put_SCOs): Do not generate a SCO unit header for a unit
that has no SCOs.
* scos.ads: Minor reformatting

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

* sem_prag.adb: Second unanalyzed parameter of Annotate is optional.

2009-11-30  Eric Botcazou  <ebotcazou@adacore.com>

* init.c (__gnat_adjust_context_for_raise, Linux version): Add guard
for null PC saved in the context.

2009-11-30  Hristian Kirtchev  <kirtchev@adacore.com>

* a-calend.adb (Day_Of_Week): Rewritten. The routine determines the
number of days from the Ada Epoch to the input date while ensuring that
both dates are in the same time zone.

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

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

* clean.adb ("-eL"): Also set Follow_Links_For_Dirs, to match what is
done in other project-aware tools like gnatmake and gprbuild.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* exp_ch3.adb (Make_Predefined_Primitive_Specs): Take care of CIL
ValueTypes.
* exp_ch7.adb (Needs_Finalization): Do not finalize CIL valuetypes.
* sem_util.adb (Is_Value_Type): Protect against invalid calls to Chars
(Is_Delegate): New method used for CIL.
* sem_util.ads (Is_Delegate): New method for CIL handling.
(Is_Value_Type): Improve documentation.

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

* errout.adb (Unwind_Internal_Type): Improve error reporting if the
type is an anonymous access to subprogram that is the type of a formal
in a subprogram spec.

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-nmsc.adb (Check_Interfaces): In a Stand-Alone Library project, if
attribute Interfaces is not declared, then Library_Interface should
define the interfaces.

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

* sem_prag.adb: New semantics for Annotate.

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

2009-11-30  Tristan Gingold  <gingold@adacore.com>

* gcc-interface/Makefile.in: Do not link with -static-libgcc on Darwin.

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

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

* gnat_ugn.texi: Extend doc for -eL

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name (File_Name_Type)): Put the Name in the
Name_Buffer before testing for a dot in the Name.

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-part.adb (Project_Path_Name_Of): Resolve links for final result
if -eL has been specified.

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

2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

Fix typo in last ChangeLog entry.

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

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name): Test the name instead of the name buffer
to check if there is a dot in the given name.

2009-11-30  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_disp.adb, usage.adb: Minor reformatting

2009-11-30  Vasiliy Fofanov  <fofanov@adacore.com>

* gnat_ugn.texi: Minor editing.

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

* prj-nmsc.adb (Search_Directories): when -eL was not specified, assume
that no directory matches the naming scheme for sources.

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

* tree-vect-stmts.c (vectorizable_assignment): Support
multiple types.

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

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

* prj.adb, prj.ads, prj-nmsc.adb (Has_Multi_Unit_Sources): New field in
project_data.

2009-11-30  Vincent Celier  <celier@adacore.com>

* osint.adb (Executable_Name): Correctly decide if the executable
suffix should be added when Only_If_No_Suffix is True.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* frontend.adb, gnatlink.adb, prj-conf.adb, prj-tree.adb,
prj-tree.ads: Minor reformatting

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

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb (Process_Args): Call Executable_Name on argument of -o
with Only_If_No_Suffix set to True.
* osint.adb (Executable_Name): Do not add executable suffix if there is
already a suffix and Only_If_No_Suffix is True.
* osint.ads (Executable_Name): New Boolean parameter Only_If_No_Suffix,
defaulted to False.

2009-11-30  Javier Miranda  <miranda@adacore.com>

* exp_atag.adb (Build_TSD): Change argument name because the actual is
now the address of a tag (instead of the tag). Update implementation
accordingly.
(Build_CW_Membership): New implementation. Converted into a procedure
because it has an additional out mode parameter. Its implementation has
been rewritten to improve the generated code but also to facilitate
referencing the relocated object node in the caller.
* exp_atag.ads (Build_CW_Membership): Update profile and documentation.
* sinfo.ads (N_SCIL_Membership_Test) New_Node.
(SCIL_Tag_Value): New field of N_SCIL_Membership_Test nodes.
(Is_Syntactic_Field): Add entry of new node.
(SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms.
* sinfo.adb (SCIL_Related_Node, SCIL_Entity): Update assertions to
handle N_SCIL_Membership_Test nodes.
(SCIL_Tag_Value/Set_SCIL_Tag_Value): New subprograms.
* sem.adb (Analyze): Add null management for new node.
* sem_scil.adb (Find_SCIL_Node): Add null management for new node.
(Check_SCIL_Node): Add checks of N_SCIL_Membership_Test nodes.
* exp_ch4.adb (Tagged_Membership): Change profile from function to
procedure. Add generation of SCIL node associated with class-wide
membership test.
(Expand_N_In): Complete decoration of SCIL nodes.
* exp_intr.adb (Expand_Dispatching_Constructor_Call): Tune call to
Build_CW_Membership because its profile has been changed.
* exp_util.adb (Insert_Actions): Add null management for new node.
* sprint.adb (Sprint_Node_Actual): Handle new node.
* gcc-interface/trans.c Add no processing for N_SCIL_Membership_Test
nodes.
* gcc-interface/Make-lang.in: Update dependencies.

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

* opt.ads: New flags Init_Or_Norm_Scalars_Config,
Initialize_Scalars_Config, to capture the presence of the corresponding
pragmas in a configuration file.
* opt.adb (Register_, Save_, Set_, Restore_Opt_Configuration_Switches):
handle new flags so that they are restored for each compilation unit.
* frontend.adb: At the end of compilation, scan the context of the main
unit to recover occurrences of pragma Initialize_Scalars, to annotate
the ALI file accordingly.

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

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-tree.ads: Minor comment updates
* prj-tree.adb: Minor reformatting

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

* sem_ch3.adb (Derive_Subprogram): Indicate that an inherited
predefined control operation is hidden if the parent type is not
visibly controlled.
* sem_ch6.adb (Check_Overriding_Indicator): Do not report error if
overridden operation is not visible, as may be the case with predefined
control operations.
* sem_disp.adb (Check_Dispatching_Operation): Do not emit warning on
non-overriding control operation when type is not visibly controlled,
if the subprogram has an explicit overriding indicator.
* sem_util.ads, sem_util.adb (Is_Visibly_Controlled): Moved here from
sem_disp.adb.

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

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

* prj-tree.adb (Create_Attribute): Fix handling of VMS and Windows
* prj-attr.ads: Minor comment updates

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document pragma Short_Circuit

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

* prj-conf.adb, prj-tree.adb, prj-tree.ads (Create_Attribute): Now set
the index either on the attribute or on its value, depending on the
kind of the attribute. Done to match recent changes in Prj.PP that were
not synchronized with this function.

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

    Update dependencies.

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

* gcc-interface/Make-lang.in: Fix typo.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add documentation for attribute Result.

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-osinte-hpux.ads, s-osinte-aix.ads, s-osinte-solaris-posix.ads,
s-osinte-tru64.ads, s-osinte-darwin.ads, s-osinte-freebsd.ads
(Get_Page_Size): Update comment since Get_Page_Size is now required.

2009-11-30  Jerome Lambourg  <lambourg@adacore.com>

* freeze.adb: Disable Warning on VM targets concerning C Imports, not
relevant.

2009-11-30  Bob Duff  <duff@adacore.com>

* sprint.adb (Source_Dump): Minor comment fix.
(Write_Itype): When writing a string literal subtype, use Expr_Value
instead of Intval to get the low bound.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb (Process_Args): Do not call Executable_Name on arguments
of switch -o.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb (Expand_N_Op_And): Implement pragma Short_Circuit_And_Or
(Expand_N_Op_Or): Implement pragma Short_Circuit_And_Or
* opt.ads (Short_Circuit_And_Or): New flag
* par-prag.adb: Add dummy entry for pragma Short_Circuit_And_Or
* sem_prag.adb: Implement pragma Short_Circuit_And_Or
* snames.ads-tmpl: Add entries for pragma Short_Circuit_And_Or

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

2009-11-30  Richard Guenther  <rguenther@suse.de>

* doc/contrib.texi (Contributors): Add myself.

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

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-taprop-posix.adb: Fix casing.
* s-osinte-tru64.adb: Complete previous check-in.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document pragma Compiler_Unit
* s-bitops.adb, s-restri.adb, g-htable.adb, s-restri.ads,
a-comlin.ads, a-strhas.ads, s-strhas.adb, s-parame.adb,
s-parame.ads, a-clrefi.adb, a-clrefi.ads, a-ioexce.ads: Supply missing
Compiler_Unit pragmas.
* freeze.adb (Freeze_Entity): Improve message for 8-bit boolean passed
to C.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* makeutl.adb, makeutl.ads, prj-proc.adb, prj.adb, prj.ads: Minor
reformatting.

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

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

* osint.adb: Minor reformatting

2009-11-30  Vincent Celier  <celier@adacore.com>

* makeutl.ads, makeutl.adb (Base_Name_Index_For): New function to get
the base name of a main without the extension, with an eventual source
index.
(Mains.Get_Index): New procedure to set the source index of a main
(Mains.Get_Index): New function to get the source index of a main
* prj-attr.adb: New attributes Config_Body_File_Name_Index,
Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and
Multi_Unit_Switches.
* prj-nmsc.adb (Process_Compiler): Takle into account new attributes
Config_Body_File_Name_Index, Config_Spec_File_Name_Index,
Multi_Unit_Object_Separator and Multi_Unit_Switches.
Allow only one character for Multi_Unit_Object_Separator.
* prj-proc.adb (Process_Declarative_Items): Take into account the
source indexes in indexes of associative array attribute declarations.
* prj.adb (Object_Name): New function to get the object file name for
units in multi-unit sources.
* prj.ads (Language_Config): New components Multi_Unit_Switches,
Multi_Unit_Object_Separator Config_Body_Index and Config_Spec_Index.
(Object_Name): New function to get the object file name for units in
multi-unit sources.
* snames.ads-tmpl: New standard names Config_Body_File_Name_Index,
Config_Spec_File_Name_Index, Multi_Unit_Object_Separator and
Multi_Unit_Switches.

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

2009-11-30  Richard Guenther  <rguenther@suse.de>

        * tree.c (free_lang_data): Do not set debug_info_level to
        none if terse.

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

2009-11-30  Arnaud Charlet  <charlet@adacore.com>

* s-tassta.adb: Update comment.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* a-ngelfu.adb: Minor code reorganization.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* osint.ads, prj.adb, prj.ads: Minor reformatting
* s-stchop.adb, s-taprop-vxworks.adb, s-taprop-tru64.adb,
s-taprop-vms.adb, s-taprop-linux.adb, s-taprop-solaris.adb,
s-strxdr.adb, s-taprop-irix.adb,
s-osinte-hpux-dce.adb, s-osinte-tru64.adb, s-taenca.adb,
s-taprop-hpux-dce.adb, s-stausa.adb, s-taprop-posix.adb: Minor code
reorganization (use conditional expressions).

2009-11-30  Bob Duff  <duff@adacore.com>

* g-sttsne-locking.adb (Copy_Service_Entry): Complete previous change.

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

2009-11-30  Richard Guenther  <rguenther@suse.de>

PR middle-end/42119
PR fortran/38530
* expr.c (expand_expr_addr_expr_1): Properly expand the initializer
of CONST_DECLs.

* gfortran.dg/pr42119.f90: New testcase.

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

2009-11-30  Bob Duff  <duff@adacore.com>

* socket.c: Add more accessor functions for struct servent (need
setters as well as getters).
* g-sothco.ads (Servent): Declare interfaces to C setter functions for
struct servent.
* g-sttsne-locking.adb (Copy_Service_Entry): Use setter functions for
struct servent.

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

2009-11-30  Richard Guenther  <rguenther@suse.de>

* tree-into-ssa.c (insert_phi_nodes): Add PHI nodes in
variable UID order.

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

2009-11-30  Richard Guenther  <rguenther@suse.de>

* tree-dump.c (dump_option_value_in): Add TDF_NOUID.
* tree-pass.h (TDF_NOUID): Likewise.
* print-rtl.c: Include tree-pass.h.
(print_mem_expr): Pass dump_flags.
(print_rtx): Likewise.
* print-tree.c: Include tree-pass.h.
(print_node_brief): Handle TDF_NOUID.
(print_node): Likewise.
* tree-pretty-print.c (dump_decl_name): Likewise.
(dump_generic_node): Likewise.
* Makefile.in (print-rtl.o, print-tree.o): Add $(TREE_PASS_H)
dependency.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* s-stchop-vxworks.adb: Add comment.

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

* make.adb, prj.adb, prj.ads (Compute_All_Imported_Projects): Now acts
on the whole tree, to better share code with gprbuild.
(Length): New subprogram, to share code in gprbuild.
(Project_Data): Remove fields that are only needed when compiling a
  project in gprbuild (where we use local variables instead)
* osint.adb, osint.ads: Added minor comment on memory management

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

2009-11-30  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update gnatcheck doc.

2009-11-30  Robert Dewar  <dewar@adacore.com>

make.adb, prj-makr.adb, g-sothco.ads: Minor reformattting
* s-taprop-dummy.adb: Minor code reorganization (raise with msgs start
with lower case).
* i-vxwoio.adb, g-dirope.adb, g-sercom-linux.adb,
g-enblsp-vms-alpha.adb, g-regist.adb, s-imgcha.adb, s-tarest.adb,
s-taprop-mingw.adb, g-exctra.adb, g-expect.adb, g-comlin.adb,
g-debpoo.adb, g-expect-vms.adb, g-pehage.adb, g-trasym-vms-alpha.adb,
g-enblsp-vms-ia64.adb, s-fatgen.adb, s-fileio.adb: Minor code
reorganization (use conditional expressions).

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

2009-11-30  Vincent Celier  <celier@adacore.com>

* prj-makr.adb (Source_Files): New hash table to keep track of source
file names.
(Finalize): Avoid putting several times the same source file name
in the source list file.
* prj-pp.adb (Print): Fix a bug in the placement of "at nn" for
associative array indexes.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-dyntab.ads: Add missing pragma Compiler_Unit

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

* s-crtrun.ads, s-crtl.ads, g-stseme.adb, Makefile.rtl, s-fileio.adb
(System.CRTL.Runtime): New unit, to contain parts of s-crtl that are
used in the Ada runtime but can't be used in the compiler because of
bootstrap issues.
* socket.c, s-oscons-tmplt.c, g-sothco.ads
(System.OS_Constants.SIZEOF_struct_servent): New constant.
Use s-oscons constant instead of external variable to get size of
struct hostent.

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

* mark_rts.c (GC_approx_sp): Use __builtin_frame_address when
compiling with GCC rather than taking the address of a local
variable.

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

    * config/stormy16/stormy16-lib2-count-leading-zeros.c: Delete.
        * config/stormy16/t-stormy16 (LIB2FUNCS_EXTRA): Remove
        stormy16-lib2-count-leading-zeros.c.
        * config/stormy16/stormy16-lib2.c (__clzhi2): Move code from
        __stormy16_count_leading_zeros() into this function.
        (__ctzhi2): Use __builtin_clz.
        (__ffshi2): Likewise.

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

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

* s-crtl.ads, g-stseme.adb, s-fileio.adb (System.CRTL.strerror): Change
return type to Interfaces.C.Strings.chars_ptr to eliminate need for
dubious unchecked conversion at call sites.
* s-errrep.adb, s-errrep.ads, Makefile.rtl (System.Error_Reporting):
Remove obsolete, unused runtime unit.
* gcc-interface/Make-lang.in: Update dependencies.
* gcc-interface/Makefile.in: Remove VMS specialization of s-crtl, not
required anymore.

2009-11-30  Vincent Celier  <celier@adacore.com>

* gnatlink.adb: Delete an eventual existing executable file, in case it
is a symbolic link, to avoid modifying the target of the symbolic link.

2009-11-30  Bob Duff  <duff@adacore.com>

* socket.c: Add accessor functions for struct servent.
* g-sothco.ads (Servent): Declare interfaces to C accessor functions
for struct servent.
* g-socket.adb (To_Service_Entry): Use accessor functions for struct
servent.

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-arrspl.adb: Minor reformatting
* g-dyntab.adb: Add missing pragma Compiler_Unit

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

Fix PR c++/42069

gcc/cp/ChangeLog:
PR c++/42069
* pt.c (convert_template_argument): Strip typedefs from SCOPE_REFs.

gcc/testsuite/ChangeLog:
PR c++/42069
* g++.dg/template/typedef23.C: New test.

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

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

* s-crtl.ads, s-oscons-tmplt.c: Fix support for VMS
* make.adb, g-comlin.ads, exp_ch6.adb: Minor reformatting

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* g-alleve.adb: Minor code reorganization (use conditional expressions)

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

* a-tasatt.adb, s-taprop-dummy.adb (Ada.Task_Attributes.Reference):
Remove unreachable code.
(System.Task_Primitives.Operations.Initialize, dummy version):
Use plain Program_Error rather than call to
System.Error_Reporting.Shutdown.

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

(malloc32, realloc32): Remove VMS-specific routines.

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

Minor reformatting.

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

2009-11-30  Robert Dewar  <dewar@adacore.com>

* bcheck.adb, gnatlink.adb, make.adb, makeutl.adb, osint.adb,
osint.ads, prj-ext.adb, sem_case.adb: Minor reformatting
* g-alleve.adb: Minor code reorganization (use conditional expressions)

2009-11-30  Matthew Heaney  <heaney@adacore.com>

* a-crbtgo.adb (Delete_Fixup): Changed always-true predicates to
assertions.

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

* a-tasatt.adb, s-crtl.ads, s-taprop-dummy.adb (System.CRTL.malloc32,
System.CRTL.realloc32): Remove VMS-specific routines.
(Ada.Task_Attributes.Reference): Remove unreachable code.
(System.Task_Primitives.Operations.Initialize, dummy version):
Use plain Program_Error rather than call to
System.Error_Reporting.Shutdown.

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

Minor comment updates.

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

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

* s-oscons-tmplt.c, xoscons.adb: Add new constants in preparation for
sharing s-crtl across all platforms.

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

2009-11-30  Paolo Carlini  <paolo.carlini@oracle.com>

* include/tr1_impl/functional: Remove file, copy its contents,
trivially adjusted...
* include/std/functional: ... here, and...
* include/tr1_impl/functional: ... here.
* include/Makefile.am: Adjust.
* include/Makefile.in: Regenerate.

2009-11-30  Jonathan Wakely  <jwakely.gcc@gmail.com>

        * include/tr1_impl/functional (function): Add rvalue support and
        tweak doxygen markup.
        * testsuite/20_util/function/assign/move.cc: New.
        * testsuite/20_util/function/cons/move.cc: New.
        * testsuite/20_util/function/invoke/move_only.cc: New.
        * testsuite/20_util/function/cmp/cmp_neg.cc: New.
        * testsuite/20_util/function/1.cc: Copy from testsuite/tr1/.
        * testsuite/20_util/function/2.cc: Likewise.
        * testsuite/20_util/function/3.cc: Likewise.
        * testsuite/20_util/function/4.cc: Likewise.
        * testsuite/20_util/function/5.cc: Likewise.
        * testsuite/20_util/function/6.cc: Likewise.
        * testsuite/20_util/function/7.cc: Likewise.
        * testsuite/20_util/function/8.cc: Likewise.
        * testsuite/20_util/function/9.cc: Likewise.

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

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

* s-commun.adb, s-commun.ads: New internal support unit,
allowing code sharing between GNAT.Sockets and
GNAT.Serial_Communication.
* g-sercom.ads, g-sercom-mingw.adb, g-sercom-linux.adb,
g-socket.adb (GNAT.Sockets.Last_Index): Move to System.Communication.
(GNAT.Serial_Communication.Read): Handle correctly the case where no
data was read, and Buffer'First = Stream_Element_Offset'First.
* Makefile.rtl: Add entry for s-commun
* g-socthi-vms.adb, g-socthi-vms.ads, g-socthi-vxworks.adb,
g-socthi-vxworks.ads, g-stseme.adb, g-socthi-mingw.ads,
g-socthi.adb, g-socthi.ads (GNAT.Sockets.Thin.Socket_Error_Message):
Reimplement in terms of System.CRTL.strerror.

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

* config/sparc/sparc.c (DF_MODES): Simplify.
(TF_ONLY_MODES, OF_ONLY_MODES): Delete.
(TF_MODES, OF_MODES): Adjust for above change.
(TF_MODES_NO_S, OF_MODES_NO_S): Likewise.
*  config/sparc/sparc.h (REGNO_REG_CLASS): Move around.

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

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

PR rtl-optimization/41812
* fwprop.c (local_md, local_lr): New globals.
(process_defs, process_uses): Remove local_md argument.  Never
consider dead pseudos to have singleton def-use chains.
(single_def_use_enter_block): Perform LR simulation.
(build_single_def_use_links): Remove local_md local variable.
Add DF_NOTE.  Allocate local_lr.
(fwprop_done): Do not remove DF_CHAIN, we do not use it anymore.
* df-problems.c (df_md_scratch): New.
(df_md_alloc, df_md_free): Allocate/free it.
(df_md_local_compute): Only include live registers in init.
(df_md_transfer_function): Prune the in-set computed by
the confluence function, and the gen-set too.
(df_simulate_one_insn_forwards): Fix typo.

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