2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37076
        * arith.c (gfc_arith_concat): Fix concat of kind=4 strings.

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37076
        * gfortran.dg/widechar_9.f90: New.

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

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37025
        * target-memory.c (gfc_interpret_character): Support
        kind=4 characters.

2008-08-23  Tobias Burnus  <burnus@net-b.de>

        PR fortran/37025
        * gfortran.dg/widechar_8.f90: New.

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

PR tree-optimization/37161
* tree-vectorizer.h (vect_get_smallest_scalar_type): Declare.
* tree-vect-analyze.c (vect_get_smallest_scalar_type): New function.
(vect_determine_vectorization_factor): Move the scalar type
retrieval to vect_get_smallest_scalar_type.
(vect_build_slp_tree): Call vect_get_smallest_scalar_type to get
scalar type. Remove redundant computation.
* tree-vect-transform.c (vect_get_constant_vectors): Add argument.
(vect_get_slp_defs): Take the type of RHS into account if
necessary by calling vect_get_smallest_scalar_type. Call
vect_get_constant_vectors with additional argument.

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

2008-08-23  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR 35648
* doc/invoke.texi (Wwrite-strings): Clarify description.

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

2008-08-23  Thomas Koenig  <tkoenig@gcc.gnu.org>

* MAINTAINERS:  Use correct Umlaut for last name.

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

2008-08-23  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/lib/libstdc++.exp (check_v3_target_atomic_builtins): Add.
* testsuite/lib/dg-options.exp (dg-require-atomic-builtins): Likewise.
* testsuite/18_support/exception_ptr/current_exception.cc: Use it.
        * testsuite/18_support/exception_ptr/rethrow_exception.cc: Likewise.
        * testsuite/18_support/exception_ptr/lifespan.cc: Likewise.

2008-08-23  Sebastian Redl <sebastian.redl@getdesigned.at>

Add (again) exception propagation support as per N2179.  Feature is
available only when _GLIBCXX_ATOMIC_BUILTINS_4 is defined.
* libsupc++/exception_ptr.h (exception_ptr, current_exception,
        copy_exception, rethrow_exception): New file, implement exception
propagation.
        * libsupc++/eh_ptr.cc (exception_ptr, current_exception,
        rethrow_exception, __gxx_dependent_exception_cleanup): Likewise.
        * libsupc++/unwind-cxx.h (__cxa_exception): Add reference count.
(__cxa_dependent_exception, __cxa_allocate_dependent_exception,
        __cxa_free_dependent_exception, __get_dependent_exception_from_ue,
        __GXX_INIT_DEPENDENT_EXCEPTION_CLASS, __is_dependent_exception,
        __gxx_dependent_exception_class, __get_object_from_ue,
        __get_object_from_ambiguous_exception): Add.
        (__GXX_INIT_EXCEPTION_CLASS, __gxx_exception_class): Rename.
        (__is_gxx_exception_class): Handle dependent exceptions.
        * libsupc++/eh_arm.cc (__cxa_type_match): Likewise.
        * libsupc++/eh_call.cc (__cxa_call_unexpected): Likewise.
        * libsupc++/eh_personality.cc (__gxx_personality_*): Likewise.
        * libsupc++/eh_type.cc (__cxa_current_exception_type): Likewise.
        * libsupc++/eh_alloc.cc (__cxa_allocate_dependent_exception,
        __cxa_free_dependent_exception): Add.
        * libsupc++/eh_throw.cc (__gxx_exception_cleanup): Handle reference
        counting.
        * libsupc++/exception: Conditionally include exception_ptr.h.
        * libsupc++/Makefile.am: Register new files.
        * libsupc++/Makefile.in: Regenerate.
        * config/abi/pre/gnu.ver: Add new symbols.
        * testsuite/18_support/exception_ptr/current_exception.cc: Test the
        core functionality of current_exception().
        * testsuite/18_support/exception_ptr/rethrow_exception.cc: Test the
        core functionality of rethrow_exception().
        * testsuite/18_support/exception_ptr/lifespan.cc: Test the life span of
        exception objects during exception propagation.

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

PR tree-optimization/37174
* tree-vect-analyze.c (vect_get_and_check_slp_defs): Check that the
def stmt is a part of the loop before accessing its stmt_vec_info.

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

* MAINTAINERS: Move myself from Reviewers to Write after Approval.

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

Daily bump.

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

PR target/11259
* config/avr/avr.md (UNSPEC_SWAP): New constants.
(*swap): New insn pattern.
(*ashlqi3): Rename from ashlqi3 insn pattern.
(ashlqi3): New expanders.
(*lshrqi3): Rename from lshrqi3 insn pattern.
(lshrqi3): New expanders.
(ashlqi3_const4, ashlqi3_const5, ashlqi3_const6, lshrqi3_const4,
lshrqi3_const5, lshrqi3_const6): New splitters.
(andi, ashlqi3_l_const4, ashlqi3_l_const5, ashlqi3_l_const6,
lshrqi3_l_const4, lshrqi3_l_const5, lshrqi3_l_const6): Define
peephole2 patterns.

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

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/37078
* tree-vrp.c (extract_range_from_unary_expr): Avoid generating
[+INF, +INF] ranges.

* gcc.c-torture/compile/pr37078.c: New testcase.

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

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/37143
* tree-vect-transform.c (vect_create_cond_for_align_checks): Build
a conversion statement instead of a copy.

* g++.dg/vect/pr37143.C: New testcase.

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

2008-08-22  Daniel Kraft  <d@domob.eu>

PR fortran/30239
* symbol.c (gfc_add_type): Warn on -Wsurprising if a function-result
type is re-declared but neither -pedantic nor -std=f* is given and so
this is no error.
* invoke.texi (-Wsurprising): Document this new behaviour.

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

2008-08-22  Paolo Carlini  <paolo.carlini@oracle.com>

Revert again the N2179 patch.

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

* gcc.dg/tree-ssa/pr21658.c (dg-options): Use -fdump-tree-ccp1-details.
(dg-final): Use cleanup-tree-dump "ccp1".
* gcc.dg/tree-prof/ic-misattribution-1a.c: Cleanup tree_profile.
* gcc.dg/ipa/iinline-1.c: Cleanup ipa dump, not tree dump.
* g++.dg/ipa/iinline-1.C: Ditto.
* gfortran.dg/intrinsic_std_1.f90: Cleanup "original" tree dump.
* gfortran.dg/char_eoshift_5.f90: Ditto.
* gfortran.dg/index_2.f90: Ditto.

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

Fix PR#.

2008-08-22  Andrew Haley  <aph@redhat.com>

        PR libgcj/8995:

        * interpret-run.cc (REWRITE_INSN): Null this macro.

        * include/jvm.h (class _Jv_Linker): Declare resolve_mutex, init.
        (read_cpool_entry, write_cpool_entry): New functions.
        * link.cc (_Jv_Linker::resolve_mutex): new.
        (_Jv_Linker::init): New function.
        (_Jv_Linker::resolve_pool_entry): Use {read,write}_cpool_entry
        to ensure atomic access to constant pool entries.

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

2008-08-22  Andrew Haley  <aph@redhat.com>

        PR libgcj/8895:

        * interpret-run.cc (REWRITE_INSN): Null this macro.

        * include/jvm.h (class _Jv_Linker): Declare resolve_mutex, init.
        (read_cpool_entry, write_cpool_entry): New functions.
        * link.cc (_Jv_Linker::resolve_mutex): new.
        (_Jv_Linker::init): New function.
        (_Jv_Linker::resolve_pool_entry): Use {read,write}_cpool_entry
        to ensure atomic access to constant pool entries.

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

Minor code fix to avoid warning.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-wwdcha.adb: Minor code reorganization
Remove dead code

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-utf_32.adb (Get_Category): Fix obvious typo

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-sopco4.adb: Minor code fix to avoid warning

* s-sopco5.adb: Minor code fix to avoid warning

* s-strops.adb: Minor code fix to avoid warning

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

2008-08-22  Arnaud Charlet  <charlet@adacore.com>

* lib-xref.ads: Fix typo in subprogram reference definition.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* s-sopco3.adb: Minor code fix to avoid warning

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* checks.adb (Determine_Range): Deal with values that might be invalid

* opt.adb, opt.ads (Assume_No_Invalid_Values[_Config]): New configuration
switches.

* par-prag.adb: Dummy entry for pragma Assume_No_Invalid_Values

* sem_prag.adb: Implement pragma Assume_No_Default_Values

* snames.adb, snames.ads, snames.h:
Add entries for pragma Assume_No_Invalid_Values

* switch-c.adb: Add processing for -gnatB switch

* usage.adb: Add entry for flag -gnatB (no bad invalid values)

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

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Statements): Transfer to the body of the
init procedure all the expanded code associated with the spec of
task types and protected types.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* opt.ads: Minor code reorganization (put entries in alpha order)

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

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* sem_util.adb (Has_Preelaborable_Initialization): Revise checking of
private types to allow for types derived from a private type with
preelaborable initialization, but return False for a private extension
(unless it has the pragma).

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

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb (Static_Array_Aggregate): Call Analyze_And_Resolve on the
component expression copies rather than directly setting Etype and
Is_Static_Expression.

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

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb: Revert previous patch.

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

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_ch3.adb (Build_Init_Statements): Transfer to the body of the
init procedure all the expanded code associated with the spec of
task types and protected types.

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

2008-08-22  Pascal Obry  <obry@adacore.com>

* initialize.c, adaint.c: Use Lock_Task and Unlock_Task for non-blocking
spawn.

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

    PR target/37184
        * config/i386/i386.c (ix86_match_ccmode): Handle CCAmode,
        CCCmode, CCOmode and CCSmode destination modes.

        PR target/37191
        * config/i386/mmx.md (*vec_extractv2sf_0): Avoid combining registers
        from different units in a single alternative.
        (*vec_extractv2sf_1): Ditto.
        (*vec_extractv2si_0): Ditto.
        (*vec_extractv2si_1): Ditto.
        * config/i386/sse.md (sse2_storehpd): Ditto.
        (sse2_storelpd): Ditto.
        (sse2_loadhpd): Ditto.
        (sse2_loadlpd): Ditto.

        PR target/37197
        * config/i386/i386.md (clzsi2_abm): Fix operand 1 constraints.
        (popcountsi2): Ditto.
        (clzdi2_abm): Ditto.
        (popcountdi2): Ditto.
        (clzhi2_abm): Ditto.
        (popcounthi2): Ditto.

testsuite/ChangeLog:

        PR target/37184
        * gcc.target/i386/pr37184.c: New test.

        PR target/37191
        * gcc.target/i386/pr37191.c: New test.

        PR target/37197
        * gcc.target/i386/pr37197.c: New test.

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

2008-08-22  Geert Bosch  <bosch@adacore.com>

* gcc-interface/trans.c: Define FP_ARITH_MAY_WIDEN
(convert_with_check): Only use longest_float_type if FP_ARITH_MAY_WIDEN is 0

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* checks.adb:
(In_Subrange_Of): New calling sequence
(Determine_Range): Prepare for new processing using base type

* exp_ch4.adb:
(Compile_Time_Compare): Use new calling sequence

* exp_ch5.adb:
(Compile_Time_Compare): Use new calling sequence

* sem_eval.adb:
(Compile_Time_Compare): New calling sequence allows dealing with
invalid values.
(In_Subrange_Of): Ditto

* sem_eval.ads:
(Compile_Time_Compare): New calling sequence allows dealing with
invalid values.
(In_Subrange_Of): Ditto

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

2008-08-22  Pascal Obry  <obry@adacore.com>

* adaint.c: Fix possible race condition on win32_wait().

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

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* exp_tss.adb:
(Base_Init_Proc): For a protected subtype, use the base type of the
corresponding record to locate the propoer initialization procedure.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* sem_ch5.adb (One_Bound): Fix latent bug involving secondary stack

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

2008-08-22  Vincent Celier  <celier@adacore.com>

* prj.ads: Minor comment update

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_dist.adb: Minor reformatting

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch7.ads: Put routines in proper alpha order

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch7.adb: Minor reformatting

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_ch6.adb: Minor reformatting

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

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch6.ads: Remove pragma Precondition, since it breaks some builds.

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

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): Do not emit warning message about redundant
use_type_clause in an instance.

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

2008-08-22  Doug Rupp  <rupp@adacore.com>

* bindgen.adb [VMS] (Gen_Adainit_Ada, Gen_Adainit_C): Import and call
__gnat_set_features.

* init.c
(__gnat_set_features): New function.
(__gnat_features_set): New tracking variable.
(__gl_no_malloc_64): New feature global variable

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

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch5.adb, exp_ch7.adb, exp_ch7.ads, exp_util.adb, freeze.adb,
exp_ch4.adb, exp_ch6.ads, exp_ch6.adb, sem_ch6.adb, exp_aggr.adb,
exp_intr.adb, exp_ch3.adb: Rename:
Exp_Ch7.Controlled_Type => Needs_Finalization
Exp_Ch7.CW_Or_Controlled_Type => CW_Or_Has_Controlled_Part
Exp_Ch5.Expand_N_Extended_Return_Statement.Controlled_Type =>
 Has_Controlled_Parts
(Has_Some_Controlled_Component): Fix bug in array case.

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

2008-08-22  Richard Guenther  <rguenther@suse.de>

PR middle-end/36548
PR middle-end/37125
* fold-const.c (extract_muldiv_1): Optimize (X * C1) % C2 only
if the multiplication does not overflow.

* gcc.c-torture/execute/pr37125.c: New testcase.

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

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch6.ads: Minor comment fix

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

2008-08-22  Bob Duff  <duff@adacore.com>

* exp_ch7.adb: Minor comment fix

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

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_Simple_Function_Return): If secondary stack is
involved and the return type is class-wide, use the type of the expression
for the generated access type. Suppress useless discriminant checks on the
allocator.

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

2008-08-22  Eric Botcazou  <ebotcazou@adacore.com>

* init.c: adjust EH support code on Alpha/Tru64 as well.

* raise-gcc.c: Add back a couple of comments.

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

2008-08-22  Kevin Pouget  <pouget@adacore.com>

* s-shasto.ads, s-shasto.adb: Move Shared_Var_ROpen, Shared_Var_WOpen and
Shared_Var_Close procedure specifications from package spec to package body.

* rtsfind.ads: Remove RE_Shared_Var_Close, RE_Shared_Var_ROpen,
RE_Shared_Var_WOpen entries.

* exp_dist.adb: Update RE_Any_Content_Ptr to RE_Any_Container_Ptr in
Build_To_Any_Call, Build_TypeCode_Call and Build_From_Any_Call procedures.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb: Minor reformatting

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* exp_attr.adb:
(Expand_N_Attribute_Reference): No validity checking on OUT parameter of
Read or Input attribute.

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

2008-08-22  Gary Dismukes  <dismukes@adacore.com>

* exp_aggr.adb (Static_Array_Aggregate): When a static array aggregate
with a range is transformed into a positional aggregate, any copied
component literals should be marked Is_Static_Expression.

* sem_eval.adb (Compile_Time_Known_Value): Don't treat null literals as
not being known at at compile time when Configurable_Run_Time_Mode is
true.

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

2008-08-22  Eric Botcazou  <ebotcazou@adacore.com>

* init.c (__gnat_adjust_context_for_raise): Delete for AIX, HP-UX,
Solaris, FreeBSD, VxWorks and PowerPC/Linux.  For x86{-64}/Linux,
do not adjust the PC anymore.
(__gnat_error_handler): Do not call __gnat_adjust_context_for_raise
on AIX, HP-UX, Solaris, FreeBSD and VxWorks.

* raise-gcc.c (get_call_site_action_for): Use _Unwind_GetIPInfo
instead of _Unwind_GetIP.

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

2008-08-22  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Change the description of gnatcheck default rule
settings.

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

2008-08-22  Thomas Quinot  <quinot@adacore.com>

* sem_ch8.adb: Minor reformatting
Minor code reorganization (introduce subprogram to factor duplicated
code).

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

2008-08-22  Daniel Kraft  <d@domob.eu>

* gfortran.h (in_prefix): Removed from this header.
* match.h (gfc_matching_prefix): Moved and renamed from `in_prefix'.
* decl.c (in_prefix): Removed from here.
(gfc_match_prefix): Use new name of `gfc_matching_prefix'.
* symbol.c (gfc_check_symbol_typed): Ditto.
* expr.c (check_typed_ns): New helper variable.
(expr_check_typed_help): New helper method.
(gfc_expr_check_typed): Rewrote to use gfc_traverse_expr to do the
work, fixing a minor problem.
* match.c (gfc_matching_prefix): New variable.

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

2008-08-22  Javier Miranda  <miranda@adacore.com>

* exp_attr.adb (Expand_N_Attribute_Reference): In case of access
attributes add missing support to handle designated types that come
from the limited view.

* exp_disp.adb (Expand_Interface_Conversion): Remove wrong assertion.

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

2008-08-22  Sergey Rybin  <rybin@adacore.com>

* vms_data.ads: Add entry for new gnatcheck -mNNN option

* gnat_ugn.texi: Add description for gnatcheck option '-m'

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

2008-08-22  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Use_One_Type): when checking which of two use_type
clauses in related units is redundant, if one of the units is a package
instantiation, use its instance_spec to determine which unit is the
ancestor of the other.

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

2008-08-22  Vincent Celier  <celier@adacore.com>

* make.adb (Check.File_Not_A_Source_Of): New Boolean function
(Check): Check if the file names registered in the ALI file for the
spec, the body and each of the subunits are the ones expected.

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

2008-08-22  Robert Dewar  <dewar@adacore.com>

* g-catiio.adb: Code cleanup.

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

2008-08-22  Sergey Rybin  <rybin@adacore.com>

* gnat_ugn.texi: Update the gnatcheck subsection for metric rules
acoording to the latest changes in the metric rule interface

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

* c-ppoutput.c (init_pp_output): Initialize src_line to 1.

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

2008-08-22  Daniel Kraft  <d@domob.eu>

PR fortran/32095
PR fortran/34228
* gfortran.h (in_prefix): New global.
(gfc_check_symbol_typed), (gfc_check_expr_typed): New methods.
* array.c (match_array_element_spec): Check that bounds-expressions
don't have symbols not-yet-typed in them.
* decl.c (var_element): Check that variable used is already typed.
(char_len_param_value): Check that expression does not contain
not-yet-typed symbols.
(in_prefix): New global.
(gfc_match_prefix): Record using `in_prefix' if we're at the moment
parsing a prefix or not.
* expr.c (gfc_expr_check_typed): New method.
* parse.c (verify_st_order): New argument to disable error output.
(check_function_result_typed): New helper method.
(parse_spec): Check that the function-result declaration, if given in
a prefix, contains no not-yet-typed symbols when the IMPLICIT rules are
parsed.
* symbol.c (gfc_check_symbol_typed): Check that a symbol already has
a type associated to it, otherwise use the IMPLICIT rules or signal
an error.

2008-08-22  Daniel Kraft  <d@domob.eu>

PR fortran/32095
PR fortran/34228
* gfortran.dg/used_before_typed_1.f90: New test.
* gfortran.dg/used_before_typed_2.f90: New test.
* gfortran.dg/used_before_typed_3.f90: New test.
* gfortran.dg/array_constructor_26.f03: Add -std=gnu to not enable
legacy-behaviour for the new check.
* gfortran.dg/array_constructor_27.f03: Ditto.
* gfortran.dg/blockdata_4.f90: Ditto.
* gfortran.dg/bound_2.f90: Reordered declarations to satisfy the check.
* gfortran.dg/result_in_spec_1.f90: Ditto.
* gfortran.dg/argument_checking_7.f90: Adapted expected error messages.

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

Daily bump.

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

    * configure.ac (HAVE_GAS_CFI_PERSONALITY_DIRECTIVE): Remove
        spurrious comma from test.
        * configure: Rebuild.

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

2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR 30457
* builtins.c (fold_builtin_next_arg): Add warning about undefined
behaviour.
testsuite/
* gcc.dg/pr30457.c: New.

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

    * c-tree.h (grokfield): New argument.
        * c-decl.c (grokfield): Handle new location argument.
        * c-parser.c (c_parser_struct_declaration): Pass location to
        grokfield.
testsuite/
        * gcc.dg/20011008-1.c: Test column.
        * gcc.dg/20080820.c: New.
        * gcc.dg/fltconst-1.c: Test column.
        * gcc.dg/cpp/cpp.exp: Add -fno-show-column.
        * gcc.dg/cpp/trad/trad.exp: Same.
        * lib/gcc.exp (gcc_target_compile): Remove -fno-show-column.
        * lib/gcc-dg.exp (process-message): Handle columns.

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

2008-08-21  Sebastian Redl <sebastian.redl@getdesigned.at>

* libsupc++/eh_ptr.cc (__gxx_dependent_exception_cleanup): Call
__cxa_free_dependent_exception.

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

* g++.dg/opt/anchor1.C (foo): Return the return value of
ycf->ascent.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

* tree-ssa-ccp.c (ccp_fold): Fold VIEW_CONVERT_EXPRs of constants.

* gcc.dg/vect/vect-fold-1.c: Scan ccp1 dump instead of dom1.

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

2008-08-21  David Daney  <ddaney@avtrex.com>

* class.c (make_class_data): Don't add field_index when
flag_reduced_reflection set.

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

Fix ChangeLog typo

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

* testsuite/libgomp.exp (libgomp_init): Only set things that
depend on blddir if blddir exists.
(libgomp_target_compile): Likewise.
* testsuite/libgomp.c++/c++.exp: Likewise.
* testsuite/libgomp.fortran/fortran.exp: Likewise.

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

* cgraph.c (first_cgraph_function_insertion_hook): New variable.
(cgraph_add_function_insertion_hook, cgraph_remove_function_insertion_hook,
cgraph_call_function_insertion_hooks): New functions.
* cgraph.h (cgraph_add_function_insertion_hook, cgraph_remove_function_insertion_hook,
cgraph_call_function_insertion_hooks): Declare.
* ipa-reference.c (function_insertion_hook_holder): New variable.
(check_operand, look_for_address_of): When checking late, do not care
about module bitmaps.
(add_new_function): New function.
(generate_summary): Register hooks; zero module bitmaps.
(propagate): Unregister hooks.
* ipa-pure-const.c (function_insertion_hook_holder): New variable.
(add_new_function): New function.
(generate_summary): Register hook.
(propagate): Remove hook.

* ipa-cp.c (ipcp_need_redirect_p): Fix to not be constant 0.

* tree-pass.h (pass_ipa_cp): Make ipa_opt_pass.
* ipa-cp.c (ipcp_update_cloned_node): New function.
(build_const_val): Handle functions correctly; bring type logic
into sync with tree-inline.c
(ipcp_init_stage):  Take care of computing stuff needed by
indirect inlining; update clones.
(ipcp_generate_summary): Break out of ipcp_driver.
(ipcp_driver): Do only execution and transformation.
(pass_ipa_cp): Make IPA_PASS.
* tree-ssa-ccp.c (fold_stmt_r): Check type before trying to fold
offset to address.
* ipa-inline.c (inline_indirect_intraprocedural_analysis): When doing
ipcp, some info is already available.
* ipa-prop.c (ipa_count_arguments): Grow edge lists as needed.
* tree-inline.c (remap_ssa_name): Unshare expression.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

* tree-ssa-pre.c (insert_into_preds_of_block): Before inserting
a PHI ask VN if it is already available.
* tree-ssa-sccvn.h (vn_phi_lookup): Declare.
* tree-ssa-sccvn.c (vn_phi_lookup): Export.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

PR middle-end/36817
* tree-chrec.c (chrec_apply): Always call chrec_fold_plus which
makes sure to produce a result of the correct type.

* gcc.c-torture/compile/pr36817.c: New testcase.

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

Backport from LTO branch:

2008-05-05  Kenneth Zadeck <zadeck@naturalbridge.com>
    Jan Hubicka  <jh@suse.cz>

* ipa-pure-const.c
(init_state, finish_state, set_function_state, generate_summary):
New functions.
(scan_stmt): Renamed from scan_function.  Changed to keep state in
local static vars rather than cgraph aux field.
(propagate): Renamed from static_execute. Changed to keep state in
local static vars rather than cgraph aux field.
(pass_ipa_pure_const): Changed from SIMPLE_IPA_PASS to IPA_PASS.
* tree-pass.h (pass_ipa_pure_const): Turn into IPA_PASS.

2008-07-15  Kenneth Zadeck <zadeck@naturalbridge.com>

* tree-pass.h (pass_ipa_reference): Make into ipa_opt_pass.
* ipa-reference.c (init_function_info, generate_summary,
propagate): New functions.
(analyze_function):  Call init_function_info.
(static_execute): Stripped into generate_summary and propagate.
(pass_ipa_reference): Made into ipa_opt_pass.

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

2008-08-21  Aaron W. LaFramboise  <aaronavay62@aaronwl.com>

* Makefile.am: Add -no-undefined
* Makefile.in: Regenerate.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

* gcc.dg/tree-ssa/ssa-fre-13.c: Remove XFAIL.
* gcc.dg/tree-ssa/ssa-fre-14.c: Likewise.
* gcc.dg/tree-ssa/ssa-fre-17.c: Likewise.
* gcc.dg/tree-ssa/data-dep-1.c: Likewise.
* gcc.dg/tree-ssa/ltrans-3.c: Likewise.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/37181
* tree-vrp.c (extract_range_from_binary_expr): Check for NULL
folding result.
(extract_range_from_unary_expr): Likewise.

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

2008-08-21  Richard Guenther  <rguenther@suse.de>

PR testsuite/37182
* gcc.dg/pr17506.c: Remove duplicate testcase.
* gcc.dg/uninit-15.c: Adjust to allow for both correct
behaviors, one xfailed.

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

2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

* diagnostic.c (pedwarn_at): Rename as pedwarn.
(pedwarn): Delete.
* toplev.h (pedwarn_at): Likewise.
* builtins.c: Update all calls to pedwarn.
* c-lex.c: Likewise.
* toplev.c: Likewise.
* c-tree.h: Likewise.
* c-decl.c: Likewise.
* c-errors.c: Likewise.
* c-typeck.c: Likewise.
* c-common.c: Likewise.
* c-parser.c: Likewise.
cp/
* typeck.c: Update all calls to pedwarn.
* decl.c: Likewise.
* call.c: Likewise.
* error.c: Likewise.
* pt.c: Likewise.
* name-lookup.c: Likewise.
* parser.c: Likewise.
fortran/
* f95-lang.c: Update all calls to pedwarn.

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

2008-08-20  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/char_traits.h (char_traits<char16_t>::
assign(char_type*, size_t, char_type), char_traits<char32_t>::
assign(char_type*, size_t, char_type)): For now, just open-code.

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

PR target/31070
* config/sparc/sparc.c (function_arg_slotno): Handle structure
with MODE_VECTOR_INT mode.

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

Daily bump.

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

2008-08-21  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR middle-end/179
* tree-ssa.c (warn_uninit): Do not warn for variables that can be
initialized outside the current module.
(warn_uninitialized_var): Ignore left-hand side when walking the
trees. Ignore address expressions. Examine VUSE operands in gimple
statements with a variable declaration on the right-hand side.
testsuite/
* gcc.dg/uninit-6.c (make_something): Remove XFAIL.
* gcc.dg/uninit-6-O0.c (make_something): Remove XFAIL.
* gcc.dg/uninit-B.c (baz): Remove XFAIL.
* gcc.dg/uninit-B-2.c: New.
* gcc.dg/uninit-B-O0-2.c: New.
* gcc.dg/uninit-pr19430-O0.c: New.
* gcc.dg/uninit-pr19430.c: New.
* gcc.dg/uninit-pr19430-2.c: New.

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

PR bootstrap/37155
Fixed by revision 139338.

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

2008-08-20  Paolo Carlini  <paolo.carlini@oracle.com>

* Fix last ChangeLog entry.

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

2008-08-20  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/33979 (partial)
* include/bits/postypes.h (u16streampos, u32streampos): Add.
* include/bits/char_traits.h (char_traits<char16_t>,
char_traits<char32_t>): Add.
* include/bits/stringfwd.h (u16string, u32string): Add.
* include/ext/vstring_fwd.h: Add typedefs for char16_t/char32_t.
* testsuite/21_strings/char_traits/requirements/char32_t/typedefs.cc:
New.
* testsuite/21_strings/char_traits/requirements/
explicit_instantiation/short/1.cc: Likewise.
* testsuite/21_strings/char_traits/requirements/
explicit_instantiation/char32_t/1.cc: Likewise.
* testsuite/21_strings/char_traits/requirements/
explicit_instantiation/wchar_t/1.cc: Likewise.
* testsuite/21_strings/char_traits/requirements/
explicit_instantiation/char16_t/1.cc: Likewise.
* testsuite/21_strings/char_traits/requirements/
explicit_instantiation/char/1.cc: Likewise.
* testsuite/21_strings/char_traits/requirements/char16_t/typedefs.cc:
Likewise.
* testsuite/21_strings/basic_string/requirements/
explicit_instantiation/char32_t/1.cc: Likewise.
* testsuite/21_strings/basic_string/requirements/
explicit_instantiation/wchar_t/1.cc: Likewise.
* testsuite/21_strings/basic_string/requirements/
explicit_instantiation/char16_t/1.cc: Likewise.
* testsuite/21_strings/basic_string/requirements/
explicit_instantiation/char/1.cc: Likewise.
* testsuite/21_strings/headers/string/types_std_c++0x.cc: Likewise.
* testsuite/ext/vstring/requirements/explicit_instantiation/
char32_t/1.cc: Likewise.
* testsuite/ext/vstring/requirements/explicit_instantiation/
char16_t/1.cc: Likewise.

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

gcc/
* rtlanal.c (subreg_offset_representable_p): Revert last change.

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

2008-08-20  Manuel Lopez-Ibanez  <manu@gcc.gnu.org>

PR c++/35158
cp/
* parser.c (cp_parser_omp_for_loop): Handle parenthesized
initializers.
testsuite/
* g++.dg/gomp/pr35158.C: New.

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

2008-08-20  Eric Botcazou  <ebotcazou@adacore.com>

* raise-gcc.c: Fix formatting nits.

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

2008-08-20  Emmanuel Briot  <briot@adacore.com>

* g-catiio.ads, g-catiio.adb:
(Value): Avoid an unnecessary system call to Clock in most cases.
This call is only needed when only the time is provided in the string,
and ignored in all other cases. This is more efficient.

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

2008-08-20  Jose Ruiz  <ruiz@adacore.com>

* errno.c (__get_errno, __set_errno for MaRTE): Transform then into
weak symbols so we use the version provided by MaRTE when available.

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

2008-08-20  Vincent Celier  <celier@adacore.com>

* ali.adb:
(Scan_ALI): Use Name_Find, not Name_Enter to get the name of a subunit,
as the name may already have been entered in the table by the Project
Manager.

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

2008-08-20  Vincent Celier  <celier@adacore.com>

* make.adb (Gnatmake): Remove extra space in version line

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