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

PR fortran/40822
* array.c (gfc_resolve_character_array_constructor): Use new function
gfc_new_charlen.
* decl.c (add_init_expr_to_sym,variable_decl,match_char_spec,
gfc_match_implicit): Ditto.
* expr.c (gfc_simplify_expr): Ditto.
* gfortran.h (gfc_new_charlen): New prototype.
* iresolve.c (check_charlen_present,gfc_resolve_char_achar): Use new
function gfc_new_charlen.
* module.c (mio_charlen): Ditto.
* resolve.c (gfc_resolve_substring_charlen,
gfc_resolve_character_operator,fixup_charlen,resolve_fl_derived,
resolve_symbol): Ditto.
* symbol.c (gfc_new_charlen): New function to create a new gfc_charlen
structure and add it to a namespace.
(gfc_copy_formal_args_intr): Make sure ts.cl is present
for CHARACTER variables.

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

PR fortran/40822
* gfortran.dg/char_length_16.f90: New.

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

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

* Makefile.in (TREE_DATA_REF_H, tree-vrp.o, tree-cfg.o, tree-if-conv.o
tree-ssa-loop.o, tree-ssa-loop-niter.o, tree-ssa-loop-ivcanon.o,
tree-ssa-loop-prefetch.o, tree-predcom.o, tree-affine.o,
tree-scalar-evolution.o, tree-data-ref.o, tree-vect-loop.o,
tree-vect-data-refs.o, tree-loop-linear.o, tree-loop-distribution.o
tree-parloops.o, tree-pretty-printer.o, fold-const.o, tree-ssa-dce.o,
lambda-code.o, params.o): Cleanup use of SCEV_H and TREE_DATA_REF_H.

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

PR libffi/40807
* src/x86/ffi.c (ffi_prep_cif_machdep): Also use sign/zero-extending
return types for X86_WIN32.
* src/x86/win32.S (_ffi_call_SYSV): Handle omitted return types.
(_ffi_call_STDCALL, _ffi_closure_SYSV, _ffi_closure_raw_SYSV,
_ffi_closure_STDCALL): Likewise.

* src/closures.c (is_selinux_enabled): Define to const 0 for Cygwin.
(dlmmap, dlmunmap): Also use these functions on Cygwin.

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

PR fortran/40643
PR fortran/31067
* trans-intrinsic.c (gfc_conv_intrinsic_minmaxloc,
gfc_conv_intrinsic_minmaxval): Handle Infinities and NaNs properly,
optimize.
* trans-array.c (gfc_trans_scalarized_loop_end): No longer static.
* trans-array.h (gfc_trans_scalarized_loop_end): New prototype.

* libgfortran.h (GFC_REAL_4_INFINITY, GFC_REAL_8_INFINITY,
GFC_REAL_10_INFINITY, GFC_REAL_16_INFINITY, GFC_REAL_4_QUIET_NAN,
GFC_REAL_8_QUIET_NAN, GFC_REAL_10_QUIET_NAN, GFC_REAL_16_QUIET_NAN):
Define.
* m4/iparm.m4 (atype_inf, atype_nan): Define.
* m4/ifunction.m4: Formatting.
* m4/iforeach.m4: Likewise.
(START_FOREACH_FUNCTION): Initialize dest to all 1s, not all 0s.
(START_FOREACH_BLOCK, FINISH_FOREACH_FUNCTION,
FINISH_MASKED_FOREACH_FUNCTION): Run foreach block inside a loop
until count[0] == extent[0].
* m4/minval.m4: Formatting.  Handle NaNs and infinities.  Optimize.
* m4/maxval.m4: Likewise.
* m4/minloc0.m4: Likewise.
* m4/maxloc0.m4: Likewise.
* m4/minloc1.m4: Likewise.
* m4/maxloc1.m4: Likewise.
* generated/maxloc0_16_i16.c: Regenerated.
* generated/maxloc0_16_i1.c: Likewise.
* generated/maxloc0_16_i2.c: Likewise.
* generated/maxloc0_16_i4.c: Likewise.
* generated/maxloc0_16_i8.c: Likewise.
* generated/maxloc0_16_r10.c: Likewise.
* generated/maxloc0_16_r16.c: Likewise.
* generated/maxloc0_16_r4.c: Likewise.
* generated/maxloc0_16_r8.c: Likewise.
* generated/maxloc0_4_i16.c: Likewise.
* generated/maxloc0_4_i1.c: Likewise.
* generated/maxloc0_4_i2.c: Likewise.
* generated/maxloc0_4_i4.c: Likewise.
* generated/maxloc0_4_i8.c: Likewise.
* generated/maxloc0_4_r10.c: Likewise.
* generated/maxloc0_4_r16.c: Likewise.
* generated/maxloc0_4_r4.c: Likewise.
* generated/maxloc0_4_r8.c: Likewise.
* generated/maxloc0_8_i16.c: Likewise.
* generated/maxloc0_8_i1.c: Likewise.
* generated/maxloc0_8_i2.c: Likewise.
* generated/maxloc0_8_i4.c: Likewise.
* generated/maxloc0_8_i8.c: Likewise.
* generated/maxloc0_8_r10.c: Likewise.
* generated/maxloc0_8_r16.c: Likewise.
* generated/maxloc0_8_r4.c: Likewise.
* generated/maxloc0_8_r8.c: Likewise.
* generated/maxloc1_16_i16.c: Likewise.
* generated/maxloc1_16_i1.c: Likewise.
* generated/maxloc1_16_i2.c: Likewise.
* generated/maxloc1_16_i4.c: Likewise.
* generated/maxloc1_16_i8.c: Likewise.
* generated/maxloc1_16_r10.c: Likewise.
* generated/maxloc1_16_r16.c: Likewise.
* generated/maxloc1_16_r4.c: Likewise.
* generated/maxloc1_16_r8.c: Likewise.
* generated/maxloc1_4_i16.c: Likewise.
* generated/maxloc1_4_i1.c: Likewise.
* generated/maxloc1_4_i2.c: Likewise.
* generated/maxloc1_4_i4.c: Likewise.
* generated/maxloc1_4_i8.c: Likewise.
* generated/maxloc1_4_r10.c: Likewise.
* generated/maxloc1_4_r16.c: Likewise.
* generated/maxloc1_4_r4.c: Likewise.
* generated/maxloc1_4_r8.c: Likewise.
* generated/maxloc1_8_i16.c: Likewise.
* generated/maxloc1_8_i1.c: Likewise.
* generated/maxloc1_8_i2.c: Likewise.
* generated/maxloc1_8_i4.c: Likewise.
* generated/maxloc1_8_i8.c: Likewise.
* generated/maxloc1_8_r10.c: Likewise.
* generated/maxloc1_8_r16.c: Likewise.
* generated/maxloc1_8_r4.c: Likewise.
* generated/maxloc1_8_r8.c: Likewise.
* generated/maxval_i16.c: Likewise.
* generated/maxval_i1.c: Likewise.
* generated/maxval_i2.c: Likewise.
* generated/maxval_i4.c: Likewise.
* generated/maxval_i8.c: Likewise.
* generated/maxval_r10.c: Likewise.
* generated/maxval_r16.c: Likewise.
* generated/maxval_r4.c: Likewise.
* generated/maxval_r8.c: Likewise.
* generated/minloc0_16_i16.c: Likewise.
* generated/minloc0_16_i1.c: Likewise.
* generated/minloc0_16_i2.c: Likewise.
* generated/minloc0_16_i4.c: Likewise.
* generated/minloc0_16_i8.c: Likewise.
* generated/minloc0_16_r10.c: Likewise.
* generated/minloc0_16_r16.c: Likewise.
* generated/minloc0_16_r4.c: Likewise.
* generated/minloc0_16_r8.c: Likewise.
* generated/minloc0_4_i16.c: Likewise.
* generated/minloc0_4_i1.c: Likewise.
* generated/minloc0_4_i2.c: Likewise.
* generated/minloc0_4_i4.c: Likewise.
* generated/minloc0_4_i8.c: Likewise.
* generated/minloc0_4_r10.c: Likewise.
* generated/minloc0_4_r16.c: Likewise.
* generated/minloc0_4_r4.c: Likewise.
* generated/minloc0_4_r8.c: Likewise.
* generated/minloc0_8_i16.c: Likewise.
* generated/minloc0_8_i1.c: Likewise.
* generated/minloc0_8_i2.c: Likewise.
* generated/minloc0_8_i4.c: Likewise.
* generated/minloc0_8_i8.c: Likewise.
* generated/minloc0_8_r10.c: Likewise.
* generated/minloc0_8_r16.c: Likewise.
* generated/minloc0_8_r4.c: Likewise.
* generated/minloc0_8_r8.c: Likewise.
* generated/minloc1_16_i16.c: Likewise.
* generated/minloc1_16_i1.c: Likewise.
* generated/minloc1_16_i2.c: Likewise.
* generated/minloc1_16_i4.c: Likewise.
* generated/minloc1_16_i8.c: Likewise.
* generated/minloc1_16_r10.c: Likewise.
* generated/minloc1_16_r16.c: Likewise.
* generated/minloc1_16_r4.c: Likewise.
* generated/minloc1_16_r8.c: Likewise.
* generated/minloc1_4_i16.c: Likewise.
* generated/minloc1_4_i1.c: Likewise.
* generated/minloc1_4_i2.c: Likewise.
* generated/minloc1_4_i4.c: Likewise.
* generated/minloc1_4_i8.c: Likewise.
* generated/minloc1_4_r10.c: Likewise.
* generated/minloc1_4_r16.c: Likewise.
* generated/minloc1_4_r4.c: Likewise.
* generated/minloc1_4_r8.c: Likewise.
* generated/minloc1_8_i16.c: Likewise.
* generated/minloc1_8_i1.c: Likewise.
* generated/minloc1_8_i2.c: Likewise.
* generated/minloc1_8_i4.c: Likewise.
* generated/minloc1_8_i8.c: Likewise.
* generated/minloc1_8_r10.c: Likewise.
* generated/minloc1_8_r16.c: Likewise.
* generated/minloc1_8_r4.c: Likewise.
* generated/minloc1_8_r8.c: Likewise.
* generated/minval_i16.c: Likewise.
* generated/minval_i1.c: Likewise.
* generated/minval_i2.c: Likewise.
* generated/minval_i4.c: Likewise.
* generated/minval_i8.c: Likewise.
* generated/minval_r10.c: Likewise.
* generated/minval_r16.c: Likewise.
* generated/minval_r4.c: Likewise.
* generated/minval_r8.c: Likewise.
* generated/product_c10.c: Likewise.
* generated/product_c16.c: Likewise.
* generated/product_c4.c: Likewise.
* generated/product_c8.c: Likewise.
* generated/product_i16.c: Likewise.
* generated/product_i1.c: Likewise.
* generated/product_i2.c: Likewise.
* generated/product_i4.c: Likewise.
* generated/product_i8.c: Likewise.
* generated/product_r10.c: Likewise.
* generated/product_r16.c: Likewise.
* generated/product_r4.c: Likewise.
* generated/product_r8.c: Likewise.
* generated/sum_c10.c: Likewise.
* generated/sum_c16.c: Likewise.
* generated/sum_c4.c: Likewise.
* generated/sum_c8.c: Likewise.
* generated/sum_i16.c: Likewise.
* generated/sum_i1.c: Likewise.
* generated/sum_i2.c: Likewise.
* generated/sum_i4.c: Likewise.
* generated/sum_i8.c: Likewise.
* generated/sum_r10.c: Likewise.
* generated/sum_r16.c: Likewise.
* generated/sum_r4.c: Likewise.
* generated/sum_r8.c: Likewise.

* gfortran.dg/maxlocval_2.f90: New test.
* gfortran.dg/maxlocval_3.f90: New test.
* gfortran.dg/maxlocval_4.f90: New test.
* gfortran.dg/minlocval_1.f90: New test.
* gfortran.dg/minlocval_2.f90: New test.
* gfortran.dg/minlocval_3.f90: New test.
* gfortran.dg/minlocval_4.f90: New test.

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

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

        * config/i386/mingw-w64.h (STANDARD_INCLUDE_DIR): Remove and
        use default set in mingw32.h header.
        * config/i386/mingw32.h (STANDARD_INCLUDE_DIR): Use for 32-bit and
        64-bit /mingw/include path.
        (STANDARD_STARTFILE_PREFIX_1): Use for 32-bit and 64-bit /mingw/lib
        path.

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

PR rtl-optimization/40209
* loop-iv.c (iv_analysis_loop_init): Call df_note_add_problem.

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

Daily bump.

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

* gcc.dg/dll-4.c: Allow foo1 and foo2 in either order in
scan-assembler.

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

* config/i386/i386.c: Use ASM_LONG instead of .long.  Concatenate
ASM_LONG, LPREFIX, MCOUNT_NAME and PROFILE_COUNT_REGISTER strings
with the rest of string where appropriate.  Use fputs or putc
instead of fprintf where appropriate.

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

* be.po, ca.po, da.po, de.po, el.po, es.po, fr.po, id.po, ja.po,
nl.po, sv.po, tr.po, uk,po, vi.po, zh_CN.po, zh_TW.po: Update.

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

* be.po, da.po, de.po, el.po, es.po, fi.po, fr.po, id.po, ja.po,
nl.po, ru.po, sr.po, sv.po, tr.po, zh_CN.po, zh_TW.po: Update.

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

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

* include/c_std/cmath (abs(_Tp)): Add.
* include/c_global/cmath (abs(_Tp)): Likewise.
* testsuite/26_numerics/headers/cmath/overloads.cc: Extend.

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

PR fortran/40839
* io.c (gfc_resolve_dt): Add LOC argument.  Fail if
dt->io_unit is NULL.  Return FAILURE after issuing error about
negative UNIT number.
(match_io_element): Don't segfault if current_dt->io_unit is NULL.
* gfortran.h (gfc_resolve_dt): Adjust prototype.
* resolve.c (resolve_code): Adjust caller.

* gfortran.dg/pr40839.f90: New test.

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

Fix PR #.

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

Commit patch #3 of 4 for Power7 VSX support

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* exp_ch6.adb: Minor reformatting

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* scos.ads: Minor reformatting.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* g-sse.ads: Simplify comment.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Update comments.

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

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

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

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

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

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

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

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

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

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

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

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

* gnat_ugn.texi: Update doc on Misnamed_Identifiers rule.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Minor reformatting.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* ali.adb: Minor comment update

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

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

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

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

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

* gnat_ugn.texi: Wordsmithing.

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

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

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

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

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

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

Daily bump.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

PR fortran/40726
Change attribution to Richi.

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

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

ChangeLog:

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

testsuite/ChangeLog:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* g-socket.ads: Minor reformatting

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

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

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

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

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

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

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

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

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

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

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

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

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

* gnat_ugn.texi: Minor reformatting

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

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

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

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

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

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

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

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

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

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

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

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

* exp_tss.ads, sem_eval.adb: Minor reformatting

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* sem_util.adb, sem_ch10.adb: Minor reformatting

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

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

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

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

* sem_aggr.adb: Improve error message.

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

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

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

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

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

* gnat1drv.adb: Fix spelling error.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Daily bump.

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

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

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

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

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

Add ccoutant to previous dwarf4 entry.

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

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

testsuite/ChangeLog:

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

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

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

testsuite/ChangeLog:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

* doc/html: Regenerate.

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

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

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

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

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

* doc/html: Regenerate.

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

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

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

Daily bump.

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

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

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

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

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

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

* doc/html: Regenerate.

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

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

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

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

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

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

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

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

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

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

* doc/html: Regenerate.

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