re PR tree-optimization/52448 (cselim broken with calls)

PR tree-optimization/52448

* tree-ssa-phiopt.c (struct name_to_bb): Add phase member.
(nt_call_phase): New static.
(add_or_mark_expr): Only mark accesses with newer phase than any
call seen.
(nonfreeing_call_p): New.
(nt_init_block): Update nt_call_phase, mark blocks as visited.
(nt_fini_block): Keep blocks marked as visited.
(get_non_trapping): Initialize nt_call_phase, and reset aux pointer.

testsuite/
PR tree-optimization/52448
* gcc.dg/pr52448.c: New test.

From-SVN: r195883

ira.c (ira): Free broken dominator information.

2013-02-08  Richard Biener  <rguenther@suse.de>

* ira.c (ira): Free broken dominator information.

From-SVN: r195882

i386.c (ix86_spill_class): Use INTEGER_CLASS_P macro.

* config/i386/i386.c (ix86_spill_class): Use INTEGER_CLASS_P macro.

From-SVN: r195881

Add more checking of headers.

From-SVN: r195880

re PR rtl-optimization/56181 (ICE in verify_loop_structure, at cfgloop.c:1581 with -ftracer)

2013-02-08  Richard Biener  <rguenther@suse.de>

PR middle-end/56181
* cfgloop.h (flow_loops_find): Adjust.
(bb_loop_header_p): Declare.
* cfgloop.c (bb_loop_header_p): New function split out from ...
(flow_loops_find): ... here.  Adjust function signature,
support incremental loop structure update.
(verify_loop_structure): Cleanup.  Verify a loop is a loop.
* cfgloopmanip.c (fix_loop_structure): Move ...
* loop-init.c (fix_loop_structure): ... here.
(apply_loop_flags): Split out from ...
(loop_optimizer_init): ... here.
(fix_loop_structure): Use apply_loop_flags.  Use flow_loops_find
in incremental mode, only remove dead loops here.

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

From-SVN: r195879

re PR target/54222 ([avr] Implement fixed-point support)

gcc/
PR target/54222
* config/avr/avr.md (unspec) <UNSPEC_ROUND>: Add.
* config/avr/avr-fixed.md (ALL4QA, ALL124QA): New mode iterators.
(round<mode>3, round<mode>3_const): New expanders for fixed-mode.
(*round<mode>3.libgcc): New insns for fixed-modes.
* config/avr/builtins.def (ABSxx): Use a non-NULL LIBNAME.
(ROUNDxx, COUNTLSxx, BITSxx, xxBITS): New DEF_BUILTINs.
(ROUNDFX, COUNTLSFX, ABSFX): New DEF_BUILTINs.
* config/avr/stdfix.h (absFX, bitsFX, FXbits): Remove inline
implementations.  Define to __builtin_avr_absFX,
__builtin_avr_bitsFX, __builtin_avr_FXbits, respectively.
(roundFX, countlsFX): Define to __builtin_avr_roundFX,
__builtin_avr_countlsFX, respectively.
* config/avr/avr-c.c (target.h): Include it.
(enum avr_builtin_id): New enum.
(avr_resolve_overloaded_builtin): New static function.
(avr_register_target_pragmas): Use it to set
targetm.resolve_overloaded_builtin.
* config/avr/avr.c (avr_init_builtins): Supply myriads of local
tree nodes used by DEF_BUILTIN.
(avr_expand_builtin) <AVR_BUILTIN_ROUNDxx>: Sanity-check them.
(avr_fold_builtin) <AVR_BUILTIN_BITSxx>: Fold to VIEW_COVERT_EXPR.
<AVR_BUILTIN_xxBITS>: Same.

libgcc/
PR target/54222
* config/avr/lib2funcs.c: New C sources for modules for libgcc.a.
* config/avr/lib2-object.mk: New iterator to build objects from it.
* config/avr/t-avr: Iterate lib2-object.mk to build objects from
lib2funcs.c.
(LIB2FUNCS_EXCLUDE): Add _clrsbdi2.
(LIB1ASMFUNCS): Add: _ssabs_1, _mask1, _ret, _roundqq3, _rounduqq3,
_round_s2, _round_u2, _round_2_const, _addmask_2, _round_s4,
_round_u4, _round_4_const, _addmask_4, _round_x8, _rounddq3
_roundudq3, _roundda3 _rounduda3, _roundta3 _rounduta3.
* config/avr/lib1funcs-fixed.S: Implement them.

gcc/testsuite/
PR target/54222
* gcc.target/avr/torture/builtins-4-roundfx.c: New test.
* gcc.target/avr/torture/builtins-5-countlsfx.c: New test.

From-SVN: r195878

cfgloop.c (verify_loop_structure): Properly handle a loop exiting to another loop header.

2013-02-08  Richard Biener  <rguenther@suse.de>

* cfgloop.c (verify_loop_structure): Properly handle
a loop exiting to another loop header.
* ira-int.h (ira_loops): Remove.
* ira.c (ira_loops): Remove.
(ira): Use loop_optimizer_init and loop_optimizer_finalize.
(do_reload): Use loop_optimizer_finalize.
* ira-build.c (create_loop_tree_nodes): Use get_loops and
number_of_loops to access the loop tree.
(more_one_region_p): Likewise.
(finish_loop_tree_nodes): Likewise.
(rebuild_regno_allocno_maps): Likewise.
(mark_loops_for_removal): Likewise.
(mark_all_loops_for_removal): Likewise.
(remove_unnecessary_regions): Likewise.
(ira_build): Likewise.
* ira-emit.c (setup_entered_from_non_parent_p): Likewise.

From-SVN: r195877

Makefile.in (tree-tailcall.o): Add $(CFGLOOP_H) dependency.

2013-02-08  Richard Biener  <rguenther@suse.de>

* Makefile.in (tree-tailcall.o): Add $(CFGLOOP_H) dependency.
* ipa-pure-const.c (analyze_function): Avoid calling
mark_irreducible_loops twice.
* tree-tailcall.c (tree_optimize_tail_calls_1): Mark loops
for fixup.

From-SVN: r195876

Daily bump.

From-SVN: r195874

Fix variable tracking for leaf functions on sparc.

* dwarf2out.c (based_loc_descr): Perform leaf register remapping
on 'reg'.
* var-tracking.c (vt_add_function_parameter): Test the presence of
HAVE_window_save properly and do not remap argument registers when
we have a leaf function.

From-SVN: r195869

runtime: Change main in goc2c to return int.

From Uros Bizjak.

From-SVN: r195868

re PR go/56173 (Several libgo tests FAIL on Solaris/SPARC)

PR go/56173
crypto/md5: fix for big-endian processors

From-SVN: r195867

re PR c++/56241 (ICE in toplev.c:332 on invalid)

PR c++/56241
* init.c (build_vec_init): Don't append NULL values into new_vec.
(build_zero_init_1): Don't push anything into v if recursive call
returned NULL_TREE.
(build_value_init_noctor): Don't push anything into v if
build_value_init call returned NULL_TREE.

* g++.dg/parse/crash61.C: New test.

From-SVN: r195866

re PR target/50678 (FAIL: c52104y on x86_64-apple-darwin10)

PR target/50678
* init.c (__darwin_major_version): New function for x86-64/Darwin.
(__gnat_adjust_context_for_raise) [Darwin]: Disable the workaround
on Darwin 12 and above.

From-SVN: r195862

libgo: Correct test for whether to use DejaGNU.

From-SVN: r195861

re PR bootstrap/56227 (Bootstrap failure on MinGW building ggc-page.c)

PR bootstrap/56227
* ggc-page.c (ggc_print_statistics): Use HOST_LONG_LONG_FORMAT
instead of "ll".
* config/i386/i386.c (ix86_print_operand): Ditto.

lto/ChangeLog:

PR bootstrap/56227
* lto.c (lto_resolution_ready): Use %wx instead of
HOST_WIDE_INT_PRINT_HEX_PURE in the argument to internal_error.

From-SVN: r195860

re PR c++/56239 (parse error calling operator() on parenthesized value-initialized temporary)

PR c++/56239
* parser.c (cp_parser_token_starts_cast_expression): Renamed to...
(cp_parser_tokens_start_cast_expression): ... this.  Change parameter
to cp_parser *, call cp_lexer_peek_token first.  For CPP_OPEN_PAREN,
return true only if 2nd token isn't CPP_CLOSE_PAREN.
(cp_parser_cast_expression): Adjust caller.

* g++.dg/parse/pr56239.C: New test.

From-SVN: r195859

re PR c++/56237 (ICE in lang_* check: failed in push_local_name, at cp/decl.c:924)

PR c++/56237
* decl.c (push_local_name): Look at DECL_DISCRIMINATOR (t)
only if DECL_DISCRIMINATOR_SET_P (t) rather than just
DECL_LANG_SPECIFIC (t).

* g++.dg/abi/mangle61.C: New test.

From-SVN: r195858

lra-constraints.c (process_alt_operands): Fix recently added comment.

2013-02-07  Vladimir Makarov  <vmakarov@redhat.com>

* lra-constraints.c (process_alt_operands): Fix recently added
comment.

From-SVN: r195857

re PR rtl-optimization/56225 (ICE in lra-constraints.c when executing the testsuite with -m32 -march=pentium3)

2013-02-07  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/56225
* lra-constraints.c (process_alt_operands): Check that reload hard
reg can hold value for strict_low_part.

2013-02-07  Vladimir Makarov  <vmakarov@redhat.com>

PR rtl-optimization/56225
* gcc.target/i386/pr56225.c: New test.

From-SVN: r195856

re PR go/56172 (net FAILs on Solaris)

PR go/56172
net: Skip TestMulticastListener on Solaris

From Rainer Orth.

From-SVN: r195855

re PR c++/56235 (Bogus "error: invalid conversion from ‘unsigned char’ to ‘B::Mode’ [-fpermissive]")

PR c++/56235
* method.c (do_build_copy_constructor): Don't bother turning
scalars from lvalues to xvalues.
(do_build_copy_assign): Likewise.

From-SVN: r195854

pr56193.cc: Tweak.

2013-02-07  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/27_io/basic_ios/pr56193.cc: Tweak.

From-SVN: r195852

Add the full Copyright blurb on the PR56193 test.

From-SVN: r195851

re PR debug/56154 (Bad .debug_loc generated for some code)

PR debug/56154
* dwarf2out.c (dwarf2_debug_hooks): Set end_function hook to
dwarf2out_end_function.
(in_first_function_p, maybe_at_text_label_p,
first_loclabel_num_not_at_text_label): New variables.
(dwarf2out_var_location): In the first function find out
lowest loclabel_num N where .LVLN is known not to be equal
to .Ltext0.
(find_empty_loc_ranges_at_text_label, dwarf2out_end_function): New
functions.

* gcc.dg/guality/pr56154-1.c: New test.
* gcc.dg/guality/pr56154-2.c: New test.
* gcc.dg/guality/pr56154-3.c: New test.
* gcc.dg/guality/pr56154-4.c: New test.
* gcc.dg/guality/pr56154-aux.c: New file.

From-SVN: r195850

PR56193 - Wrong test operator for basic_ios in C++11.

From-SVN: r195849

re PR fortran/54339 (Update gfortran manual for GCC 4.8's TS29113 changes)

2013-02-07  Tobias Burnus  <burnus@net-b.de>

        PR fortran/54339
        * gfortran.texi (Standards): Mention TS29113.
        (Varying Length Character): Mention deferred-length
        strings.
        (Fortran 2003 Status): Add unlimited polymorphic.
        (TS 29113 Status): Add TYPE(*) and DIMENSION(..).
        (C Interop): Update the section about TS29113.

From-SVN: r195845

re PR middle-end/55797 (ICE: verify_cgraph_node failed: edge has no corresponding call_stmt)

PR tree-optimization/55789
* g++.dg/ipa/inline-3.C: Use cleanup-ipa-dump instead of
cleanup-tree-dump.
* gcc.dg/tree-ssa/inline-3.c: Add
--param max-early-inliner-iterations=2 option.

From-SVN: r195844

Fix g++.dg/debug/dwarf2/thunk1.C (PR debug/53363)

PR debug/53363
* g++.dg/debug/dwarf2/thunk1.C: Restrict to 32-bit x86.
Add -fno-dwarf2-cfi-asm to dg-options.
Adapt match count.

From-SVN: r195842

re PR rtl-optimization/56178 (Miscompilation of Ada front-end with profiled bootstrap)

PR rtl-optimization/56178
* cse.c (cse_insn): Do not create a REG_EQUAL note if the source is a
SUBREG of a register.  Tidy up related block of code.
* fwprop.c (forward_propagate_and_simplify): Do not create a REG_EQUAL
note if the source is a register or a SUBREG of a register.

From-SVN: r195841

re PR target/56228 (Indirect call fails to assemble)

PR target/56228
* config/rs6000/rs6000.md (ptrm): New mode attr.
(call_indirect_aix<ptrsize>, call_indirect_aix<ptrsize>_nor11,
call_value_indirect_aix<pttrsize>,
call_value_indirect_aix<pttrsize>_nor11): Use <ptrm> instead of
m in constraints.

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

From-SVN: r195840

collect2.c (main): Set aix64_flag for -G and -bsvr4 too, disable if -bnortl.

2013-02-07  Michael Haubenwallner  <michael.haubenwallner@salomon.at>

        * collect2.c (main): Set aix64_flag for -G and -bsvr4 too, disable
        if -bnortl. Convert to strcmp and strncmp.

From-SVN: r195837

re PR target/54009 (incorrect code generated for DFmode lo_sum mem)

gcc/
PR target/54009
* config/rs6000/rs6000.c (mem_operand_gpr): Check that LO_SUM
addresses won't wrap when offsetting.
(rs6000_secondary_reload): Provide secondary reloads needed for
wrapping LO_SUM addresses.

gcc/testsuite/
PR target/54009
* gcc.target/powerpc/pr54009.c: New test.

From-SVN: r195836

re PR target/54131 (ICE building 416.gamess, reload_cse_simplify_operands)

PR target/54131
* gfortran.dg/pr54131.f: New test.

From-SVN: r195835

Daily bump.

From-SVN: r195832

gnu.h (GNU_USER_TARGET_OS_CPP_BUILTINS): Never define MACH, just __MACH__.

gcc/
* config/gnu.h (GNU_USER_TARGET_OS_CPP_BUILTINS): Never define
MACH, just __MACH__.

From-SVN: r195826

re PR go/56172 (net FAILs on Solaris)

PR go/56172
net: Fixes for select based pollster.

Make Close work properly, mainly for testing.  Restart the
select if a descriptor is closed.

From-SVN: r195823

update-copyright.py: Add libdecnumber to the default list.

contrib/
* update-copyright.py: Add libdecnumber to the default list.
Remove libquadmath and libssp.

From-SVN: r195822

Update copyright in libdecnumber.

From-SVN: r195821

Revert libquadmath and libssp copyright patches.

From-SVN: r195820

* testsuite-management/validate_failures.py: Fix typo.

From-SVN: r195819

* parser.c (cp_parser_enum_specifier): Check for error_mark_node.

From-SVN: r195818

Fix validate_failures.py in standalone testing.

When using validate_failures.py with --manifest and --results, we
don't need a GCC build directory.  This is useful when using the
validator outside of the build tree.  We were insisting on finding
a valid build tree regardless of those options.

Tested on x86_64.  Committed to trunk.

* testsuite-management/validate_failures.py: Update
Copyright years.
Request contributions not to use Python features newer
than 2.4.
(GetBuildData): If this is not a build directory,
emit an error only if --results or --manifest are missing.

From-SVN: r195817

re PR fortran/55789 (Needless realloc with array constructor.)

2013-02-06 Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55789
* trans-array.c (trans_array_constructor): Remove condition
'dynamic' = true if the loop ubound is a VAR_DECL.

2013-02-06 Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55789
* gfortran.dg/array_constructor_41.f90: New test.

From-SVN: r195815

re PR fortran/55978 (class_optional_2.f90 -Os fails)

2013-02-06  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55978
* runtime/in_pack_generic.c (internal_pack): Return if base_addr is
NULL.

2013-02-06  Janus Weil  <janus@gcc.gnu.org>

PR fortran/55978
* gfortran.dg/class_optional_2.f90: Uncomment some cases which work now.

From-SVN: r195814

ffi.c (ffi_prep_cif_machdep): Fix case where DOUBLE equal LONGDOUBLE.

2013-02-06  Andreas Tobler  <andreast@fgznet.ch>

        * src/powerpc/ffi.c (ffi_prep_cif_machdep): Fix case where
        DOUBLE equal LONGDOUBLE.

From-SVN: r195812

validate_failures.py: Fix performance regression

2013-02-06  Bernhard Reutner-Fischer  <aldot@gcc.gnu.org>

* testsuite-management/validate_failures.py
(IsInterestingResult): Fix performance regression

From-SVN: r195811

Revert previous change, unintended.

From-SVN: r195805

tracer.c (tracer): Mark loops with LOOPS_NEED_FIXUP instead of calling fix_loop_structure.

2013-02-06  Richard Biener  <rguenther@suse.de>

* tracer.c (tracer): Mark loops with LOOPS_NEED_FIXUP
instead of calling fix_loop_structure.

From-SVN: r195804

re PR ada/52123 (gcc bootstrap with ada fails on mingw target)

2013-02-06  Rainer Emrich  <rainer@emrich-ebersheim.de>

PR target/52123
* adaint.c (__gnat_check_OWNER_ACL): Cast from pointer via
SECURITY_DESCRIPTOR *
(__gnat_set_OWNER_ACL): Cast from DWORD to ACCESS_MODE
(__gnat_portable_spawn): Fix cast to char* const*
(add_handle): Cast from pointer via void **
(add_handle): Cast from pointer via int *
(__gnat_locate_exec_on_path): Cast from pointer via TCHAR *
(__gnat_locate_exec_on_path): Cast from pointer via char *
* initialize.c (append_arg): Cast from pointer via LPWSTR
(__gnat_initialize): Cast from pointer via LPWSTR
* seh_init.c (__gnat_map_SEH): Cast from pointer via FARPROC

From-SVN: r195803

Make-lang.in: Enable System.Stack_Checking.Operations target pairs on VxWorks 5 only.

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* gcc-interface/Make-lang.in: Enable System.Stack_Checking.Operations
target pairs on VxWorks 5 only.

From-SVN: r195802

[multiple changes]

2013-02-06  Vincent Celier  <celier@adacore.com>

* prj-proc.adb (Process_Aggregated_Projects): Use a new project
node tree for each project tree rooted at an aggregated project.

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_util.adb (Is_Interface_Conversion): New routine.
(Object_Access_Level): Detect an interface conversion
that has been rewritten into a different construct. Use the
original form of the conversion to find the access level of
the operand.

2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* einfo.ads (Has_Pragma_No_Inline): New flag using Flag201.
(Has_Pragma_No_Inline): Declare and mark as inline.
(Set_Has_Pragma_No_Inline): Likewise.
* einfo.adb (Has_Pragma_No_Inline): New function.
(Set_Has_Pragma_No_Inline): New procedure.
(Write_Entity_Flags): Handle Has_Pragma_No_Inline.
* snames.ads-tmpl (Name_No_Inline): New pragma-related name.
(Pragma_Id): Add Pragma_No_Inline value.
* par-prag.adb (Prag): Handle Pragma_Inline.
* sem_prag.adb (Inline_Status): New enumeration type.
(Process_Inline): Change Active parameter
to Inline_Status and add support for suppressed inlining.
(Analyze_Pragma) <Pragma_Inline>: Adjust to above change.
<Pragma_Inline_Always>: Likewise.
 <Pragma_No_Inline>: Implement new pragma No_Inline.
(Sig_Flags): Add Pragma_No_Inline.
* gnat_rm.texi (Implementation Defined Pragmas): Add No_Inline.
* gnat_ugn.texi (Switches for gcc): Mention Pragma No_Inline.

2013-02-06  Pascal Obry  <obry@adacore.com>

* s-osprim-mingw.adb (Clock): Make sure we copy all data locally
to avoid interleaved modifications that could happen from another
task calling Get_Base_Data.
(Get_Base_Data): Make it a critical section. Avoid updating if another
task has already done it.

From-SVN: r195801

[multiple changes]

2013-02-06  Arnaud Charlet  <charlet@adacore.com>

* gnat_rm.texi: Fix typos.

2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* sem_prag.adb: Minor reformatting.

2013-02-06  Pascal Obry  <obry@adacore.com>

* s-tasloc.ads: Set System.Task_Lock to preelaborate.

From-SVN: r195800

snames.ads-tmpl (Name_Loop_Optimize, [...]): New pragma-related names.

2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* snames.ads-tmpl (Name_Loop_Optimize, Name_No_Unroll,
Name_Unroll, Name_No_Vector, Name_Vector): New pragma-related
names.
(Pragma_Id): Add Pragma_Loop_Optimize value.
* par-prag.adb (Prag): Handle Pragma_Loop_Optimize.
* sem_prag.adb (Check_Loop_Invariant_Variant_Placement): Rename to...
(Check_Loop_Pragma_Placement): ...this.
(Analyze_Pragma)
<Pragma_Loop_Invariant>: Adjust to above renaming.
<Loop_Variant>: Likewise.
 <Pragma_Loop_Optimize>: Implement new pragma Loop_Optimize.
(Sig_Flags): Add Pragma_Loop_Optimize.
* gnat_rm.texi (Implementation Defined Pragmas): Add Loop_Optimize.
* gnat_ugn.texi (Vectorization of loops): Mention Loop_Optimize.

From-SVN: r195799

[multiple changes]

2013-02-06  Robert Dewar  <dewar@adacore.com>

* osint.ads: Minor fix of typo.

2013-02-06  Sergey Rybin  <rybin@adacore.com frybin>

* gnat_ugn.texi: gnatmetric: update the documentation of
complexity metrics for Ada 2012.

2013-02-06  Javier Miranda  <miranda@adacore.com>

* exp_disp.adb (Make_Secondary_DT): Code cleanup:
remove useless initialization.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Build_Discriminant_Constraints): Do not
generate overflow checks on a discriminant expression if the
discriminant constraint is applied to a private type that has
a full view, because the check will be applied when the full
view is elaborated.  Removing the redundant check is not just
an optimization, but it prevents spurious assembler errors,
because of the way the backend generates names for expressions
that require overflow checking.

2013-02-06  Pascal Obry  <obry@adacore.com>

* s-osprim-mingw.adb: Removes workaround for an old GNU/Linker
limitation on Windows.
(DA): Removed.
(LIA): Removed.
(LLIA): Removed.
(TFA): Removed.
(BTA): Removed.
(BMTA): Removed.
(BCA): Removed.
(BMCA): Removed.
(BTiA): Removed.
(Clock): Use variable corresponding to access.
(Get_Base_Time): Likewise.
(Monotonic_Clock): Likewise.

2013-02-06  Vincent Celier  <celier@adacore.com>

* make.adb (Gnatmake): When gnatmake is called with a project
file, do not invoke gnatbind with -I-.
* makeutl.adb (Create_Binder_Mapping_File): Rewrite function. Get
the infos from all the sources.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* snames.ads-tmpl: Add Name_Overriding_Renamings and pragma
Overriding_Renamings.
* par-prag.adb: Recognize pragma Overriding_Renamings.
* opt.ads (Overriding_Renamings): flag to control compatibility
mode with Rational compiler, replaces Rational_Profile flag.
* sem_ch8.adb (Analyze_Subprogram_Renaming): When
Overriding_Renamings is enabled, accept renaming declarations
where the new subprogram renames and overrides a locally inherited
operation. Improve error message for some illegal renamings.
* sem_prag.adb (Analyze_Pragma): Add case for Overriding_Renamings.
(Set_Rational_Profile): The Rational_Profile enables
Overriding_Renamings, Implicit_Packing, and Use_Vads_Size.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* sem_util.adb: Set parent of copied aggregate component, to
prevent infinite loop.

From-SVN: r195798

[multiple changes]

2013-02-06  Robert Dewar  <dewar@adacore.com>

* sem_ch3.adb, sem_ch10.adb: Minor reformatting.
* exp_disp.adb: Minor comment update.
* comperr.ads, osint.ads, rtsfind.adb, sem_prag.adb: Minor addition of
No_Return pragmas.

2013-02-06  Thomas Quinot  <quinot@adacore.com>

* targparm.ads, sem_ch13.adb (Support_Nondefault_SSO): New target
parameter, defaulted to False for now, indicates targets where
non-default scalar storage order may be specified.

2013-02-06  Thomas Quinot  <quinot@adacore.com>

* sprint.adb (Write_Itype): Treat E_Record_Subtype_With_Private
same as E_Record_Subtype.  Display E_Class_Wide_Subtype as
subtype, not type.

From-SVN: r195797

re PR c++/56217 (ICE: OpenMP: when combining shared() and a move constructor)

PR middle-end/56217
* omp-low.c (use_pointer_for_field): Return false if
lower_send_shared_vars doesn't generate any copy-out code.

* g++.dg/gomp/pr56217.C: New test.

* testsuite/libgomp.c++/pr56217.C: New test.

From-SVN: r195796

sem_ch3.adb (Complete_Private_Subtype): Inherit the Has_Unknown_Discriminants from the full view of the base type.

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch3.adb (Complete_Private_Subtype): Inherit the
Has_Unknown_Discriminants from the full view of the base type.

From-SVN: r195795

[multiple changes]

2013-02-06  Tristan Gingold  <gingold@adacore.com>

* raise-gcc.c: Remove useless includes (sys/stat.h, adaint.h)
Enclosing debugging functions within #ifndef inhibit_libc to
support builds without full C headers.

2013-02-06  Thomas Quinot  <quinot@adacore.com>

* gnat_rm.texi: Add a minimal example of Scalar_Storage_Order.

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_ch10.adb (Install_Limited_Withed_Unit): Add a missing
check to detect a parent-child relationship between two units in
order to correctly bypass the installation of a limited view. In
other words, the comment on the intended usage of the check was
correct, but the code itself did not reflect the behavior.

From-SVN: r195794

[multiple changes]

2013-02-06  Javier Miranda  <miranda@adacore.com>

* exp_ch5.adb (Expand_N_Assignment_Statement): Do not generate the
runtime check on assignment to tagged types if compiling with checks
suppressed.

2013-02-06  Robert Dewar  <dewar@adacore.com>

* exp_util.adb, checks.adb, sem_ch12.adb, sem_res.adb, prj-conf.adb,
s-os_lib.adb: Minor reformatting

2013-02-06  Vincent Celier  <celier@adacore.com>

* ug_words: Add -gnateY = /IGNORE_STYLE_CHECKS_PRAGMAS.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* snames.ads-tmpl: Add Name_Rational and pragma Rational.
* par-prag.adb: Recognize pragma Rational.
* opt.ads (Rational_Profile): flag to control compatibility mode
with Rational compiler.
* sem_ch8.adb (Analyze_Subprogram_Renaming): When Rational profile
is enable, accept renaming declarations where the new subprogram
and the renamed entity have the same name.
* sem_prag.adb (analyze_pragma): Add pragma Rational, and recognize
Rational as a profile.

From-SVN: r195793

[multiple changes]

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch5.adb (Expand_Loop_Entry_Attributes): When
dealing with a for loop that iterates over a subtype indication
with a range, use the low and high bounds of the subtype.

2013-02-06  Nicolas Roche  <roche@adacore.com>

* s-os_lib.adb (Normalize_Arguments): Arguments containing tabs should
be quoted

2013-02-06  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Process_Project_And_Apply_Config): New variable
Conf_Project.  New recursive procedure Check_Project to find a non
aggregate project and put its Project_Id in Conf_Project. Fails if
no such project can be found.
(Get_Or_Create_Configuration_File): New parameter Conf_Project.
 (Do_Autoconf): Use project directory of project Conf_Project to store
the generated configuration project file.
* prj-conf.ads (Get_Or_Create_Configuration_File): New parameter
Conf_Project.

2013-02-06  Javier Miranda  <miranda@adacore.com>

* sem_res.adb (Resolve_Actuals): Generate a read
reference for out-mode parameters in the cases specified by
RM 6.4.1(12).

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_attr.adb (Resolve_Attribute): Do not resolve the prefix of
Loop_Entry, instead wait until the attribute has been expanded. The
delay ensures that any generated checks or temporaries are inserted
before the relocated prefix.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb: Code clean up.

From-SVN: r195792

[multiple changes]

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* checks.adb (Apply_Discriminant_Check): Look for discriminant
constraint in full view of private type when needed.
* sem_ch12.adb (Validate_Array_Type_Instance): Specialize
previous patch to components types that are private and without
discriminants.

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Find_Enclosing_Context): Recognize
a simple return statement as one of the cases that require special
processing with respect to temporary controlled function results.
(Process_Transient_Object): Do attempt to finalize a temporary
controlled function result when the associated context is
a simple return statement.  Instead, leave this task to the
general finalization mechanism.

2013-02-06  Thomas Quinot  <quinot@adacore.com>

* einfo.ads: Minor reformatting.
(Status_Flag_Or_Transient_Decl): Add ??? comment.

From-SVN: r195791

[multiple changes]

2013-02-06  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Expression_With_Actions): Rewritten. This
routine should be able to properly detect controlled transient
objects in its actions and generate the appropriate finalization
actions.
* exp_ch6.adb (Enclosing_Context): Removed.
(Expand_Ctrl_Function_Call): Remove local subprogram and
constant. Use routine Within_Case_Or_If_Expression to determine
whether the lifetime of the function result must be extended to
match that of the context.
* exp_util.ads, exp_util.adb (Within_Case_Or_If_Expression): New
routine.

2013-02-06  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Validate_Array_Type_Instance): Extend check
for subtype matching of component type of formal array type,
to avoid spurious error when component type is a separate actual
in the instance, and there may be a discrepancy between private
and full view of component type.

From-SVN: r195790

[multiple changes]

2013-02-06  Robert Dewar  <dewar@adacore.com>

* s-dim.ads, clean.adb: Minor reformatting.

2013-02-06  Javier Miranda  <miranda@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Undo previous patch.
(Can_Split_Unconstrained_Function): Only split the inlined function if
the compiler generates the code of its body.

From-SVN: r195789

[multiple changes]

2013-02-06  Robert Dewar  <dewar@adacore.com>

* exp_prag.adb, sem_ch3.adb, exp_attr.adb, sem_prag.adb, sem_ch6.adb,
exp_intr.adb, exp_dist.adb, sem_ch13.adb: Internal clean up for
N_Pragma nodes.

2013-02-06  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Minor text updates for pragma Warning.

2013-02-06  Geert Bosch  <bosch@adacore.com>

* s-multip.adb (Number_Of_CPUs): Short-circuit in case of
CPU'Last = 1.

2013-02-06  Vincent Celier  <celier@adacore.com>

* clean.adb (Delete): On VMS use host notation to delete all files.

From-SVN: r195788

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

2013-02-06  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb, sem_ch6.adb, prj-conf.adb, erroutc.adb: Minor
reformatting.

From-SVN: r195787

[multiple changes]

2013-02-06  Gary Dismukes  <dismukes@adacore.com>

* sem_ch6.adb (Check_For_Primitive_Subprogram): Test for
the special case of a user-defined equality that overrides
the predefined equality of a nonderived type declared in a
declarative part.
* sem_util.adb (Collect_Primitive_Operations): Add test for
Is_Primitive when looping over the subprograms following a type,
to catch the case of primitives such as a user-defined equality,
which otherwise won't be found when the type is not a derived
type and is declared in a declarative part.

2013-02-06  Vincent Celier  <celier@adacore.com>

* prj-conf.adb (Check_Target): Always return True when Target
is empty (Get_Or_Create_Configuration_File.Get_Project_Target):
New procedure to get the value of attribute Target in the main
project.
(Get_Or_Create_Configuration_File.Do_Autoconf): No
need to get the value of attribute Target in the main project.
(Get_Or_Create_Configuration_File): Call Get_Project_Target and
use the target fom this call.

2013-02-06  Eric Botcazou  <ebotcazou@adacore.com>

* erroutc.adb (Validate_Specific_Warning): Do not issue the
warning about an ineffective Pragma Warnings for -Wxxx warnings.
* sem_prag.adb (Analyze_Pragma) <Warnings>: Accept -Wxxx warnings.
* gnat_rm.texi (Pragma Warnings): Document coordination with
warnings of the GCC back-end.

From-SVN: r195786

[multiple changes]

2013-02-06  Javier Miranda  <miranda@adacore.com>

* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Do not build the body
of an inlined function if we do not generate code for the function.

2013-02-06  Pascal Obry  <obry@adacore.com>

* s-os_lib.adb (Locate_Exec_On_Path): Call Normalize_Pathname
with Resolve_Links set to False.

From-SVN: r195785

re PR rtl-optimization/56131 (gcc.dg/pr56035.c ICEs gcc on sparc-linux)

2013-02-06  Tom de Vries  <tom@codesourcery.com>

PR rtl-optimization/56131
* cfgrtl.c (delete_insn): Use NOTE_BASIC_BLOCK instead of BLOCK_FOR_INSN
to get the bb of a NOTE_INSN_BASIC_BLOCK.  Handle the case that the bb
of the label is NULL.  Add comment.

From-SVN: r195784

Add missing explicit instantiation for std::lower_bound template

Since commit r195676[1], it looks like
libstdc++-v3/src/c++11/hashtable_c++0x.cc is missing an explicit
instantiation for std::lower_bound.  This leads to libstdc++.so having
the symbol for that (missing) instantiation be undefined, thus
preventing executables from being linked with libstdc++.

The patchlet below seems to fixed the issue for me.

Boostrapped and tested on x86_64-unknown-linux-gnu.

[1]:

    commit bc36b44c7cb0e5e97ac807b8fb17507e0fb09008
    Author: fdumont <fdumont@138bc75d-0d04-0410-961f-82ee72b054a4>
    Date:   Fri Feb 1 20:44:41 2013 +0000

2013-02-01  François Dumont  <fdumont@gcc.gnu.org>

    * include/bits/hashtable_policy.h
    (_Prime_rehash_policy::_M_next_bkt)
    (_Prime_rehash_policy::_M_need_rehash): Move definition...
    * src/c++11/hashtable_c++0x.cc: ... here.
    * src/shared/hashtable-aux.cc: Remove c++config.h include.
    * config/abi/gnu.ver (GLIBCXX_3.4.18): Export _Prime_rehash_policy
    symbols.

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

libstdc++-v3/ChangeLog

* libstdc++-v3/src/c++11/hashtable_c++0x.cc (namespace std): Add
missing instantiation for std::lower_bound template.

From-SVN: r195783

re PR c++/54122 (segfault comparing enum class in lambda inside constructor of a templated class)

PR c++/54122
* tree.c (lvalue_kind) [INDIRECT_REF]: Don't check for
METHOD_TYPE.

From-SVN: r195781

re PR c++/56177 (ICE when used forward for 'auto f();')

PR c++/56177
* decl.c (start_preparsed_function): Update restype if we change
decl1.

From-SVN: r195780

re PR c++/56208 (Some classic sfinae cases fail to work due to access problems)

PR c++/56208
* pt.c (fn_type_unification): Discard any access checks from
substituting explicit args.

From-SVN: r195779

Daily bump.

From-SVN: r195777

re PR go/56172 (net FAILs on Solaris)

PR go/56172
runtime: Fix argument passed to forcegchelper.

From-SVN: r195774

* eo.po: New.

From-SVN: r195772

re PR go/55969 (libgo fails to build on darwin)

PR go/55969
* configure.ac: Disable libgo on some systems where it does not
work.

From-SVN: r195768

re PR go/56017 (libgo testsuite does not support cross testing)

PR go/56017
libgo: Use DejaGNU when testing a cross-compiler.

From-SVN: r195766

* tree.h (struct tree_decl_with_vis): Remove thread_local field.

From-SVN: r195762

re PR sanitizer/55374 ([asan] -static-libasan -static-libstdc++ doesn't work)

PR sanitizer/55374
* config/gnu-user.h (LIBTSAN_EARLY_SPEC): Define.
(STATIC_LIBTSAN_LIBS): Likewise.
* gcc.c (ADD_STATIC_LIBTSAN_LIBS, LIBTSAN_EARLY_SPEC): Define.
(LIBTSAN_SPEC): Add ADD_STATIC_LIBTSAN_LIBS, if LIBTSAN_EARLY_SPEC
is defined, don't add anything else beyond that.
(SANITIZER_EARLY_SPEC, SANITIZER_SPEC): Define.
(LINK_COMMAND_SPEC): Use them.

From-SVN: r195761

re PR tree-optimization/56205 (stdarg pass confused by jump threading)

PR tree-optimization/56205
* tree-stdarg.c (check_all_va_list_escapes): Return true if
there are any PHI nodes that set non-va_list_escape_vars SSA_NAME
and some va_list_escape_vars SSA_NAME appears in some PHI argument.

* gcc.dg/tree-ssa/stdarg-6.c: New test.
* gcc.c-torture/execute/pr56205.c: New test.

From-SVN: r195760

re PR tree-optimization/53342 (rnflow.f90 is ~5% slower after revision 187340)

2013-02-05  Richard Biener  <rguenther@suse.de>

PR tree-optimization/53342
PR tree-optimization/53185
* tree-vectorizer.h (vect_check_strided_load): Remove.
* tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Do
not disallow peeling for vectorized strided loads.
(vect_check_strided_load): Make static and simplify.
(vect_analyze_data_refs): Adjust.
* tree-vect-stmts.c (vectorizable_load): Handle peeled loops
correctly when vectorizing strided loads.

* gcc.dg/vect/pr53185-2.c: New testcase.

From-SVN: r195759

re PR middle-end/55797 (ICE: verify_cgraph_node failed: edge has no corresponding call_stmt)

PR tree-optimization/55789
* g++.dg/tree-ssa/inline-1.C: Update max-inliner-iterations.
* g++.dg/tree-ssa/inline-2.C: Update max-inliner-iterations.
* g++.dg/tree-ssa/inline-3.C: Update max-inliner-iterations.
* g++.dg/ipa/inline-1.C: New testcase.
* g++.dg/ipa/inline-2.C: New testcase.
* g++.dg/ipa/inline-3.C: New testcase.

From-SVN: r195758

install.texi: Refer to ISL, not PPL.

2013-02-05  Richard Biener  <rguenther@suse.de>

* doc/install.texi: Refer to ISL, not PPL.

From-SVN: r195752

re PR middle-end/55797 (ICE: verify_cgraph_node failed: edge has no corresponding call_stmt)

PR tree-optimization/55789
* g++.dg/tree-ssa/inline-1.C: Update max-inliner-iterations.
* g++.dg/tree-ssa/inline-2.C: Update max-inliner-iterations.
* g++.dg/tree-ssa/inline-3.C: Update max-inliner-iterations.
* g++.dg/ipa/inline-1.C: New testcase.
* g++.dg/ipa/inline-2.C: New testcase.
* g++.dg/ipa/inline-3.C: New testcase.
* params.def (PARAM_EARLY_INLINER_MAX_ITERATIONS): Drop to 1.

From-SVN: r195751

PR tree-optimization/r55789

* cgraphclones.c (cgraph_remove_node_and_inline_clones): Remove
the dead call anyway.

* g++.dg/torture/pr55789.C: New testcase.

From-SVN: r195750

re PR sanitizer/55374 ([asan] -static-libasan -static-libstdc++ doesn't work)

PR sanitizer/55374
* config/gnu-user.h (LIBASAN_EARLY_SPEC): Add missing guard.

From-SVN: r195749

re PR middle-end/56167 (ICE with invalid __attribute__ arguments)

PR middle-end/56167
* c-common.c (handle_error_attribute): Fix condition.

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

From-SVN: r195748

re PR bootstrap/56198 (Go profiledbootstrap error)

PR bootstrap/56198
compiler: Always initialize *nested_off in interpret_header.

From-SVN: r195747

Daily bump.

From-SVN: r195746

re PR target/55146 (jumptables with byte entries produce wrong code with -Os/-O2 for SH-1)

PR target/55146
* gcc.target/sh/pr55146.c: New.

From-SVN: r195743

re PR tree-optimization/54386 (Unaligned mem load wrongly generated for inlined inline/static function)

PR tree-optimization/54386
* gcc.target/sh/pr54386.c: New.

From-SVN: r195742

re PR fortran/56008 ([F03] wrong code with lhs-realloc on assignment with derived types having allocatable components)

2013-02-04  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/56008
PR fortran/47517
* trans-array.c (gfc_alloc_allocatable_for_assignment): Save
the lhs descriptor before it is modified for reallocation. Use
it to deallocate allocatable components in the reallocation
block.  Nullify allocatable components for newly (re)allocated
arrays.

2013-02-04  Paul Thomas  <pault@gcc.gnu.org>

PR fortran/56008
* gfortran.dg/realloc_on _assign_16.f90 : New test.

PR fortran/47517
* gfortran.dg/realloc_on _assign_17.f90 : New test.

From-SVN: r195741

MAINTAINERS: Explicitly add myself as AIX maintainer.

        * MAINTAINERS: Explicitly add myself as AIX maintainer.
        Remove Geoff Keating as rs6000 port maintainer, at his request.

From-SVN: r195739

functional_hash.h (std::__is_fast_hash<>): New.

2013-02-04  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/functional_hash.h (std::__is_fast_hash<>): New.
* include/bits/basic_string.h: Specialize previous to mark
std::hash for string types as slow.
* include/bits/hashtable.h (__cache_default): Replace is_integral
with __is_fast_hash.
* src/c++11/hash_c++0x.cc: Add type_traits include.
* testsuite/23_containers/unordered_set/instantiation_neg.cc:
Adapt dg-error line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: Likewise.

From-SVN: r195738

re PR sanitizer/55617 (static constructors are not being instrumented correctly on darwin)

2013-02-04  Alexander Potapenko <glider@google.com>
            Jack Howarth  <howarth@bromo.med.uc.edu>
        Jakub Jelinek  <jakub@redhat.com>

PR sanitizer/55617
* g++.dg/asan/pr55617.C: New test.

Co-Authored-By: Jack Howarth <howarth@bromo.med.uc.edu>
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r195737

Rename update-copyright.pl to update-copyright.py.

From-SVN: r195736

re PR sanitizer/55617 (static constructors are not being instrumented correctly on darwin)

2013-02-04  Alexander Potapenko <glider@google.com>
            Jack Howarth  <howarth@bromo.med.uc.edu>
        Jakub Jelinek  <jakub@redhat.com>

PR sanitizer/55617
* config/darwin.c (sort_ctor_records): Stabilized qsort
on constructor priority by using original position.
(finalize_ctors): New routine to sort constructors by
priority before use in assemble_integer.
(machopic_asm_out_constructor): Use finalize_ctors if needed.

Co-Authored-By: Jack Howarth <howarth@bromo.med.uc.edu>
Co-Authored-By: Jakub Jelinek <jakub@redhat.com>
From-SVN: r195735

Add contrib/update-copyright.pl.

From-SVN: r195734

PR libstdc++/56202 (again)

2013-02-04  Manuel López-Ibáñez  <manu@gcc.gnu.org>
    Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/56202 (again)
* include/bits/random.tcc (binomial_distribution<>::
_M_waiting(_UniformRandomNumberGenerator&, _IntType)): Fix thinko
in previous commit.

* include/bits/random.h: Fix comment typo.

Co-Authored-By: Paolo Carlini <paolo.carlini@oracle.com>
From-SVN: r195732