[multiple changes]

2013-01-29  Ben Brosgol  <brosgol@adacore.com>

* gnat_rm.texi: Fixed typos. Minor edits.

2013-01-29  Bob Duff  <duff@adacore.com>

* a-convec.adb: Minor reformatting.

2013-01-29  Pascal Obry  <obry@adacore.com>

* tempdir.adb, tempdir.ads (Use_Temp_Dir): Set wether to use the temp
directory.

From-SVN: r195548

Update dependencies.

From-SVN: r195547

[multiple changes]

2013-01-29  Ed Schonberg  <schonberg@adacore.com>

* exp_ch5.adb (Expand_Iterator_Loop_Over_Array): Preserve loop
identifier only if it comes from source.
(Expand_N_Loop_Statement): If the domain of iteration is an
enumeration type with a representation clause, remove from
visibility the loop identifier before rewriting the loop as a
block with a declaration for said identifier.
* sem_util.adb (Remove_Homonym): Handle properly the default case.

2013-01-29  Vincent Celier  <celier@adacore.com>

* prj-proc.adb: Minor comment spelling fix.

From-SVN: r195546

prj-proc.adb (Process_Expression_Variable_Decl): Prepend Project_Path to current environment.

2013-01-29  Pascal Obry  <obry@adacore.com>

* prj-proc.adb (Process_Expression_Variable_Decl): Prepend
Project_Path to current environment.

From-SVN: r195545

[multiple changes]

2013-01-29  Thomas Quinot  <quinot@adacore.com>

* sprint.adb (Sprint_Node_Actual): Output freeze nodes for
itypes even if Dump_Freeze_Null is not set.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* sem_util.adb: Minor reformatting.
* s-rident.ads: Minor comment fixes.

2013-01-29  Pascal Obry  <obry@adacore.com>

* prj-env.ads, prj-env.adb (Add_Directories): Add parameter to
control if the path is prepended or appended.

From-SVN: r195544

[multiple changes]

2013-01-29  Ed Schonberg  <schonberg@adacore.com>

* sem_ch6.adb (Analyze_Expression_Function): An expression
function declaration is not a subprogram declaration, and thus
cannot appear in a protected definition.

2013-01-29  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_util.adb (Insert_Actions): When new
actions come from the expression of the expression with actions,
then they must be added to the list of existing actions.

2013-01-29  Eric Botcazou  <ebotcazou@adacore.com>

* sem_ch3.adb (Analyze_Subtype_Declaration) <Private_Kind>: For
the subtype of a constrained private type with discriminants
that has got a full view, show that the completion is a clone
of the full view.

From-SVN: r195543

re PR c/56113 (out of memory when compiling a function with many goto labels (50k > ))

2013-01-29  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56113
* tree-ssa-structalias.c (equiv_class_lookup): Also return
the bitmap leader.
(label_visit): Free duplicate bitmaps and record the leader instead.
(perform_var_substitution): Adjust.

From-SVN: r195541

errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.

2013-01-29  Javier Miranda  <miranda@adacore.com>

* errout.ads, errout.adb (Get_Ignore_Errors): New subprogram.
* opt.ads (Warn_On_Overlap): Update documentation.
* sem_aggr.adb (Resolve_Aggregate, Resolve_Extension_Aggregate):
Check function writable actuals.
* sem_ch3.adb (Build_Derived_Record_Type,
Record_Type_Declaration): Check function writable actuals.
* sem_ch4.adb (Analyze_Range): Check function writable actuals.
* sem_ch5.adb (Analyze_Assignment): Remove code of the initial
implementation of AI05-0144.
* sem_ch6.adb (Analyze_Function_Return,
(Analyze_Procedure_Call.Analyze_Call_And_Resolve): Remove code
of the initial implementation of AI05-0144.
* sem_res.adb (Resolve): Remove code of the initial implementation.
(Resolve_Actuals): Call Check_Function_Writable_Actuals and remove call
of the initial implementation.
(Resolve_Arithmetic_Op, Resolve_Logical_Op,
Resolve_Membership_Op): Check function writable actuals.
* sem_util.ad[sb] (Actuals_In_Call): Removed
(Check_Order_Dependence): Removed (Save_Actual): Removed
(Check_Function_Writable_Actuals): New subprogram.
* usage.adb (Usage): Update documentation.
* warnsw.adb (Set_Warning_Switch): Enable warn_on_overlap when
setting all warnings.

From-SVN: r195540

[multiple changes]

2013-01-29  Robert Dewar  <dewar@adacore.com>

* a-calend-vms.adb: Minor comment fix.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* mlib-utl.adb, gnatlink.adb: Avoid reference to ASCII.Back_Slash
because of casing issues.
* sem_util.ads: Minor comment fix.
* style.adb (Check_Identifier): Set proper casing for entities
in ASCII.
* styleg.adb: Minor comment improvement.
* stylesw.ads (Style_Check_Standard): Fix bad comments.

2013-01-29  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb: Add the grammar for pragmas Abstract_State and Global.
(Analyze_Pragma): Push the scope of the related subprogram and install
its formals once before starting the analysis of the [moded] global
list.

2013-01-29  Pascal Obry  <obry@adacore.com>

* prj-proc.adb (Process_Expression_Variable_Decl): Always handle
relative paths in Project_Path as relative to the aggregate
project location. Note that this was what was documented.

2013-01-29  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: For "gnat stub -P ...", do not check the naming
scheme for Ada, when Ada is not a language for the project.

From-SVN: r195539

sem_ch3.adb (Analyze_Subtype_Declaration): Inherit Is_Generic_Actual_Type flag in a nested instance.

2013-01-29  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Analyze_Subtype_Declaration): Inherit
Is_Generic_Actual_Type flag in a nested instance.
* sem_ch12.adb (Restore_Private_Views): Preserve
Is_Generic_Actual_Type flag if actual is a Generic_Actual_Type
of an enclosing instance.
* sem_util.adb (Corresponding_Generic_Type): Handle generic actual
which is an actual of an enclosing instance.
* sem_type.adb (Real_Actual): If a generic_actual_type is the
formal of an enclosing generic and thus renames the corresponding
actual, use the actual of the enclosing instance to resolve
spurious ambiguities in instantiations when two formals are
instantiated with the same actual.

From-SVN: r195538

[multiple changes]

2013-01-29  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document all Ada 2005 and Ada 2012 pragmas as
being available as implementation-defined pragmas in earlier
versions of Ada.

2013-01-29  Vincent Celier  <celier@adacore.com>

* clean.adb (Delete): On VMS, delete all versions of the file.

From-SVN: r195537

[multiple changes]

2013-01-29  Robert Dewar  <dewar@adacore.com>

* par-ch6.adb (No_Constraint_Maybe_Expr_Func): New procedure.
* par-util.adb (No_Constraint): Undo special handling, moved
to par-ch6.adb.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* aspects.ads: Aspect Warnings is implementation defined Add
some other missing entries to impl-defined list Mark Warnings
as GNAT pragma in main list.
* sem_ch8.adb: Process aspects for all cases of renaming
declarations.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* sem_ch6.adb (Analyze_Function_Call): Set In_Assertion flag.
* sem_elab.adb (Check_Internal_Call_Continue): Do not issue
warnings about possible elaboration error if call is within
an assertion.
* sinfo.ads, sinfo.adb (In_Assertion): New flag in N_Function_Call node.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* a-calend-vms.adb, g-eacodu-vms.adb, g-trasym-vms-alpha.adb,
* s-auxdec-vms-ia64.adb, s-mastop-vms.adb, s-osprim-vms.adb,
s-tasdeb-vms.adb: Replace pragma Interface by pragma Import.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* opt.ads (Ignore_Style_Checks_Pragmas): New flag.
* par-prag.adb (Par, case Style_Checks): Recognize
Ignore_Style_Checks_Pragmas.
* sem_prag.adb (Analyze_Pragma, case Style_Checks): Recognize
Ignore_Style_Checks_Pragmas.
* switch-c.adb: Recognize -gnateY switch.
* usage.adb: Add documentation for "-gnateY".
* vms_data.ads: Add IGNORE_STYLE_CHECKS_PRAGMAS (-gnateY).

2013-01-29  Vincent Celier  <celier@adacore.com>

* clean.adb (Clean_Executables): Add Sid component when calling
Queue.Insert.
* make.adb: When inserting in the Queue, add the Source_Id
(Sid) when it is known (Start_Compile_If_Possible): When the
Source_Id is known (Sid), get the path name of the ALI file
(Full_Lib_File) from it, to avoid finding old ALI files in other
object directories.
* makeutl.ads (Source_Info): New Source_Id component Sid in
Format_Gnatmake variant.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document -gnateY.

2013-01-29  Doug Rupp  <rupp@adacore.com>

* s-osinte-vms.ads, s-taprop-vms.adb, system-vms_64.ads,
system-vms-ia64.ads: Replace pragma Interface by pragma Import.

From-SVN: r195536

[multiple changes]

2013-01-29  Robert Dewar  <dewar@adacore.com>

* atree.ads, atree.adb (Node30): New function.
(Set_Node30): New procedure.
(Num_Extension_Nodes): Change to 5 (activate new fields/flags).
* atree.h: Add macros for Field30 and Node30.
* einfo.ads, einfo.adb: Move some fields to avoid duplexing.
* treepr.adb (Print_Entity_Information): Print fields 30-35.

2013-01-29  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb (Analyze_Pragma, case Interface): Consider to
be a violation of No_Obsolescent_Features even in Ada 95. Also
generates a warning in -gnatwj mode.
(Analyze_Pragma, case Interface_Name): Generates a warning in -gnatwj
mode.
* gnat_ugn.texi: Additional documentation on -gnatwj and pragma
Interface[_Name].

2013-01-29  Vincent Celier  <celier@adacore.com>

* snames.ads-tmpl: Add new standard name Trailing_Switches.

2013-01-29  Ed Schonberg  <schonberg@adacore.com>

* sem_disp.adb (Check_Controlling_Type): If a designated type T
of an anonymous access type is a limited view of a tagged type,
it can be a controlling type only if the subprogram is in the
same scope as T.

2013-01-29  Vincent Celier  <celier@adacore.com>

* gnatcmd.adb: Use the project where the config pragmas file is
declared to get its path.

2013-01-29  Vincent Celier  <celier@adacore.com>

* prj-attr.adb: New attribute Linker'Trailing_Switches.

From-SVN: r195535

runtime: SPARCv9 fixes for lfstack.

From Rainer Orth.

From-SVN: r195534

re PR rtl-optimization/55270 (ICE in get_loop_body, at cfgloop.c:823)

2013-01-29  Richard Biener  <rguenther@suse.de>

PR tree-optimization/55270
* tree-ssa-dom.c (eliminate_degenerate_phis): If we changed
the CFG, schedule loops for fixup.

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

From-SVN: r195533

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

PR target/54222
* config/avr/t-avr (LIB2FUNCS_EXCLUDE): Add:
_mulQQ,  _mulHQ,  _mulHA,  _mulSA,
_mulUQQ, _mulUHQ, _mulUHA, _mulUSA,
_divQQ,  _divHQ,  _divHA,  _divSA,
_divUQQ, _divUHQ, _divUHA, _divUSA.

From-SVN: r195532

rl78.c (rl78_regno_mode_code_ok_for_base_p): Allow SP_REG.

* config/rl78/rl78.c (rl78_regno_mode_code_ok_for_base_p): Allow
SP_REG.

From-SVN: r195530

compiler: Correct initialization order determination.

From-SVN: r195526

Daily bump.

From-SVN: r195525

re PR libstdc++/56112 (cannot create unordered_map from range of types convertible to value_type)

PR libstdc++/56112
* include/bits/hashtable_policy.h (insert(_Pair&&)): Use _M_emplace
to construct value_type explicitly before trying to extract the key.
* testsuite/23_containers/unordered_map/cons/56112.cc: New.

From-SVN: r195520

hashtable_policy.h (_Local_iterator_base): Use _Hashtable_ebo_helper to embed functors into the local_iterator when necessary.

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

* include/bits/hashtable_policy.h (_Local_iterator_base): Use
_Hashtable_ebo_helper to embed functors into the local_iterator
when necessary. Pass information about functors involved in hash
code by copy.
* include/bits/hashtable.h (__cache_default): Do not cache for
builtin integral types unless the hash functor is not noexcept
qualified or is not default constructible. Adapt static assertions
and local iterator instantiations.
* include/debug/unordered_set
(std::__debug::unordered_set<>::erase): Detect local iterators to
invalidate using contained node rather than generating a dummy
local_iterator instance.
(std::__debug::unordered_multiset<>::erase): Likewise.
* include/debug/unordered_map
(std::__debug::unordered_map<>::erase): Likewise.
(std::__debug::unordered_multimap<>::erase): Likewise.
* testsuite/performance/23_containers/insert_erase/41975.cc: Test
std::tr1 and std versions of unordered_set regardless of any
macro. Add test on default cache behavior.
* testsuite/performance/23_containers/insert/54075.cc: Likewise.
* testsuite/23_containers/unordered_set/instantiation_neg.cc:
Adapt line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: New.
* testsuite/23_containers/unordered_set/buckets/swap.cc: New.

From-SVN: r195517

config.gcc (i[34567]86-*-rdos*, [...]): New targets.

* config.gcc (i[34567]86-*-rdos*, x86_64-*-rdos*): New targets.
* config/i386/i386.h (TARGET_RDOS): New macro.
(DEFAULT_LARGE_SECTION_THRESHOLD): New macro.
* config/i386/i386.c (ix86_option_override_internal): For 64bit
TARGET_RDOS, set ix86_cmodel to CM_MEDIUM_PIC and flag_pic to 1.
* config/i386/i386.opt (mlarge-data-threshold): Initialize to
DEFAULT_LARGE_SECTION_THRESHOLD.
* config/i386/i386.md (R14_REG, R15_REG): New constants.
* config/i386/rdos.h: New file.
* config/i386/rdos64.h: New file.

From-SVN: r195516

re PR other/54814 (ICE: unable to find a register to spill in class 'R0_REG')

PR other/54814
* reload.c (find_valid_class_1): Use in_hard_reg_set_p instead of
TEST_HARD_REG_BIT.

From-SVN: r195515

re PR rtl-optimization/56117 (ICE: in cselib_subst_to_values, at cselib.c:1853 with -O2 -fsched2-use-superblocks and __builtin_prefetch())

PR rtl-optimization/56117
* sched-deps.c (sched_analyze_2) <case PREFETCH>: For use_cselib
call cselib_lookup_from_insn on the MEM before calling
add_insn_mem_dependence.

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

From-SVN: r195513

tree-inline.c (remap_gimple_stmt): Do not assing a BLOCK to a stmt that didn't have one.

2013-01-28  Richard Biener  <rguenther@suse.de>

* tree-inline.c (remap_gimple_stmt): Do not assing a BLOCK
to a stmt that didn't have one.
(copy_phis_for_bb): Likewise for PHI arguments.
(copy_debug_stmt): Likewise for debug stmts.

From-SVN: r195509

re PR tree-optimization/56034 (ICE: verify_gimple failed (invalid PHI argument) with -ftree-loop-distribution)

2013-01-28  Richard Biener  <rguenther@suse.de>

PR tree-optimization/56034
* tree-loop-distribution.c (enum partition_kind): Add
PKIND_REDUCTION.
(partition_builtin_p): Adjust.
(generate_code_for_partition): Handle PKIND_REDUCTION.  Assert
it is the last partition.
(rdg_flag_uses): Check SSA_NAME_IS_DEFAULT_DEF before looking
up the vertex for the definition.
(classify_partition): Classify whether a partition is a
PKIND_REDUCTION, thus has uses outside of the loop.
(ldist_gen): Inherit PKIND_REDUCTION when merging partitions.
Merge all PKIND_REDUCTION partitions into the last partition.
(tree_loop_distribution): Seed partitions from reductions as well.

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

From-SVN: r195508

re PR tree-optimization/56125 (-O2 -ffast-math generates bad code when dividing a double by the square of another double.)

PR tree-optimization/56125
* tree-ssa-math-opts.c (gimple_expand_builtin_pow): Don't optimize
pow(x,c) into sqrt(x) * powi(x, n/2) or
1.0 / (sqrt(x) * powi(x, abs(n/2))) if c is an integer or when
optimizing for size.
Don't optimize pow(x,c) into powi(x, n/3) * powi(cbrt(x), n%3) or
1.0 / (powi(x, abs(n)/3) * powi(cbrt(x), abs(n)%3)) if 2c is an
integer.

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

From-SVN: r195507

re PR fortran/53537 (Explicit IMPORT of renamed USE-associated symbol fails)

2013-01-28  Tobias Burnus  <burnus@net-b.de>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/53537
* symbol.c (gfc_find_sym_tree): Don't look for the symbol outside an
interface block.
(gfc_get_ha_symtree): Let gfc_find_sym_tree lookup the parent namespace.
* decl.c (gfc_match_data_decl): Ditto.
(variable_decl): Remove undeclared type error.
(gfc_match_import): Use renamed instead of original name.

2013-01-28  Tobias Burnus  <burnus@net-b.de>
    Mikael Morin  <mikael@gcc.gnu.org>

PR fortran/53537
* gfortran.dg/import2.f90: Adjust undeclared type error messages.
* gfortran.dg/import8.f90: Likewise.
* gfortran.dg/interface_derived_type_1.f90: Likewise.
* gfortran.dg/import10.f90: New test.
* gfortran.dg/import11.f90: Likewise

Co-Authored-By: Mikael Morin <mikael@gcc.gnu.org>
From-SVN: r195506

re PR testsuite/56053 (FAIL: c-c++-common/asan/(global|stack)-overflow-1.c)

PR testsuite/56053
* c-c++-common/asan/heap-overflow-1.c: Don't include stdlib.h and
string.h.  Provide memset, malloc and free prototypes, adjust line
numbers in dg-output.
* c-c++-common/asan/stack-overflow-1.c: Don't include string.h.
Provide memset prototype and adjust line numbers in dg-output.
* c-c++-common/asan/global-overflow-1.c: Likewise.

From-SVN: r195505

re PR tree-optimization/56094 (Invalid line number info generated with tree-level ivopts)

PR tree-optimization/56094
* gimplify.c (force_gimple_operand_1): Temporarily set input_location
to UNKNOWN_LOCATION while gimplifying expr.

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

From-SVN: r195504

For Amol Pise.

2013-01-27  Amol Pise  <amolpise15@gmail.com>

* gcc.target/arm/neon-vfnms-1.c: New test.
* gcc.target/arm/neon-vfnma-1.c: New test.

From-SVN: r195503

aarch64.c (TARGET_FIXED_CONDITION_CODE_REGS): Undef to avoid warning.

2013-01-25   Naveen H.S  <Naveen.Hurugalawadi@caviumnetworks.com>

* config/aarch64/aarch64.c (TARGET_FIXED_CONDITION_CODE_REGS):
Undef to avoid warning.

From-SVN: r195502

Daily bump.

From-SVN: r195500

re PR target/56114 (x86_64-linux-gnu-gcc generate wrong asm instruction MOVABS for intel syntax)

PR target/56114
* config/i386/i386.md (*movabs<mode>_1): Add square brackets around
operand 0 in movabs insn template for -masm=intel asm alternative.
(*movabs<mode>_2): Ditto for operand 1.

testsuite/ChangeLog:

PR target/56114
* gcc.target/i386/pr56114.c: New test.

From-SVN: r195494

re PR fortran/55984 ([OOP] ICE: gfc_trans_code(): Bad statement code)

2013-01-27 Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55984
* ChangeLog : Correct wrong PR number.

From-SVN: r195493

[multiple changes]

2013-01-27 Paul Thomas  <pault@gcc.gnu.org>

PR fortran/55789
PR fortran/56047
* gfortran.h : Add associate_var to symbol_attr.
* resolve.c (resolve_assoc_var): Set associate_var attribute.
If the target class_ok is set, set it for the associate
variable.
* check.c (allocatable_check): Associate variables should not
have the allocatable attribute even if their symbols do.
* class.c (gfc_build_class_symbol): Symbols with associate_var
set will always have a good class container.

2013-01-27  Paul Thomas  <pault@gcc.gnu.org>

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

PR fortran/56047
* gfortran.dg/associate_13.f90: New test.

From-SVN: r195492

Daily bump.

From-SVN: r195491

gcc: PR target/54663

gcc:  PR target/54663
* config.gcc (microblaze*-linux*): Add tmake_file to allow building
of microblaze-c.o.
libgcc:
* config.host(microblaze*-linux*): tmake_file: Remove
t-slibgcc-nolc-override, add t-slibgcc-libgcc.
* config/microblaze/t-microblaze: Set LIB2FUNCS_EXCLUDE
to exclude functions from being built with libgcc.c and use
the microblaze assembly.

From-SVN: r195488

gcc/config.gcc (microblaze*-*-*): Rename microblaze*-*-elf, update tm_file.

libgcc/config.host (microblaze*-*-*): Rename microblaze*-*-elf, update extra_parts.

From-SVN: r195487

configure.ac (gcc_cv_ld_static_dynamic): Define for AIX native ld.

2013-01-25  Michael Haubenwallner  <michael.haubenwallner@salomon.at>

        * configure.ac (gcc_cv_ld_static_dynamic): Define for AIX native ld.
        * configure: Regenerate.

From-SVN: r195486

Daily bump.

From-SVN: r195485

libgo: Add --enable-werror configure option.

From-SVN: r195482

re PR other/56076 (Several 64-bit libgo tests FAIL in read_line_header)

PR other/56076
runtime: Support sparc64 in lfstack.

From-SVN: r195479

re PR other/56076 (Several 64-bit libgo tests FAIL in read_line_header)

PR other/56076
* dwarf.c (read_line_header): Don't crash if DW_AT_comp_dir
attribute was not seen.

From-SVN: r195478

remove unnecessary bits from g++.dg/warn/pmf2.C

From-SVN: r195477

re PR middle-end/56098 (conditional write through volatile pointer produces unintended read)

PR tree-optimization/56098
* tree-ssa-phiopt.c (nt_init_block): Don't call add_or_mark_expr
for stmts with volatile ops.
(cond_store_replacement): Don't optimize if assign has volatile ops.
(cond_if_else_store_replacement_1): Don't optimize if either
then_assign or else_assign have volatile ops.
(hoist_adjacent_loads): Don't optimize if either def1 or def2 have
volatile ops.

* gcc.dg/pr56098-1.c: New test.
* gcc.dg/pr56098-2.c: New test.

From-SVN: r195475

re PR c++/56095 (Crash casting function pointer as non-type template argument)

PR c++/56095
* pt.c (convert_nontype_argument_function): Handle invalid input.
(convert_nontype_argument): Likewise.

From-SVN: r195474

invoke.texi (AVR Built-in Macros): Document __XMEGA__.

* doc/invoke.texi (AVR Built-in Macros): Document __XMEGA__.

From-SVN: r195473

extend.texi (Example of asm with clobbered asm reg): Fix missing ':' in asm example.

* doc/extend.texi (Example of asm with clobbered asm reg): Fix
missing ':' in asm example.

From-SVN: r195471

re PR c++/56104 (Wrong "dereferencing type-punned pointer" warning)

PR c++/56104
* typeck.c (get_member_function_from_ptrfunc): Optimize if the
dynamic type has no virtual functions.

From-SVN: r195470

aarch64-simd-builtins.def: Separate sq<r>dmulh_lane entries into lane and laneq entries.

2013-01-25  Tejas Belagod  <tejas.belagod@arm.com>

        * config/aarch64/aarch64-simd-builtins.def: Separate sq<r>dmulh_lane
        entries into lane and laneq entries.
        * config/aarch64/aarch64-simd.md (aarch64_sq<r>dmulh_lane<mode>): Remove
        AdvSIMD scalar modes.
        (aarch64_sq<r>dmulh_laneq<mode>): New.
        (aarch64_sq<r>dmulh_lane<mode>): New RTL pattern for Scalar AdvSIMD
        modes.
        * config/aarch64/arm_neon.h: Fix all the vq<r>dmulh_lane* intrinsics'
        builtin implementations to relfect changes in RTL in aarch64-simd.md.
        * config/aarch64/iterators.md (VCOND): New.
        (VCONQ): New.

From-SVN: r195467

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

gcc/
PR target/54222
* config/avr/builtins.def (DEF_BUILTIN): Add LIBNAME argument.
Add NULL LIBNAME argument to existing definitions.
(ABSHR, ABSR, ABSLR, ABSLLR, ABSHK, ABSK, ABSLK, ABSLLK): New.
* config/avr/avr-c.c (DEF_BUILTIN): Add LIBNAME argument.
* config/avr/avr.c (DEF_BUILTIN): Same.
(avr_init_builtins): Pass down LIBNAME to add_builtin_function.
(avr_expand_builtin): Expand to a vanilla call if a libgcc
implementation is available (DECL_ASSEMBLER_NAME is set).
(avr_fold_absfx): New static function.
(avr_fold_builtin): Use it to handle: AVR_BUILTIN_ABSHR,
AVR_BUILTIN_ABSR, AVR_BUILTIN_ABSLR, AVR_BUILTIN_ABSLLR,
AVR_BUILTIN_ABSHK, AVR_BUILTIN_ABSK, AVR_BUILTIN_ABSLK,
AVR_BUILTIN_ABSLLK.
* config/avr/stdfix.h (abshr, absr, abslr, absllr)
(abshk, absk, abslk, absllk): Provide as static inline functions.

gcc/testsuite/
PR target/54222
* gcc.target/avr/torture/builtins-3-absfx.c: New test.

From-SVN: r195464

Fix PR56035.

From-SVN: r195462

Remove conflict marker

From-SVN: r195461

* MAINTAINERS: Update my email.

From-SVN: r195459

Daily bump.

From-SVN: r195451

i386.md (*movti_internal_rex64): Add (o,e) alternative.

* config/i386/i386.md (*movti_internal_rex64): Add (o,e) alternative.
(*movtf_internal_rex64): Add (!o,C) alternative
(*movxf_internal_rex64): Ditto.
(*movdf_internal_rex64): Add (?r,C) and (?m,C) alternatives.

From-SVN: r195446

bind_c_array_params_2.f90: Require -mno-relax-pic-calls for MIPS.

gcc/testsuite/
* gfortran.dg/bind_c_array_params_2.f90: Require -mno-relax-pic-calls
for MIPS.

From-SVN: r195443

octeon-pipe-1.c: Add -ffat-lto-objects

gcc/testsuite/
* gcc.target/mips/octeon-pipe-1.c: Add -ffat-lto-objects

From-SVN: r195441

re PR go/46986 (Go is not supported on Darwin)

PR go/46986
all: prepend #__USER_LABEL_PREFIX__ to mangled Go symbols
For old-fashioned Darwin.

From-SVN: r195438

invoke.texi: fix typo.

* doc/invoke.texi: fix typo.
* doc/objc.texi: fix typo.

From-SVN: r195437

re PR go/46986 (Go is not supported on Darwin)

PR go/46986
libgo/Makefile, libgo/go/os/stat_atimespec.go: fix typos

From-SVN: r195436

mips.md (*and<mode>3_mips16): Use the "W" constraint for the first two alternatives.

gcc/
* config/mips/mips.md (*and<mode>3_mips16): Use the "W" constraint
for the first two alternatives.

From-SVN: r195433

re PR c/56078 (causes cc1 to crash)

PR c/56078
* c-typeck.c (set_nonincremental_init_from_string): If
constructor_max_index is NULL, treat it as if tree_int_cst_lt
returned false.
(process_init_element): Likewise.

* gcc.dg/pr56078.c: New test.
* gcc.c-torture/compile/20030305-1.c: Add dg-error lines.

From-SVN: r195432

re PR tree-optimization/55927 (FAIL: g++.dg/ipa/devirt-10.C -std=gnu++11  scan-ipa-dump-times inline "Discovered a virtual call to a known target" 1)

2013-01-24  Martin Jambor  <mjambor@suse.cz>

PR tree-optimization/55927
* g++.dg/ipa/devirt-10.C: Disable early inlining.

From-SVN: r195430

Remove zone allocator.

This patch removes the GC zone allocator.  It is not used and it
produces several regressions in the testsuite.  Furthermore, it
complicates things for the plan to implement manual GC markers
(http://gcc.gnu.org/wiki/cxx-conversion/gc-alternatives#Do_GC_marking_manually).

Tested on x86_64 with standard checking, --enable-checking=gc and
--enable-checking=release.

From-SVN: r195426

avr.c (avr_out_fract): Make register numbers that might be outside of source operand signed.

* config/avr/avr.c (avr_out_fract): Make register numbers that
might be outside of source operand signed.

From-SVN: r195424

constraints.md (Yf): New constraint.

* config/i386/constraints.md (Yf): New constraint.
* config/i386/i386.md (*movdf_internal_rex64): Use Yf*f instead
of f constraint to conditionaly disable x87 register preferences.
(*movdf_internal): Ditto.
(*movsf_internal): Ditto.

testsuite/ChangeLog:

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

From-SVN: r195423

re PR libstdc++/56085 (Unsafe negation in C++03 pow(complex,int))

2013-01-24  Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/56085
* include/std/complex (pow(const complex<>&, int)): Avoid __n
signed overflow.

From-SVN: r195421

re PR inline-asm/55934 (LRA inline asm error recovery)

gcc/

PR inline-asm/55934
* lra-assigns.c (assign_by_spills): Throw away the pattern of asms
that have operands with impossible constraints.
Add a FIXME for a speed-up opportunity.
* lra-constraints.c (process_alt_operands): Verify that a class
selected from constraints on asms is valid for the operand mode.
(curr_insn_transform): Remove incorrect comment.

testsuite/

PR inline-asm/55934
* gcc.target/i386/pr55934.c: New test.

From-SVN: r195420

Daily bump.

From-SVN: r195417

isl.m4: don't echo $CFLAGS for ISL_CHECK_VERSION.

* config/isl.m4: don't echo $CFLAGS for ISL_CHECK_VERSION.
* configure: Re-generate.

From-SVN: r195414

Improve performance of byte-swapped I/O.

2013-01-23  Janne Blomqvist  <jb@gcc.gnu.org>

* io/file_pos.c (unformatted_backspace): Use __builtin_bswapXX
instead of reverse_memcpy.
* io/io.h (reverse_memcpy): Remove prototype.
* io/transfer.c (reverse_memcpy): Make static, move towards
beginning of file.
(bswap_array): New function.
(unformatted_read): Use bswap_array to byte swap the data
in-place.
(unformatted_write): Use a larger temp buffer and bswap_array.
(us_read): Use __builtin_bswapXX instead of reverse_memcpy.
(write_us_marker): Likewise.

From-SVN: r195413

re PR fortran/56081 (Seg fault ICE on select with bad case)

2013-01-23  Janus Weil  <janus@gcc.gnu.org>

PR fortran/56081
* resolve.c (resolve_select): Add argument 'select_type', reject
non-scalar expressions.
(resolve_select_type,resolve_code): Pass new argument to
'resolve_select'.

2013-01-23  Janus Weil  <janus@gcc.gnu.org>

PR fortran/56081
* gfortran.dg/select_8.f90: New.

From-SVN: r195412

* ChangeLog: Add missing entry.

From-SVN: r195411

i386.md (*movdf_internal_rex64): Disparage alternatives involving stack registers slightly.

* config/i386/i386.md (*movdf_internal_rex64): Disparage alternatives
involving stack registers slightly.

From-SVN: r195410

rs6000.c (rs6000_delegitimize_address): Check that TOC operand is a valid symbol ref in the constant pool.

        * config/rs6000/rs6000.c (rs6000_delegitimize_address): Check that
        TOC operand is a valid symbol ref in the constant pool.

From-SVN: r195409

Add TARGET_OS_CPP_BUILTINS for microblaze*-linux

From-SVN: r195408

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

PR target/54222
* config/avr/stdfix.h: New file.
* t-avr (stdfix-gcc.h): New rule to build it.
(EXTRA_HEADERS): Set it to install stdfix.h, stdfix-gcc.h.

From-SVN: r195407

Remove obsolete check for target_config_cflags, no longer set.

From-SVN: r195406

libsanitizer merge from upstream r173241

From-SVN: r195404

re PR fortran/56052 ([OOP] ICE in omp_add_variable, at gimplify.c:5606)

PR fortran/56052
* trans-decl.c (gfc_get_symbol_decl): Set DECL_ARTIFICIAL
and DECL_IGNORED_P on select_type_temporary and don't set
DECL_BY_REFERENCE.

* gfortran.dg/gomp/pr56052.f90: New test.

From-SVN: r195399

re PR target/49069 (ICE in gen_cstoredi4, at config/arm/arm.md:7554)

PR target/49069
* config/arm/arm.md (cbranchdi4, cstoredi4): Use s_register_operand
instead of cmpdi_operand for first comparison operand.
Don't assert that comparison operands aren't both constants.

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

From-SVN: r195398

Daily bump.

From-SVN: r195396

re PR c++/55944 ([C++11] static local member with constexpr c'tor causes ICE)

/cp
2013-01-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/55944
* decl.c (check_initializer): Use TARGET_EXPR_DIRECT_INIT_P only
on TARGET_EXPR nodes.

/testsuite
2013-01-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/55944
* g++.dg/cpp0x/constexpr-static10.C: New.

From-SVN: r195391

* testsuite/ChangeLog: Move ChangeLog entries to 2013.

From-SVN: r195389

install.texi (Downloading the Source): Update references to downloading separate components.

* doc/install.texi (Downloading the Source): Update references to
downloading separate components.

From-SVN: r195388

* doc/extend.texi (__int128): Improve grammar.

From-SVN: r195387

re PR target/56028 (Splitting a 64-bit volatile store)

PR target/56028
* config/i386/i386.md (*movti_internal_rex64): Change (o,riF)
alternative to (o,r).
(*movdi_internal_rex64): Remove (!o,n) alternative.
(DImode immediate->memory splitter): Remove.
(DImode immediate->memory peephole2): Remove.
(movtf): Enable for TARGET_64BIT || TARGET_SSE.
(*movtf_internal_rex64): Rename from *movtf_internal. Change (!o,F*r)
alternative to (!o,*r).
(*movtf_internal_sse): New pattern.
(*movxf_internal_rex64): New pattern.
(*movxf_internal): Disable for TARGET_64BIT.
(*movdf_internal_rex64): Remove (!o,F) alternative.

testsuite/ChangeLog:

2012-01-22  Uros Bizjak  <ubizjak@gmail.com>

PR target/56028
* gcc.target/i386/pr56028.c: New test.

From-SVN: r195386

explicit-hle.cc: Tightten scan-assembler-times regexps...

* testsuite/29_atomics/atomic_flag/test_and_set/explicit-hle.cc:
Tightten scan-assembler-times regexps, add dg-additional-options for
ia32, add -g0 -fno-exceptions -fno-asynchronous-unwind-tables to
dg-options.

From-SVN: r195383

re PR middle-end/56074 (ICE compiling gcc.dg/vect/pr49093.c)

PR middle-end/56074
* dumpfile.c (dump_loc): Only print loc if LOCATION_LOCUS (loc)
isn't UNKNOWN_LOCATION nor BUILTINS_LOCATION.
* tree-vect-loop-manip.c (find_loop_location): Also ignore
stmt locations where LOCATION_LOCUS of the stmt location is
UNKNOWN_LOCATION or BUILTINS_LOCATION.

From-SVN: r195382

re PR rtl-optimization/55686 (ICE in assign_by_spills, at lra-assigns.c:1244)

PR target/55686
* config/i386/i386.md (UNSPEC_STOS): New.
(strset_singleop, *strsetdi_rex_1, *strsetsi_1, *strsethi_1,
*strsetqi_1): Add UNSPEC_STOS.

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

From-SVN: r195381

re PR c++/56071 (friend class template cannot access private constructor in exception-specification)

PR c++/56071
* pt.c (maybe_instantiate_noexcept): Don't defer access checks.

From-SVN: r195378

re PR c++/56067 (Removal of -Wsynth from doc didn't remove example)

2013-01-22  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/56067
* doc/invoke.texi: Remove left over -Wsynth example.

From-SVN: r195375

re PR libgomp/51376 (libgomp taskwait failure)

PR libgomp/51376
PR libgomp/56073
* task.c (GOMP_task): Revert 2011-12-09 change.
(GOMP_taskwait): Likewise.  Instead use atomic load with acquire
barrier to read task->children..
(gomp_barrier_handle_tasks): ..and matching atomic store with
release barrier here when setting parent->children to NULL.

From-SVN: r195370

trans.c (gnat_to_gnu): Do not translate the Etype of the node before translating the Actions.

* gcc-interface/trans.c (gnat_to_gnu) <N_Expression_With_Actions>: Do
not translate the Etype of the node before translating the Actions.

From-SVN: r195368

PR c++/53609 - Wrong variadic template pack expansion in alias template

Consider this example:

     1 template<class...I> struct List {};
     2 template<int T> struct Z {static const int value = T;};
     3 template<int...T> using LZ = List<Z<T>...>;
     4
     5 template<class...U>
     6 struct F
     7 {
     8   using N = LZ<U::value...>; //#1 This should amount to List<Z<U::value>...>
     9 }
    10
    11 F<Z<1>, Z<2> >::N A; //#2

which G++ fails to compile, with this error message:

test-PR53609-3.cc: In instantiation of 'struct F<Z<1>, Z<2> >':
test-PR53609-3.cc:11:15:   required from here
test-PR53609-3.cc:3:43: error: wrong number of template arguments (2, should be 1)
 template<int...T> using LZ = List<Z<T>...>;
                                           ^
test-PR53609-3.cc:2:24: error: provided for 'template<int T> struct Z'
 template<int T> struct Z {static const int value = T;};

I think this is because in #1, when we substitute the argument pack
{U::value...} into the pack expansion Z<T>..., tsubst_pack_expansion
yields Z<U::value...>, instead of Z<U::value>..., so the instantiation
of LZ amounts to List<Z<U::value...> >, instead of
List<Z<U::value>...>.

The idea of this patch is to make tsubst_pack_expansion support
substituting an argument pack (into a pack expansion) where one of the
arguments (let's call it the Ith argument) is itself a pack expansion
P.  In that case, the Ith element resulting from the substituting
should be a pack expansion P'.

The pattern of P' is then the pattern of P into which the pattern of
the Ith argument of the argument pack has been substituted.

Tested on x86_64-unknown-linux-gnu against trunk.

gcc/cp/

* pt.c (argument_pack_element_is_expansion_p)
(make_argument_pack_select, use_pack_expansion_extra_args_p)
(gen_elem_of_pack_expansion_instantiation): New static functions.
(tsubst): When looking through an ARGUMENT_PACK_SELECT tree node,
look through the possibly resulting pack expansion as well.
(tsubst_pack_expansion): Use use_pack_expansion_extra_p to
generalize when to use the PACK_EXPANSION_EXTRA_ARGS mechanism.
Use gen_elem_of_pack_expansion_instantiation to build the
instantiation piece-wise.  Don't use arg_from_parm_pack_p anymore,
as gen_elem_of_pack_expansion_instantiation and the change in
tsubst above generalize this particular case.
(arg_from_parm_pack_p): Remove this for it's not used by
tsubst_pack_expansion anymore.

gcc/testsuite/

* g++.dg/cpp0x/variadic139.C: New test.
* g++.dg/cpp0x/variadic140.C: Likewise.
* g++.dg/cpp0x/variadic141.C: Likewise.

From-SVN: r195367

trans.c (Pragma_to_gnu): Use optimize_size instead of optimize and adjust warning message.

* gcc-interface/trans.c (Pragma_to_gnu) <Name_Space>: Use optimize_size
instead of optimize and adjust warning message.
(Compilation_Unit_to_gnu): Process pragmas preceding the unit.

From-SVN: r195366

gigi.h (ADT_unhandled_except_decl, [...]): New.

* gcc-interface/gigi.h (ADT_unhandled_except_decl,
ADT_unhandled_others_decl): New.
(unhandled_others_decl, unhandled_except_decl): Define.
* gcc-interface/trans.c: Include common/common-target.h.
(gigi): Initialize them.
(Subprogram_Body_to_gnu): On SEH targets, wrap the body of the main
function in a try/catch clause.

From-SVN: r195364

re PR libquadmath/56072 (info page wrongly defines M_PI_2 and M_PI_4)

PR libquadmath/56072
* libquadmath.texi (M_PI_2q, M_PI_4q): Fix up description.

From-SVN: r195360