2007-11-19  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/34099
* tree-ssa-ccp.c (likely_value): Exclude all but PLUS_EXPR,
MINUS_EXPR and POINTER_PLUS_EXPR from handling as UNDEFINED
if only one operand is undefined.

* gcc.c-torture/execute/pr34099-2.c: New testcase.

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

2007-11-19  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/34099
* tree-ssa-ccp.c (likely_value): Exclude all but PLUS_EXPR,
MINUS_EXPR and POINTER_PLUS_EXPR from handling as UNDEFINED
if only one operand is undefined.

* gcc.c-torture/execute/pr34099-2.c: New testcase.

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

2007-11-19  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34079
        * decl.c (gfc_match_entry): Support BIND(C).
        (gfc_match_subroutine): Fix comment typo.

2007-11-19  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34079
        * gfortran.dg/bind_c_usage_10_c.c: New.
        * gfortran.dg/bind_c_usage_10.f03: New.

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

PR tree-optimization/34036
* doc/invoke.texi (Optimize Options): Refactor documentation
of -ffast-math.

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

PR tree-optimization/34036
* opts.c (set_fast_math_flags): Do not set flags in common
with set_unsafe_math_optimizations_flags, invoke it directly.
(set_unsafe_math_optimizations_flags): Unset flag_trapping_math
and flag_signed_zeros.
* toplev.c (process_options): Force flag_associative_math to 0 and
warn, if it is set and either flag_trapping_math or flag_signed_zeros
is set too.
* doc/invoke.texi (Optimize Options): Document the new behavior
of -funsafe-math-optimizations, that -fassociative-math requires
both -fno-signed-zeros and -fno-trapping-math and make it clear
that -fno-trapping-math requires -fno-signaling-nans.

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

Daily bump.

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

PR c++/30988
semantics.c (finish_call_expr): Set current_function_returns_abnormally
if fn is noreturn FUNCTION_DECL or OVERLOAD with all noreturn
functions.

* g++.dg/warn/noreturn-4.C: New test.
* g++.dg/warn/noreturn-5.C: New test.
* g++.dg/warn/noreturn-6.C: New test.
* g++.dg/warn/noreturn-7.C: New test.

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

2007-11-18  Thomas Koenig  <tkoenig@gcc.gnu.org>

PR fortran/32770
* gfortran.fortran-torture/execute/equiv_5.f:  Set kind on
integers so tests works with -fdefault-integer-8.
* gfortran.fortran-torture/execute/elemental.f90:  Use default
integers so test passes with -fdefault-integer-8.
* gfortran.fortran-torture/execute/der_io.f90:  Increase
buffer length so test passes with -fdefault-integer-8.
* gfortran.dg/bounds_check_8.f90:  Likewise.
* gfortran.dg/arrayio_derived_1.f90:  LIkewise.
* gfortran.dg/equiv_7.f90:  Set kind so test passes
with -fdefault-integer-8.
* gfortran.dg/g77/20030326-1.f:  Set kind explicitly to
provoke overflow.

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

Add PR reference to previous entry.

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

2007-11-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33317
* gfortran.dg/optional_dim_2.f90: New test.

PR fortran/34139
* gfortran.dg/subref_array_pointer_2.f90: Update test condition.

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

2007-11-18  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

* trans-expr.c (gfc_conv_missing_dummy): Set the type of the dummy
argument to default integer if flagged to do so. Fix typo in comment.
* resolve.c (gfc_resolve_dim_arg): Whitespace cleanup.
* iresolve.c (gfc_resolve_cshift): Do not convert type, mark attribute
for converting the DIM type appropriately in trans-expr.c.
(gfc_resolve_eoshift): Likewise.
* check.c (dim_check): Remove pre-existing dead code.
(gfc_check_cshift): Enable dim_check to allow DIM as an optional.
(gfc_check_eoshift): Likewise.
* trans_intrinsic.c (gfc_conv_intrinsic_function_args): Fix whitespace.

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

PR rtl-optimization/34132
* gcse.c (try_replace_reg): Avoid rtx sharing between REG_EQUAL note
and insn.

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

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

PR middle-end/33335
* optabs.h (optab_table): Change type to struct optab from optab.
(convert_optab_table): Similarly.
Adjust all _optab macros to expand to addresses of optab_table
resp. convert_optab_table elements rather than the values of the
elements.
* optabs.c (optab_table): Change typype to struct optab from optab.
If compiled by recent GCC, initialize all the insn_code fields in
the array using designated range initializers.
(convert_optab_table): Similarly.
(convert_optab_libfunc, optab_libfunc, set_optab_libfunc,
set_conv_libfunc): Into libfunc_entry's optab field store index within
optab_table resp. convert_optab_table array instead of difference
between two separately malloced addresses.
(new_optab): Add op argument, don't return anything.  Initialize
just the insn_code field in handlers array and only when needed.
(init_optab, init_optabv): Add op argument, don't return anything.
Adjust new_optab caller.
(new_convert_optab): Removed.
(init_convert_optab): Add op argument, don't return anything, don't
call new_convert_optab.  If needed, initialize insn_code field in
handlers array.
(init_optabs): Adjust init_optab, init_optabv and init_convert_optab
callers.
(debug_optab_libfuncs): Adjust uses of optab_table and
convert_optab_table arrays.

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

2007-11-18  Paolo Carlini  <pcarlini@suse.de>

* include/tr1/type_traits (_DEFINE_SPEC_BODY): Remove.
(_DEFINE_SPEC_0_HELPER): Rename to _DEFINE_SPEC_HELPER.
(_DEFINE_SPEC): Simplify; adjust uses.

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

2007-11-18  Paolo Carlini  <pcarlini@suse.de>

* include/tr1_impl/type_traits (is_reference, is_function,
remove_cv, is_member_pointer, remove_reference): Declare.
* include/tr1_impl/type_traitsfwd.h: Remove.
* include/Makefile.am: Adjust.
* include/Makefile.in: Regenerate.

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

2007-11-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/31608
* trans-array.c (gfc_conv_expr_descriptor): Remove exception
for indirect references in the call to gfc_trans_scalar_assign.
* trans-expr.c (gfc_conv_string_parameter): Instead of asserting
that the expression is not an indirect reference, cast it to a
pointer type of the length given by se->string_length.

2007-11-18  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/31608
* gfortran.dg/char_cast_2.f90: New test based on achar_4.f90.

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

2007-11-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34137
        * primary.c (match_variable): Reject non-result entry symbols.
        * resolve.c (resolve_contained_fntype): Do not check entry
        * master functions.

2007-11-18  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34137
        * gfortran.dg/entry_14.f90: New.
        * gfortran.dg/entry_15.f90: New.

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

2007-11-18  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/34127
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Make code match up the comments, require compatibility of the
pointed-to types.

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

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

* gcc.target/powerpc/altivec-23.c: Do not use a typedef name as a
type specifier, as they are not permitted according to the AltiVec
Programming Interface Manual.

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

2007-11-16  David Daney  <ddaney@avtrex.com>
    Andrew Haley  <aph@redhat.com>

* constants.c (build_constants_constructor):  Use POINTER_SIZE
insead of BITS_PER_WORD in big-endian work around.

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

Daily bump.

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

* trans-types.c (gfc_init_types): Use wider buffer.

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

* trans-types.c (gfc_init_types): Use Fortran-90-style type
names, with kinds.

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

2007-11-17  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34133
        * decl.c (gfc_match_suffix,gfc_match_subroutine): Disallow
        bind(c) attribute for internal procedures.

2007-11-17  Tobias Burnus  <burnus@net-b.de>

        PR fortran/34133
        * gfortran.dg/bind_c_usage_9.f03: New.
        * gfortran.dg/interface_abstract_1.f90: Fix testcase.

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

PR fortran/25252

* interface.c (gfc_current_interface_head,
gfc_set_current_interface_head): New functions.
* decl.c (gfc_match_modproc): Move check for syntax error earlier.
On syntax error, restore previous state of the interface.
* gfortran.h (gfc_current_interface_head,
gfc_set_current_interface_head): New prototypes.

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

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

2007-11-17  Richard Guenther  <rguenther@suse.de>

PR middle-end/34130
* fold-const.c (extract_muldiv_1): Do not move negative
constants inside ABS_EXPR.

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

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

PR fortran/30285
* module.c (struct written_common, written_commons): New structure.
(compare_written_commons, free_written_common, write_common_0):
New functions.
(write_common): Call recursive function write_common_0.

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

2007-11-17  Jonathan Wakely  <jwakely.gcc@gmail.com>

* docs/html/17_intro/howto.html, docs/html/21_strings/howto.html,
docs/html/22_locale/codecvt.html, docs/html/23_containers/howto.html,
docs/html/27_io/howto.html, docs/html/ext/howto.html,
docs/html/debug.html,  docs/html/install.html,
docs/html/faq/index.html: Fix typos and anachronisms.

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

2007-11-16  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algobase.h (struct __lexicographical_compare):
Move to namespace std.
(__lexicographical_compare_aux<>(_II1, _II1, _II2, _II2)): Add.
(lexicographical_compare<>(_II1, _II1, _II2, _II2)): Call the latter.

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

Daily bump.

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

    PR fortran/34108

        * io.c (check_format_string): Only check character expressions.
        (match_dt_format): Return MATCH_ERROR if that is what
        gfc_match_st_label said.

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

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

2007-11-16  Paolo Carlini  <pcarlini@suse.de>

* include/bits/stl_algobase.h (struct __lexicographical_compare): Add.
(lexicographical_compare<>(_II1, _II1, _II2, _II2)): Use it.
(lexicographical_compare(const unsigned char*, const unsigned char*,
const unsigned char*, const unsigned char*),
lexicographical_compare(const char*, const char*, const char*,
const char*)): Remove.
* include/ext/numeric_traits.h (__numeric_traits_floating<>::
__is_signed): Add.

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

2007-11-17  Andreas Tobler  <a.tobler@schweiz.org>

* src/powerpc/sysv.S: Load correct cr to compare if we have long double.
* src/powerpc/linux64.S: Likewise.
* src/powerpc/ffi.c: Add a comment to show which part goes into cr6.
* testsuite/libffi.call/return_ldl.c: New test.

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

PR fortran/33957

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

* expr.c (check_inquiry): Don't call gfc_error now.

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

PR libfortran/33583
PR libfortran/33698

* intrinsics/c99_functions.c (tgamma, tgammaf, lgamma, lgammaf):
New fallback functions.
* c99_protos.h (tgamma, tgammaf, lgamma, lgammaf): New prototypes.
* configure.ac: Add checks for tgamma, tgammaf, tgammal, lgamma,
lgammaf and lgammal.
* config.h.in: Regenerate.
* configure: Regenerate.

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

PR fortran/33739
PR fortran/34084
* scanner.c (start_source_file, end_source_file,
exit_remaining_files, gfc_advance_line): Revert rev. 130016.

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

* collect2.c (dump_file): If a demangled symbol is followed by a
space, make sure we output at least one space.

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

2007-11-16  Richard Guenther  <rguenther@suse.de>

PR middle-end/34030
* fold-const.c (fold_binary): Use correct types for folding
1 << X & Y to Y >> X & 1.

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

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

2007-11-16  Paolo Carlini  <pcarlini@suse.de>

* src/locale_facets.cc: Fix typo in Copyright.

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

2007-11-16  Paolo Carlini  <pcarlini@suse.de>

* include/bits/locale_facets.tcc (__verify_grouping): Move...
* src/locale_facets.cc: ... here.
* config/abi/pre/gnu.ver: Update exports.

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

2007-11-16  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/34008
* trans-stmt.c (gfc_conv_elemental_dependencies): Add check for
INTENT_INOUT as well as INTENT_OUT.
(gfc_trans_call): Remove redundant gcc_asserts in dependency
check.

2007-11-16  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/34008
* gfortran.dg/interface_assignment_3.f90.

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

2007-11-16  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/33870
* tree.h (struct tree_memory_tag): Add base_for_components flag.
(struct tree_struct_field_tag): Remove nesting_level field.
(SFT_NESTING_LEVEL): Remove.
(SFT_BASE_FOR_COMPONENTS_P): Add.
* tree-flow.h (struct fieldoff): Remove nesting_level field.  Add
base_for_components flag.
(push_fields_onto_fieldstack): Remove nesting_level parameter.
* tree-ssa-alias.c (create_sft): Likewise.  Add base_for_components
parameter.
(create_overlap_variables_for): Deal with it.
* tree-dfa.c (dump_subvars_for): Likewise.
(dump_variable): Likewise.
* tree-ssa-structalias.c (push_fields_onto_fieldstack): Likewise.
Set base_for_components for first elements of sub-structures.
(create_variable_info_for): Handle base_for_components.
(set_uids_in_ptset): Always set SFT_UNPARTITIONABLE_P for
pointed-to SFTs if SFT_BASE_FOR_COMPONENTS_P is set.
* tree-ssa-operands.c (ref_nesting_level): Remove.
(add_vars_for_offset): Remove full_ref parameter, always add
the offset of the pointed-to SFT.
(add_virtual_operand): Adjust for changed signature of
add_vars_for_offset.

* gcc.dg/torture/pr33870.c: New testcase.

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

* de.po: Update.

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

    * files.c (search_path_head): Fix check for absolute paths.

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

2007-11-16  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/33986
* trans-array.c (gfc_conv_array_parameter ): Allow allocatable
function results.

2007-11-16  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/33986
* gfortran.dg/allocatable_function_3.f90.

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

Add myself to Write After Approval.

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

Inlined floatunssidf2 and floatunsdidf2

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

Inlined floatunssidf2 and floatunsdidf2

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

2007-11-16  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/34113
* tree-ssa-forwprop.c (tree_ssa_forward_propagate_single_use_vars):
Use correct conversion direction for checking type compatibility.

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

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

2007-11-16  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/34099
* tree-ssa-ccp.c (likely_value): Use a whitelist for operators
that produce UNDEFINED result if at least one of its operands
is UNDEFINED.  By default the result is only UNDEFINED if all
operands are UNDEFINED.

* g++.dg/torture/pr3499.C: New testcase.
* gcc.c-torture/execute/pr34099.c: Likewise.

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

2007-11-16  Olivier Hainque  <hainque@adacore.com>

        ada/
        * utils2.c (build_call_alloc_dealloc) <if gnu_obj>: Move the code
        retrieving an allocator return value from a super-aligned address from
        here to ...
        * trans.c (gnat_to_gnu) <case N_Free_Statement>: ... here, and don't
        expect a super-aligned address for a fat or thin pointer.

        testsuite/
        * gnat.dg/release_unc_maxalign.adb: New test.

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

PR c++/34100
* pt.c (apply_late_template_attributes): Do nothing if decl's type is
error_mark_node.

* g++.dg/template/crash73.C: New test.

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

PR driver/30460
* gcc.c (init_spec): Don't initialize asm_debug here...
(main): ... but here.

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

Daily bump.

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

* tree-ssa-structalias.c (ipa_pta_execute): Rename 'cfun' to
'func'.
* tree-parloops.c (create_loop_fn): Use set_cfun.
* gengtype.c (open_base_files): Emit #undef cfun.
* ipa-struct-reorg.c (do_reorg_1): Use set_cfun.
* function.h (cfun): New define.
* function.c: Undefine cfun.

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

2007-11-16  Paolo Carlini  <pcarlini@suse.de>

* Fix typo in ChangeLog entry.

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

2007-11-15  Paolo Carlini  <pcarlini@suse.de>

* include/bits/istream.tcc (basic_istream<>::sentry::
sentry(basic_istream<>&, bool)): Explicitely convert to bool.
* include/bits/locale_facets.tcc (num_put<>::_M_insert_int(_OutIter,
ios_base&, _CharT, _ValueT)): Likewise.
* include/std/ostream (basic_ostream<>::sentry::~sentry): Likewise.

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

* config/avr/avr.c (avr_mcu_types): Add attiny88.
* config/avr/avr.h (LINK_SPEC): Likewise.
(CRT_BINUTILS_SPECS): Likewsie.
* config/avr/t-avr (MULTILIB_MATCHES): Likewise.

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

2007-11-15  Paolo Carlini  <pcarlini@suse.de>

PR libstdc++/34105
* include/bits/stl_algobase.h: Do not include <bits/algorithmfwd.h>.
(lexicographical_compare(const unsigned char*, const unsigned char*,
const unsigned char*, const unsigned char*),
lexicographical_compare(const char*, const char*, const char*,
const char*)): Move to namespace (std, _GLIBCXX_STD_P).
* include/parallel/algobase.h: Do not include <bits/algorithmfwd.h>.
(equal): Move after mismatch.
* include/bits/stl_heap.h (is_heap, is_heap_until): Reorder.
* include/bits/char_traits.h: Include <bits/stl_algobase.h> instead
of <bits/algorithmfwd.h>.
* include/bits/stl_algo.h: Include first <bits/algorithmfwd.h>.
* include/bits/algorithmfwd.h (lexicographical_compare): Do not
declare overloads.
* include/parallel/partition.h: Include <parallel/random_number.h>.
* testsuite/util/testsuite_abi.cc: Include <algorithm>.

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

PR middle-end/23848
* tree-ssa-ccp.c (optimize_stack_restore): New function.
(execute_fold_all_builtins): Call optimize_stack_restore for
BUILT_IN_STACK_RESTORE.

* gcc.dg/tree-ssa/pr23848-1.c: New test.
* gcc.dg/tree-ssa/pr23848-2.c: New test.
* gcc.dg/tree-ssa/pr23848-3.c: New test.
* gcc.dg/tree-ssa/pr23848-4.c: New test.

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

* es.po: Update.

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

* es.po: Update.

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

* de.po: Update.

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

2007-11-15  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33917
        * decl.c (match_procedure_decl): Pre-resolve interface.
        * resolve.c (resolve_symbol): Reject interfaces later
        declared in procedure statements.

2007-11-15  Tobias Burnus  <burnus@net-b.de>

        PR fortran/33917
        * gfortran.dg/proc_decl_11.f90: New.

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

2007-11-15  Paolo Bonzini  <bonzini@gnu.org>

* fwprop.c (try_fwprop_subst): Skip profitability check for forward
propagation into an address; that's done in should_replace_address.

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

* config/spu/spu-protos.h (legitimate_const): Remove prototype.
* config/spu/spu.c (legitimate_const): Remove.
(classify_immediate): Inline call to legitimate_const.
(spu_legitimate_address): Likewise.  Allow SMBOL_REF + CONST_INT
for any constant, not just -512 .. 511.

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

* config/spu/spu.c (spu_emit_branch_or_set): Remove PROCESSOR_CELL
condition from HONOR_NANS test.
* config/spu/spu.md (ceq_df): Always generate comparison code
inline, including checks for NaNs and infinities.
(cgt_df): Likewise.
(cgt_v2df): Likewise.
(cmpdf): Make this expander unconditional.

testsuite/
* gcc.target/spu/compare-dp.c: New test.

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

2007-11-15  Richard Guenther  <rguenther@suse.de>

* tree-ssa-alias.c (create_overlap_variables_for): Make sure
to only create SFTs if we also create variable infos for PTA.
* tree-ssa-structalias.c (set_uids_in_ptset): Add all overlapping
SFTs.

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

2007-11-15  Richard Guenther  <rguenther@suse.de>

* tree-ssa-structalias.c (set_uids_in_ptset): Use the pointed-to
type for TBAA pruning.
(find_what_p_points_to): Call set_uids_in_ptset with the original
pointer, not the decl of the solution we collapsed to.

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

2007-11-14  David Daney  <ddaney@avtrex.com>

* config/mips/linux-unwind.h (mips_fallback_frame_state): Use CFA
to find sigcontext.

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

Daily bump.

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

PR target/33923
* config/ia64/ia64.h (CANNOT_CHANGE_MODE_CLASS): Forbid mode changes
for registers in BR_REGS class.

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

PR middle-end/34088
* tree-ssa.c (delete_tree_ssa): Don't call fini_ssa_operands if
init_ssa_operands has not been called for cfun.

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

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

PR tree-optimization/34046
* cfg.c (update_bb_profile_for_threading): Avoid the division for the
scaling if the old probability is greater than the new base.

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

* trans.c (call_to_gnu): Always set the source location on the call
expression.  If the function returns-by-target, also set it on the
address expression.

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

2007-11-14  Johannes Singler  <singler@ira.uka.de>

      * include/parallel/multiway_merge.h: More robust finding of an
        arbitrary existing element inside the input sequences.
      * include/bits/stl_algo.h: Fix typo to actually call appropriate
        sequential version.

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

2007-11-14  Sebastian Pop  <sebastian.pop@amd.com>

* tree-ssa-loop-ivcanon.c (try_unroll_loop_completely): Remove
unused edges after loop duplication.

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

gcc/ada/
* i-cstrin.ads (chars_ptr): Make it a C convention type.

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

* config/i386/i386.h (TARGET_CPU_DEFAULT_*): Substitute with ...
(enum target_cpu_default): ... this enum.
(TARGET_CPU_DEFAULT_NAMES): Remove macro.  Move initializer to ...
* config/i386/i386.c (override_options): ... here.
* config/i386/i386-interix.h (TARGET_CPU_DEFAULT): Use
TARGET_CPU_DEFAULT_i486.

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

* global.c (rest_of_handle_global_alloc): Fix comment typos.
* config/sh/sh.c (sh_rtx_costs): Likewise.
* ChangeLog: Likewise.

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

gcc/ada/
* adaint.c init.c initialize.c link.c: Remove system-specific
sections of non-supported Interix target.

* s-osinte-interix.ads: Removed.

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

2007-11-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/31608
*gfortran.dg/char_cast_1.f90: Modify regex in scan-tree-dump-times
to match known variations in symbol format. Document in comments.

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

2007-11-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33985
*gfortran.dg/streamio_12.f90: New test to avoid future regression.

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

2007-11-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

*gfortran.dg/list_read_7.f90: Fix test so that test file is deleted when
done.

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

2007-11-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

Fix date of last entry.

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

2007-11-13  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33162
*gfortran.dg/proc_decl_1.f90: Update.
*gfortran.dg/proc_decl_7.f90: New test.
*gfortran.dg/proc_decl_8.f90: New test.
*gfortran.dg/proc_decl_9.f90: New test.
*gfortran.dg/proc_decl_10.f90: New test.

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

2007-11-11  Jerry DeLisle  <jvdelisle@gcc.gnu.org>

PR fortran/33162
* decl.c (match_procedure_decl): Remove TODO and allow intrinsics in
PROCEDURE declarations.  Set attr.untyped to allow the interface to be
resolved later where the symbol type will be set.
* interface.c (compare_intr_interfaces): Remove static from pointer
declarations.  Add type and kind checks for dummy function arguments.
(compare_actual_formal_intr): New function to compare an actual
argument with an intrinsic function. (gfc_procedures_use): Add check for
interface that points to an intrinsic function, use the new function.
* resolve.c (resolve_specific_f0): Resolve the intrinsic interface.
(resolve_specific_s0): Ditto.

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

2007-11-13  Sebastian Pop  <sebastian.pop@amd.com>

* tree-chrec.h (build_polynomial_chrec): RHS of a chrec
should not be of pointer type.

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

Daily bump.

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

make ix86_sse5_valid_op_p adhere to GNU coding style

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

* config/xtensa/unwind-dw2-xtensa.c: New.
* config/xtensa/unwind-dw2-xtensa.h: New.
* config/xtensa/xtensa.h (MUST_USE_SJLJ_EXCEPTIONS): Remove.
(DWARF2_UNWIND_INFO): Remove.
(DWARF_FRAME_REGISTERS): Define.
(EH_RETURN_DATA_REGNO): Define.
* config/xtensa/xtensa.md (UNSPECV_EH_RETURN): Define.
(eh_return): New.
* config/xtensa/t-xtensa (LIB2ADDEH): Define.

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

* doc/invoke.texi: Fix description of -fsched-stalled-insns=0,
-fsched-stalled-insns.

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

2007-11-13  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/34080
* iresolve.c (gfc_resolve_transfer): Do not try to convert
to a constant MOLD expression, if it is an assumed size
dummy.

2007-11-13  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/34080
* gfortran.dg/transfer_assumed_size_1.f90: New test.

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

gcc/ada/
* sem_prag.adb (Process_Convention): Move the test for the
entity on which the Convention pragma applies down to also
forbid pragma Convention on enumeration literals reached
through renamings.

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

PR c++/34054
PR c++/34056
PR c++/34057
PR c++/34058
PR c++/34060
* pt.c (find_parameter_packs_r): If ppd->set_packs_to_error,
set to error_mark_node the outermost POINTER_TYPE to the pack if
it is seen in a POINTER_TYPE.
(push_template_decl_real): If check_for_bare_parameter_packs
fails for function return type, set the return type to
integer_type_node.  If check_for_bare_parameter_packs failed
for non-function, return error_mark_node.

* g++.dg/parse/crash36.C: Add another dg-error.
* g++.dg/cpp0x/pr34054.C: New test.
* g++.dg/cpp0x/pr34056.C: New test.
* g++.dg/cpp0x/pr34057.C: New test.
* g++.dg/cpp0x/pr34058.C: New test.
* g++.dg/cpp0x/pr34060.C: New test.

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

PR tree-optimization/34063
* tree-chrec.c (chrec_evaluate): Put CHREC_LEFT based argument
as first chrec_fold_plus operand rather than second.

* g++.dg/tree-ssa/pr34063.C: New test.

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

2007-11-13  Benjamin Kosnik  <bkoz@redhat.com>

* docs/html/documentation.html: First pass at unified table of contents.
* docs/html/abi.html: Move...
* docs/html/17_intro/abi.html: ...here.
* docs/html/17_intro/porting-howto.html: Update, edit, put
resulting pieces into...
* docs/html/17_intro/api.html: New.
* docs/html/17_intro/c++0x_status.html: New.
* docs/html/17_intro/CHECKLIST: Move to...
* docs/html/17_intro/c++1998_status.html: ...here.
* docs/html/ext/tr1.html: Move ...
* docs/html/17_intro/tr1_status.html: ...here.
* docs/html/debug_mode.html: Move...
* docs/html/ext/debug_mode.html: ...here.
* docs/html/parallel_mode.html: Move...
* docs/html/ext/parallel_mode.html: ...here
* docs/html/17_intro/BUGS: Remove.
* docs/html/17_intro/concept_check.diff: Remove.
* docs/html/17_intro/HEADER_POLICY: Remove.
* docs/html/17_intro/headers_cc.txt: Remove.
* docs/html/17_intro/PROBLEMS: Remove.
* docs/html/17_intro/RELEASE-NOTES: Remove.
* docs/html/explanations.html: Remove.
* docs/html/makedoc.awk: Remove.
* docs/html/faq/index.txt: Remove. HTML only.
* /docs/html/Makefile: Remove.

* docs/html/17_intro/configury.html: Editing, updating,
consistency check with doxygen conventions. Change libstdc++-v3 to
libstdc++.
* docs/html/17_intro/howto.html: Same.
* docs/html/17_intro/license.html: Same.
* docs/html/17_intro/porting.html: Same.
* docs/html/18_support/howto.html: Same.
* docs/html/19_diagnostics/howto.html: Same.
* docs/html/20_util/allocator.html: Same.
* docs/html/20_util/howto.html: Same.
* docs/html/21_strings/howto.html: Same.
* docs/html/22_locale/codecvt.html: Same.
* docs/html/22_locale/ctype.html: Same.
* docs/html/22_locale/howto.html: Same.
* docs/html/22_locale/messages.html: Same.
* docs/html/23_containers/howto.html: Same.
* docs/html/24_iterators/howto.html: Same.
* docs/html/25_algorithms/howto.html: Same.
* docs/html/26_numerics/howto.html: Same.
* docs/html/27_io/howto.html: Same.
* docs/html/configopts.html: Same.
* docs/html/debug.html: Same.
* docs/html/ext/ballocator_doc.html: Same.
* docs/html/ext/howto.html: Same.
* docs/html/ext/mt_allocator.html: Same.
* docs/html/ext/sgiexts.html: Same.
* docs/html/faq/index.html: Same.
* docs/html/install.html: Same.
* docs/html/test.html: Same.

* include/bits/c++config: Change _GLIBCXX_DEPRECATED to
_GLIBCXX_DEPRECATED_ATTR, _GLIBCXX_VISIBILITY to
_GLIBCXX_VISIBILITY_ATTR.
* include/backward/auto_ptr.h: Same.
* include/backward/binders.h: Same.
* include/bits/stl_function.h: Same.
* include/std/memory: Same.
* include/std/streambuf: Same.
* include/tr1_impl/boost_shared_ptr.h: Same.
* src/globals_io.cc: Same.
* src/ios_init.cc: Same.

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

pr 33870
* tree.h (strcut tree_memory_tag): add field unpartitionable.
remove field in_nested_struct.
(struct tree_struct_field_tag): add field nesting_level.
(sft_in_nested_struct): remove.
(sft_nesting_level): define.
(sft_unpartitionable_p): define.
* tree-ssa-alias.c (mem_sym_score): if mp->var is not
partitionable, return long_max.
(compute_memory_partitions): do not partition sfts marked
unpartitionable.
(create_sft): add argument nesting_level.  set
sft_nesting_level with it.  update all users.
(create_overlap_variables_for): show nesting level.
* tree-dfa.c (dump_subvars_for): likewise.
(dump_variable): likewise.
show whether the sft is partitionable or not.
* tree-flow.h (struct fieldoff): remove field
in_nested_struct.
add field nesting_level.
* tree-ssa-structalias.c (struct variable_info): remove
field in_nested_struct.
(push_fields_onto_fieldstack): add argument
nesting_level.  update all users.
update documentation.
update pair->nesting_level with nesting_level.
make recursive calls with nesting_level + 1.
(set_uids_in_ptset): if an sft is added to the points-to
set, mark it as unpartitionable.
* tree-ssa-operands.c (ref_nesting_level): new.
(add_vars_for_offset): call it.
add argument full_ref.  update
callers.
if var is inside a nested structure and the nesting level
of full_ref is lower than the nesting level of var,
adjust offset by the offset of var.

testsuite/ChangeLog

PR 33870
* gcc.c-torture/execute/pr33870-1.c: New test.
* gcc.dg/tree-ssa/alias-16.c: New test.

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

gcc/ada/
* a-tasatt.adb: Add a comment at the beginning of the package
explaining why in general 'Unchecked_Access must be used instead
of 'Access.

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

2007-11-13  Victor Kaplansky  <victork@il.ibm.com>

        PR tree-optimization/32582
        * Makefile.in (CRTSTUFF_CFLAGS): Add -fno-tree-vectorize

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