sem_dim.adb: Minor error message change.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem_dim.adb: Minor error message change.
* freeze.adb (Freeze_Entity, array type case): Extend handling
of Implicit_Packing to handle multi-dimensional array case.
* gnat_rm.texi: Update doc on Implicit_Packing.

From-SVN: r200762

[multiple changes]

2013-07-08  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb: Minor reformatting.

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch4.adb (Complete_Object_Operation): In ASIS mode, if
the parent node is a selected component and the analysis as a
call is successful, set the type of the selector in the parent
node for subsequent checks, because the rewriting of the node
does not take place during pre-analysis.

From-SVN: r200761

[multiple changes]

 2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb, exp_ch3.adb: Minor reformatting.

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_N_Op_Eq): When comparing two
Bounded_Strings, use the predefined equality function of the
root Super_String type.

From-SVN: r200760

[multiple changes]

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Create_Alternative): Removed.
(Expand_N_If_Expression): Remove constant
In_Case_Or_If_Expression. Add local variable
Ptr_Typ. Inspect the "then" and "else" action lists
for transient controlled objects and generate code to
finalize them. (Is_Controlled_Function_Call): Removed.
(Process_Action): Update the comment on usage. Update the call
to Process_Transient_Object. There is no need to continue the
traversal of the object itself.
(Process_Actions): New routine.
(Process_Transient_Object): Moved to the top level of Exp_Ch4. Add
a new formal and update the related comment on usage.
* exp_util.adb (Within_Case_Or_If_Expression): Start the search
from the parent of the node.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* a-cusyqu.ads, a-cbprqu.ads, s-interr.ads, a-cuprqu.ads,
a-cbsyqu.ads: Minor reformatting (proper formatting of overriding).

From-SVN: r200759

[multiple changes]

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Attribute_Renaming): Treat 'Img as an attribute
that can be renamed as a function.

2013-07-08  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads: Document target dependency: FIONBIO may or may not
be inherited from listening socket by accepted socket.

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Apply_Accessibility_Check): Do not deallocate the object
on targets that can't deallocate.

From-SVN: r200758

[multiple changes]

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch3.adb (Freeze_Type): Generate a
subpools-related accessibility check only on profiles that
include the corresponding library unit.

2013-07-08  Gary Dismukes  <dismukes@adacore.com>

* sem_ch8.adb: Minor typo fixes.

From-SVN: r200757

[multiple changes]

2013-07-08  Javier Miranda  <miranda@adacore.com>

* sem_ch8.adb (Save_Scope_Stack): Adding documentation.
(Restore_Scope_Stack): Remove the elements of the list when the
visibility of each entity is restored.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* exp_ch9.adb, sem.ads, sem_util.adb: Minor reformatting.

From-SVN: r200756

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

2013-07-08  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb, sem_ch8.ads: Minor reformatting.

From-SVN: r200755

[multiple changes]

2013-07-08  Gary Dismukes  <dismukes@adacore.com>

* gnat_rm.texi: Minor reformatting and rewording for consistency.

2013-07-08  Bob Duff  <duff@adacore.com>

* exp_ch3.adb (Build_Master): If Desig_Type is an incomplete
view coming from a limited-with'ed package, use the nonlimited
view in case it has tasks.

2013-07-08  Javier Miranda  <miranda@adacore.com>

* sem_ch8.ad[sb] (Save_Scope_Stack): Modified to return the list
of entities which have been temporarily removed from immediate
visibility.
(Restore_Scope_Stack): Modified to receive an
additional parameter with the list of entities whose immediate
visibility must be restored.
* sem.adb (Do_Analyze): Use new version of
Save_Scope_Stack/Restore_Scope_Stack
* sem_ch12.adb (Inline_Instance_Body): Use new version of
Save_Scope_Stack and Restore_Scope_Stack

From-SVN: r200754

[multiple changes]

2013-07-08  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Pragma): Remove
variable Unit_Prag. Remove the check on duplicate mode for the
configuration form of the pragma.
(Redefinition_Error): Removed.

2013-07-08  Robert Dewar  <dewar@adacore.com>

* lib.ads, gnat_rm.texi, einfo.ads, sem_ch13.adb: Minor reformatting
and editing.

From-SVN: r200753

sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode,
pre-analyze only the original expression attached to the source
aspect, not the relocated expression of the pragma, to prevent
malformed trees in ASIS mode.
* sem_ch13.adb (Analyze_Aspect_Specifications): Revert previous
patch: the expression in the aspect for pre/post must be relocated
to the pragma for proper analysis.

From-SVN: r200752

i386-opts.h (enum stringop_alg): Add vector_loop.

ChangeLog:
        * config/i386/i386-opts.h (enum stringop_alg): Add vector_loop.
        * config/i386/i386.c (expand_set_or_movmem_via_loop): Use
        adjust_address instead of change_address to keep info about alignment.
        (emit_strmov): Remove.
        (emit_memmov): New function.
        (expand_movmem_epilogue): Refactor to properly handle bigger sizes.
        (expand_movmem_epilogue): Likewise and return updated rtx for
        destination.
        (expand_constant_movmem_prologue): Likewise and return updated rtx for
        destination and source.
        (decide_alignment): Refactor, handle vector_loop.
        (ix86_expand_movmem): Likewise.
        (ix86_expand_setmem): Likewise.
        * config/i386/i386.opt (Enum): Add vector_loop to option stringop_alg.

testsuite/ChangeLog:
        * gcc.target/i386/memcpy-vector_loop-1.c: New.
        * gcc.target/i386/memcpy-vector_loop-2.c: New.

From-SVN: r200751

Add links to the C++14 library implementation status page.

From-SVN: r200749

Add links to the C++14 librarry implementation status page.

From-SVN: r200748

Daily bump.

From-SVN: r200747

driver-i386.c (host_detect_local_cpu): Do not check signature_TM2_ebx, it interferes with signature_INTEL_ebx.

* config/i386/driver-i386.c (host_detect_local_cpu): Do not check
signature_TM2_ebx, it interferes with signature_INTEL_ebx.

From-SVN: r200744

Remove sample result for CDEF_CPLUSPLUS hack

From-SVN: r200743

Daily bump.

From-SVN: r200742

Remove cdef_cplusplus hack.

Add comments in front of fixes.
Trim lines over 90 characters to less than 80.

From-SVN: r200738

re PR target/57807 (Compile failure with __builtin_ia32_unpcklpd with -masm=intel)

2013-07-06  Uros Bizjak  <ubizjak@gmail.com>

* config/i386/sse.md (sse_movlhps): Change alternative 3
of operand 2 to "m".

2013-07-06  Uros Bizjak  <ubizjak@gmail.com>

PR target/57807
* config/i386/sse.md (iptr): New mode attribute.
(sse2_movq128): Add pointer size overrides for Intel asm dialect.
(<sse>_vm<plusminus_insn><mode>3): Ditto.
(<sse>_vmmul<mode>3): Ditto.
(<sse>_vmdiv<mode>3): Ditto.
(sse_vmrcpv4sf2): Ditto.
(<sse>_vmsqrt<mode>2): Ditto.
(sse_vmrsqrtv4sf2): Ditto.
(<sse>_vm<code><mode>3): Ditto.
(avx_vmcmp<mode>3): Ditto.
(<sse>_vmmaskcmp<mode>3): Ditto.
(<sse>_comi): Ditto.
(<sse>_ucomi): Ditto.
(*xop_vmfrcz_<mode>): Ditto.
(*fmai_fmadd_<mode>): Ditto.
(*fmai_fmsub_<mode>): Ditto.
(*fmai_fnmadd_<mode>): Ditto.
(*fmai_fnmsub_<mode>): Ditto.
(*fma4i_vmfmadd_<mode>): Ditto.
(*fma4i_vmfmsub_<mode>): Ditto.
(*fma4i_vmfnmadd_<mode>): Ditto.
(*fma4i_vmfnmsub_<mode>): Ditto.
(*xop_vmfrcz_<mode>): Ditto.
(sse_cvtps2pi): Ditto.
(sse_cvttps2pi): Ditto.
(sse_cvtss2si): Ditto.
(sse_cvtss2si_2): Ditto.
(sse_cvtss2siq_2): Ditto.
(sse_cvttss2si): Ditto.
(sse_cvttss2siq): Ditto.
(sse_cvtsd2si): Ditto.
(sse_cvtsd2si_2): Ditto.
(sse_cvtsd2siq_2): Ditto.
(sse_cvttsd2si): Ditto.
(sse_cvttsd2siq): Ditto.
(sse_cvtsd2ss): Ditto.
(sse_cvtss2sd): Ditto.
(avx2_pbroadcast<mode>): Ditto.
(avx2_pbroadcast<mode>_1): Ditto.
(*avx_vperm_broadcast_v4sf): Ditto.

(sse_movhlps): Ditto for movlp[sd]/movhp[sd] alternatives.
(sse_movlhps): Ditto.
(sse_storehps): Ditto.
(sse_loadhps): Ditto.
(sse_storelps): Ditto.
(sse_loadlps): Ditto.
(*vec_concatv4sf): Ditto.
(*vec_interleave_highv2df): Ditto.
(*vec_interleave_lowv2df): Ditto.
(*vec_extractv2df_1_sse): Ditto.
(*vec_extractv2df_0_sse): Ditto.
(sse2_storelpd): Ditto.
(sse2_loadlpd): Ditto.
(sse2_movsd): Ditto.
(*vec_concatv4si): Ditto.
(vec_concatv2di): Ditto.

* config/i386/mmx.md (mmx_punpcklbw): Add pointer size overrides
for Intel asm dialect.
(mmx_punpcklwd): Ditto.
(mmx_punpckldq): Ditto.

* config/i386/i386.c (ix86_print_operand) ['H']: Output 'qword ptr'
for intel assembler dialect.

testsuite/ChangeLog:

2013-07-06  Uros Bizjak  <ubizjak@gmail.com>

PR target/57807
* gcc.target/i386/pr57807.c: New test.

From-SVN: r200737

re PR target/29776 (result of ffs/clz/ctz/popcount/parity are already sign-extended)

PR target/29776
* fold-const.c (tree_call_nonnegative_warnv_p): Return true
for BUILT_IN_C{LZ,LRSB}*.
* tree.h (CASE_INT_FN): Add FN##IMAX case.
* tree-vrp.c (extract_range_basic): Handle
BUILT_IN_{FFS,PARITY,POPCOUNT,C{LZ,TZ,LRSB}}*.  For
BUILT_IN_CONSTANT_P if argument isn't (D) of PARM_DECL,
fall thru to code calling set_value*.
* builtins.c (expand_builtin): Remove *IMAX cases.
(fold_builtin_bitop): For BUILT_IN_CLRSB* return NULL_TREE
if width is bigger than 2*HWI.

* libgcc2.c (__floattisf): Avoid undefined signed overflow.

* gcc.dg/tree-ssa/vrp89.c: New test.

From-SVN: r200731

re PR c++/28262 (Inconsistent "default arguments are only permitted for function parameters".)

/cp
2013-07-06  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/28262
* parser.c (cp_parser_init_declarator): If we are parsing a typedef
set parser->default_arg_ok_p to false before cp_parser_declarator.

/testsuite
2013-07-06  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/28262
* g++.dg/parse/defarg16.C: New.

From-SVN: r200730

Daily bump.

From-SVN: r200728

const_iterator.cc: Tweak, avoid potential undefined behavior.

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

* testsuite/23_containers/deque/modifiers/insert/const_iterator.cc:
Tweak, avoid potential undefined behavior.
* testsuite/23_containers/list/modifiers/insert/const_iterator.cc:
Likewise.
* testsuite/23_containers/vector/bool/modifiers/insert/
const_iterator.cc: Likewise.
* testsuite/23_containers/vector/modifiers/insert/const_iterator.cc:
Likewise.

From-SVN: r200725

hashtable_policy.h (_ReuseOrAllocNode): Use forward pattern.

2013-07-05  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/hashtable_policy.h (_ReuseOrAllocNode): Use forward
pattern.
(_MoveReuseOrAllocNode): Remove.
(_Insert_base): Take a functor defining how the node is generated.
* include/bits/hashtable.h: Adapt.
(operator=(initializer_list<value_type>)): Reuse node if any.
* testsuite/23_containers/unordered_set/instantiation_neg.cc:
Adjust dg-error line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: Likewise.

From-SVN: r200724

re PR rtl-optimization/55342 ([LRA,x86] Non-optimal code for simple loop with LRA)

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

PR rtl-optimization/55342
* lra-int.h (lra_subreg_reload_pseudos): New.
* lra.c: Add undoing optional reloads to the block diagram.
(lra_subreg_reload_pseudos): New.
(lra_optional_reload_pseudos): Change comments.
(lra): Init and clear lra_subreg_reload_pseudos.  Clear
lra_optional_reload_pseudos after undo transformations.
* lra-assigns.c (pseudo_prefix_title): New.
(lra_setup_reg_renumber): Use it.
(spill_for): Ditto.  Check subreg reload pseudos too.
(assign_by_spills): Consider subreg reload pseudos too.
* lra-constraints.c (simplify_operand_subreg): Use
lra_subreg_reload_pseudos instead of lra_optional_reload_pseudos.
(curr_insn_transform): Recognize and do optional reloads.
(undo_optional_reloads): New.
(lra_undo_inheritance): Call undo_optional_reloads.

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

PR rtl-optimization/55342
* gcc.target/i386/pr55342.c: New.

From-SVN: r200723

ChangeLog: Fix whitespace.

* ChangeLog: Fix whitespace.
* testsuite/ChangeLog: Ditto.

From-SVN: r200721

Fix pr57518.c test case.

From-SVN: r200720

re PR c++/14263 (Cryptic diagnostic for cast from virtual base class not using dynamic_cast)

/cp
2013-07-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/14263
* class.c (build_base_path): Improve diagnostic.

/testsuite
2013-07-05  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/14263
* g++.dg/inherit/virtual10.C: New.

From-SVN: r200718

aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.

2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

* aspects.adb: Add an entry for SPARK_Mode in table Canonical_Aspect.
* aspects.ads: Add an entry for SPARK_Mode in tables Aspect_Id,
Aspect_Argument, Aspect_Names.
* atree.adb (Node32): New routine.
(Set_Node32): New routine.
* atree.ads (Node32): New routine.
(Set_Node32): New routine.
* einfo.adb: Node32 is now used as SPARK_Mode_Pragmas.
(Set_SPARK_Mode_Pragmas): New routine.
(SPARK_Mode_Pragmas): New routine.
(Write_Field32_Name): Add and entry for SPARK_Modes.
* einfo.ads: Add attribute SPARK_Mode_Pragmas along with usage
in various entities.
(Set_SPARK_Mode_Pragmas): New routine and
pragma Inline.
(SPARK_Mode_Pragmas): New routine and pragma Inline.
* gnat_rm.texi: Add sections explaining the syntax and semantics
of aspect/pragma SPARK_Mode.
* gnat_ugn.texi: Add pragma SPARK_Mode to the list of
configuration pragmas.
* lib.adb (Set_SPARK_Mode_Pragma): New routine.
(SPARK_Mode_Pragma): New routine.
* lib.ads: Alphabetize the comments on fields of record
Unit_Record. Add new field SPARK_Mode_Pragma along with
comment on its usage. Update the layout of record Unit_Record.
(Set_SPARK_Mode_Pragma): New routine and pragma Inline.
(SPARK_Mode_Pragma): New routine and pragma Inline.
* lib-load.adb (Create_Dummy_Package_Unit): Initialize
field SPARK_Mode_Pragma.
(Load_Main_Source): Initialize field SPARK_Mode_Pragma.
(Load_Unit): Initialize field SPARK_Mode_Pragma.
* lib-writ.adb (Add_Preprocessing_Dependency): Initialize field
SPARK_Mode_Pragma.
(Ensure_System_Dependency): Initialize field SPARK_Mode_Pragma.
* opt.ads: Alphabetize verification flags. Store the
compilation-wide SPARK mode in variable Global_SPARK_Mode.
* par-prag.adb: Pragma SPARK_Mode does not need special processing
by the parser.
* sem_ch13.adb (Analyze_Aspect_Specifications): Convert aspect
SPARK_Mode into a pragma.
(Check_Aspect_At_Freeze_Point): Aspect SPARK_Mode does not need
delayed processing.
* sem_prag.adb: Add an entry for SPARK_Mode in table Sig_Flags.
(Analyze_Pragma): Add processing for pragma SPARK_Mode.
(Get_SPARK_Mode_Id): New routine.
(Is_Elaboration_SPARK_Mode): New routine.
(Is_Private_SPARK_Mode): New routine.
* sem_prag.ads (Get_SPARK_Mode_Id): New routine.
(Is_Elaboration_SPARK_Mode): New routine.
(Is_Private_SPARK_Mode): New routine.
* sinfo.ads: Update the comment on the usage of field Next_Pragma.
* snames.ads-tmpl: Add new predefined name for SPARK_Mode and
Auto. Add new pragma Id for SPARK_Mode.
* types.ads: Add new type SPARK_Mode_Id.

From-SVN: r200711

sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the expression to the generated pragma...

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): For
pre/postconditions copy the expression to the generated pragma,
to avoid sharing between the original aspect and the pragma node,
because in ASIS_Mode both will be independently analyzed.

From-SVN: r200710

exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of formals for each discriminant of an unchecked union.

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* exp_ch3.adb (Build_Variant_Record_Equality): Add pairs of
formals for each discriminant of an unchecked union.
(Make_Eq_Case): Suprogram accepts a list of discriminants. Nested
variants are supported. New helper function Corresponding_Formal.
* exp_ch4.adb (Build_Equality_Call): For unchecked unions,
loop through discriminants to create list of inferred values,
and modify call to equality routine accordingly.

From-SVN: r200709

[multiple changes]

2013-07-05  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: Add preconditions when needed +
container types are not tagged any more.

2013-07-05  Thomas Quinot  <quinot@adacore.com>

* freeze.adb (Freeze_Entity): For an object with captured
initialization statements, do not remove Init_Stmts from the
enclosing list, as Freeze_All might rely on it to know where to
stop freezing.

From-SVN: r200708

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

2013-07-05  Robert Dewar  <dewar@adacore.com>

* exp_ch4.adb, a-cfdlli.ads, a-ngelfu.ads, s-bignum.adb: Minor
reformatting.

From-SVN: r200707

exp_ch4.adb (Expand_Composite_Equality): Use the full view when the base type is private.

2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

* exp_ch4.adb (Expand_Composite_Equality): Use the full view
when the base type is private.

From-SVN: r200706

[multiple changes]

2013-07-05  Claire Dross  <dross@adacore.com>

* a-cfdlli.ads: Add preconditions when needed.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* sem_ch8.adb: Minor reformatting.

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch3.adb (Access_Subprogram_Declaration): Use
Generate_Reference_To_Formals.
* lib-xref.adb (Generate_Reference_To_Formals): In the case of
access to subprograms, the formals are found in the designated
subprogram type.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_ugn.texi: Document that comments can be lined up with
previous non-blank line.
* styleg.adb (Check_Comment): Allow indentation to match previous
non-blank line (Same_Column_As_Previous_Line): New function

From-SVN: r200705

[multiple changes]

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Update doc on missing pragmas.
* sem_ch12.adb: Minor comment additions.

2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

* sem_prag.adb (Analyze_Pragma): Ensure that
Contract_Cases, Depends and Global are analyzed when they apply
to a subprogram compilation unit. The pragmas are all added
unconditionally to the construct's contract. This ensures that
proof tools can locate the pragmas.

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch8.adb (Freeze_Actual_Profile): An instance within
a generic unit does not freeze a generic private type of the
enclosing generic. This rule must also apply to a type derived
from a generic private type.

From-SVN: r200704

const_iterator.cc: Tweak, avoid potential undefined behavior.

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

* testsuite/23_containers/deque/modifiers/insert/const_iterator.cc:
Tweak, avoid potential undefined behavior.
* testsuite/23_containers/list/modifiers/insert/const_iterator.cc:
Likewise.
* testsuite/23_containers/vector/bool/modifiers/insert/
const_iterator.cc: Likewise.
* testsuite/23_containers/vector/modifiers/insert/const_iterator.cc:
Likewise.

From-SVN: r200703

[multiple changes]

2013-07-05  Arnaud Charlet  <charlet@adacore.com>

* gnat_rm.texi: Add missing documentation for pragmas.

2013-07-05  Yannick Moy  <moy@adacore.com>

* sem_ch12.adb: Minor comment.

From-SVN: r200702

gnat_rm.texi: Document that -gnatR and -gnatD cannot be used together.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Document that -gnatR and -gnatD cannot be used
together.
* switch-c.adb: Do not allow -gnatD and -gnatR to both be
specified.

From-SVN: r200701

[multiple changes]

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add missing documentation for pragmas.
* sem_ch8.adb: Minor reformatting.
* gnat_ugn.texi: Document that -gnatR and -gnatD cannot be used
together.

2013-07-05  Yannick Moy  <moy@adacore.com>

* sem_ch12.ads, sem_ch12.adb (Need_Subprogram_Instance_Body): Force
instance of subprogram body in SPARK mode, by testing Expander_Active
(set in SPARK mode) instead of Full_Expander_Active (not set in
SPARK mode).
* sem_ch8.adb: Minor reformatting.

From-SVN: r200700

freeze.adb (Freeze_Entity): Remove test of obsolete flag Propagate_Exceptions...

2013-07-05  Robert Dewar  <dewar@adacore.com>

* freeze.adb (Freeze_Entity): Remove test of obsolete flag
Propagate_Exceptions, and associated useless code that did
nothing.
* gnat_rm.texi: Add documentation for obsolete pragma
Propagate_Exceptions.
* opt.ads (Propagate_Exceptions): Obsolete flag removed.
* sem_prag.adb (Analyze_Pragma, case Propagate_Exceptions):
Remove useless and obsolete setting of Propagate_Exceptions flag.

From-SVN: r200698

gnat_rm.texi, [...]: Minor comment/text fixes.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi, sem_prag.adb: Minor comment/text fixes.

From-SVN: r200697

gnat_rm.texi: Add missing doc for various pragmas.

2013-07-05  Robert Dewar  <dewar@adacore.com>

* gnat_rm.texi: Add missing doc for various pragmas.

From-SVN: r200696

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

2013-07-05  Robert Dewar  <dewar@adacore.com>

* par_sco.adb, sem_ch12.adb, par-ch5.adb: Minor reformatting.
* gnat_rm.texi: Document pragma Profile_Warnings.
* restrict.ads, sem_prag.adb: Minor reformatting.

From-SVN: r200695

[multiple changes]

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Check_Formal_Package_Instance): Handle properly
a formal subprogram that was defaulted in the formal package.

2013-07-05  Thomas Quinot  <quinot@adacore.com>

* par_sco.adb (Traverse_Declarations_Or_Statements): Ignore
N_Implicit_Label_Declaration nodes.

From-SVN: r200694

* tree-complex.c (expand_complex_operations_1): Fix typo.

From-SVN: r200693

[multiple changes]

2013-07-05  Robert Dewar  <dewar@adacore.com>

* a-cfhase.adb, sem_prag.adb, a-cfhama.adb: Minor reformatting.

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch12.adb (Copy_Generic_Node): Check that name in function
call is a valid entity name before preserving entity in generic
copy.

2013-07-05  Thomas Quinot  <quinot@adacore.com>

* par-ch5.adb: Minor reformatting.

2013-07-05  Thomas Quinot  <quinot@adacore.com>

* sinfo.ads: Minor clarification to documentation for
N_Implicit_Label_Declaration.

2013-07-05  Hristian Kirtchev  <kirtchev@adacore.com>

* a-except-2005.adb, a-except.adb: Add constant Rmsg_17. Correct the
values of all remaining constants.
(Rcheck_35): New routine along with pragmas Export and No_Return.
(Rcheck_PE_Aliased_Parameters): New routine along with pragmas
Export and No_Return.
(Rcheck_PE_All_Guards_Closed,
Rcheck_PE_Bad_Predicated_Generic_Type,
Rcheck_PE_Current_Task_In_Entry_Body,
Rcheck_PE_Duplicated_Entry_Address, Rcheck_PE_Explicit_Raise,
Rcheck_PE_Implicit_Return, Rcheck_PE_Misaligned_Address_Value,
Rcheck_PE_Missing_Return, Rcheck_PE_Overlaid_Controlled_Object,
Rcheck_PE_Potentially_Blocking_Operation
Rcheck_PE_Stubbed_Subprogram_Called,
Rcheck_PE_Unchecked_Union_Restriction,
Rcheck_PE_Non_Transportable_Actual, Rcheck_SE_Empty_Storage_Pool,
Rcheck_SE_Explicit_Raise, Rcheck_SE_Infinite_Recursion,
Rcheck_SE_Object_Too_Large, Rcheck_PE_Finalize_Raised_Exception):
Update the use of Rmsg_XX.
(Rcheck_17, Rcheck_18, Rcheck_19,
Rcheck_20, Rcheck_21, Rcheck_22, Rcheck_23, Rcheck_24, Rcheck_25,
Rcheck_26, Rcheck_27, Rcheck_28, Rcheck_29, Rcheck_30, Rcheck_31,
Rcheck_32, Rcheck_33, Rcheck_34, Rcheck_35): Update corresponding
renamed subprograms.
* checks.adb: Add with and use clause for Stringt.
(Apply_Parameter_Aliasing_Checks): Make constant Loc visible in
all subprograms of Apply_Parameter_Aliasing_Checks. Remove local
variable Cond. Initialize Check at the start of the routine. Use
routine Overlap_Check to construct a simple or a detailed run-time
check. Update the creation of the simple check.
(Overlap_Check): New routine.
* exp_ch11.adb (Get_RT_Exception_Name): Add a value for
PE_Aliased_Parameters.
* types.ads: Add new enumeration literal
PE_Aliased_Parameters. Update the corresponding integer values
of all RT_Exception_Code literals.
* types.h: Add new constant PE_Aliased_Parameters. Correct the
values of all remaining constants.

2013-07-05  Yannick Moy  <moy@adacore.com>

* gnat_rm.texi: Minor renaming of SPARK into SPARK 2005 in
documentation.

From-SVN: r200690

sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide condition...

2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_PPC_In_Decl_Part): For a class-wide
condition, when replacing the name of a formal by a conversion
to the class-wide type, exempt selector names that appear in
parameter associations.

From-SVN: r200689

Daily bump.

From-SVN: r200686

re PR c/57821 ('array is too large' error is missing when sizetype overflows)

gcc/c:
        PR c/57821
        * c-typeck.c (set_init_index): When folding, check for index overflow.
gcc/c-family:
        PR c/57821
        * c-common.c (complete_array_type): Delay folding first index
        like other indices.  When folding, check for index overflow.
gcc/testsuite:
        PR c/57821
        * gcc.dg/large-size-array-6.c: New test.

From-SVN: r200683

re PR c++/38634 (ICE with wrong number of template parameters)

/cp
2013-07-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/38634
* decl.c (start_preparsed_function): Return a bool, false if
push_template_decl fails.
(start_function): Adjust.
* cp-tree.h: Update.

/testsuite
2013-07-04  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/38634
* g++.dg/template/crash116.C: New.

From-SVN: r200682

codecvt_members.cc: Fix typo.

2013-07-04  Veres Lajos  <vlajos@gmail.com>
    Jonathan Wakely  <jwakely.gcc@gmail.com>

* config/locale/generic/codecvt_members.cc: Fix typo.
* configure.host: Likewise.
* doc/html/manual/policy_data_structures_design.html: Likewise.
* doc/xml/manual/policy_data_structures.xml: Likewise.
* include/bits/hashtable.h: Likewise.
* include/bits/random.h: Likewise.
* include/profile/impl/profiler_trace.h: Likewise.
* testsuite/23_containers/deque/cons/2.cc: Likewise.
* testsuite/23_containers/deque/debug/shrink_to_fit.cc: Likewise.
* testsuite/ext/pb_ds/example/basic_multimap.cc: Likewise.
* testsuite/performance/23_containers/insert_erase/41975.cc: Likewise.

Co-Authored-By: Jonathan Wakely <jwakely.gcc@gmail.com>
From-SVN: r200681

Add missing ChangeLog entry.

From-SVN: r200680

vrp66.c: Make conditional on { target { ! int16 } } .

        * gcc.dg/tree-ssa/vrp66.c: Make conditional on { target { ! int16 } } .
        * gcc.dg/tree-ssa/vrp66-int16-sw.c: New test.

From-SVN: r200679

Vector Cost Model.

2013-07-04  Tejas Belagod  <tejas.belagod@arm.com>

Vector Cost Model.
        * config/aarch64/aarch64-protos.h (cpu_vector_cost): New.
        (tune_params): New member 'const vec_costs'.
        * config/aarch64/aarch64.c (generic_vector_cost): New.
        (generic_tunings): New member 'generic_vector_cost'.
        (aarch64_builtin_vectorization_cost): New.
        (aarch64_add_stmt_cost): New.
        (TARGET_VECTORIZE_ADD_STMT_COST): New.
        (TARGET_VECTORIZE_BUILTIN_VECTORIZATION_COST): New.

From-SVN: r200670

re PR c++/54998 (Internal compiler error with union member initialization using default constructor)

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

PR c++/54998
* g++.dg/cpp0x/nsdmi-list3.C: New.

From-SVN: r200667

exception.c: Add check for SjLj to SEH blocks.

2013-07-04  Kai Tietz  <ktietz@redhat.com>

* exception.c: Add check for SjLj to SEH blocks.

From-SVN: r200663

re PR libstdc++/57808 (operators == and != for regex_token_iterator need to be const)

2013-07-04  Ray Chason  <chasonr@newsguy.com>
    Paolo Carlini  <paolo.carlini@oracle.com>

PR libstdc++/57808
* include/bits/regex.h (regex_token_iterator<>::operator==,
regex_token_iterator<>::operator!=, regex_token_iterator<>::operator*,
regex_token_iterator<>::operator->): Declare const.

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

Daily bump.

From-SVN: r200654

re PR target/57777 (Python module fails compilation with "-march=core-avx2 -O3")

PR target/57777
* config/i386/predicates.md (vsib_address_operand): Disallow
SYMBOL_REF or LABEL_REF in parts.disp if TARGET_64BIT && flag_pic.

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

From-SVN: r200649

re PR c++/57771 (g++ misinterprets >> in static_cast)

PR c++/57771
* parser.c (cp_parser_postfix_expression) <case RID_STATCAST>
Temporarily set parser->greater_than_is_operator_p for
cp_parser_expression and restore from saved value afterwards.

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

From-SVN: r200647

re PR middle-end/55030 (gcc.c-torture/execute/builtins/memcpy-chk.c execution,  -Os (et al))

PR middle-end/55030
* stmt.c (expand_nl_goto_receiver): Remove almost-copy of
expand_builtin_setjmp_receiver.
(expand_label): Adjust, call expand_builtin_setjmp_receiver
with NULL for the label parameter.
* builtins.c (expand_builtin_setjmp_receiver): Don't clobber
the frame-pointer.  Adjust comments.
[HAVE_builtin_setjmp_receiver]: Emit builtin_setjmp_receiver
only if LABEL is non-NULL.

From-SVN: r200643

[AArch64] Remove unused types and variable claimed to handle abi types.

gcc/

* config/aarch64/aarch64.h (enum arm_abi_type): Remove.
(ARM_ABI_AAPCS64): Ditto.
(arm_abi): Ditto.
(ARM_DEFAULT_ABI): Ditto.

From-SVN: r200637

[AArch64] Convert ld1, st1 arm_neon.h intrinsics to RTL builtins.

gcc/
* config/aarch64/aarch64-builtins.c
(aarch64_simd_expand_builtin): Handle AARCH64_SIMD_STORE1.
* config/aarch64/aarch64-simd-builtins.def (ld1): New.
(st1): Likewise.
* config/aarch64/aarch64-simd.md
(aarch64_ld1<VALL:mode>): New.
(aarch64_st1<VALL:mode>): Likewise.
* config/aarch64/arm_neon.h
(vld1<q>_<fpsu><8, 16, 32, 64>): Convert to RTL builtins.

From-SVN: r200634

Daily bump.

From-SVN: r200630

Allow functions for AVX target inline functions for lower target.

Allow functions for AVX target inline functions for lower target.  This bug was
reported here: http://gcc.gnu.org/ml/gcc-patches/2013-06/msg01620.html

2013-07-02  Sriraman Tallam  <tmsriram@google.com>

* config/i386/i386.c (gate_insert_vzeroupper): Check if target
ISA is AVX.
(ix86_option_override_internal):Turn on all -mavx target flags by
default as they are dependent on AVX anyway.

* gcc.target/i386/avx-inline.c: New test.

From-SVN: r200627

dwarf2out.c (loc_checksum): Call hash_loc_operands for a deterministic hash.

gcc/
* dwarf2out.c (loc_checksum): Call hash_loc_operands for a
deterministic hash.
(loc_checksum_ordered): Likewise.
(hash_loc_operands): Remove inline keyword.

From-SVN: r200626

call-1.c: Accept JALRS and JALR.

2013-07-02  Maciej W. Rozycki  <macro@codesourcery.com>

        * gcc.target/mips/call-1.c: Accept JALRS and JALR.
        * gcc.target/mips/call-2.c: Likewise.
        * gcc.target/mips/call-3.c: Likewise.
        * gcc.target/mips/lazy-binding-1.c: Likewise.

From-SVN: r200621

* ru.po: Update.

From-SVN: r200604

Added missed file from previous fixincludes commit.

      fixincludes/tests/base/linux/compiler.h: New.

From-SVN: r200603

re PR tree-optimization/57741 (ICE in tree.c:build_int_cst_wide starting in revision 200394)

PR tree-optimization/57741
* tree-vect-loop.c (vect_is_simple_iv_evolution): Disallow
non-INTEGRAL_TYPE_P non-SCALAR_FLOAT_TYPE_P SSA_NAME step_exprs,
or SCALAR_FLOAT_TYPE_P SSA_NAMEs if !flag_associative_math.
Allow REAL_CST step_exprs if flag_associative_math.
(get_initial_def_for_induction): Handle SCALAR_FLOAT_TYPE_P step_expr.

* gcc.dg/vect/pr57741-1.c: New test.
* gcc.dg/vect/pr57741-2.c: New test.
* gcc.dg/vect/pr57741-3.c: New test.

From-SVN: r200600

AArch64 - Update insv tests for big endian

From-SVN: r200597

AArch64 Support abs standard pattern for DI mode

From-SVN: r200596

AArch64 Support BFXIL in backend

From-SVN: r200595

arm.md (arm_andsi3_insn): Add alternatives for 16-bit encoding.

2013-07-02  Kyrylo Tkachov  <kyrylo.tkachov@arm.com>

* config/arm/arm.md (arm_andsi3_insn): Add alternatives for 16-bit
encoding.
(iorsi3_insn): Likewise.
(arm_xorsi3): Likewise.

From-SVN: r200593

Daily bump.

From-SVN: r200588

+2013-07-01 Balaji V.

+2013-07-01  Balaji V. Iyer  <balaji.v.iyer@intel.com>
+
+ PR c/57766
+       * c-c++-common/cilk-plus/AN/sec_implicit_ex.c (NUMBER): Changed
+       array sizes from 100 to 20.
+

From-SVN: r200581

stl_list.h (list<>::insert(iterator, size_type, const value_type&), [...]): Adjust C++11 signatures to take const_iterator(s).

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

* include/bits/stl_list.h (list<>::insert(iterator,
size_type, const value_type&), list<>::insert(iterator,
initializer_list<>), list<>::insert(iterator, _InputIterator,
_InputIterator), list<>::splice(iterator, list&&),
list<>::splice(iterator, list&), list<>::splice(iterator, list&&,
iterator), list<>::splice(iterator, list&, iterator),
list<>::splice(iterator, list&&, iterator, iterator),
list<>::splice(iterator, list&, iterator, iterator)): Adjust C++11
signatures to take const_iterator(s).
* include/bits/list.tcc (list<>::insert(const_iterator, size_type,
const value_type&), list<>::insert(const_iterator, _InputIterator,
_InputIterator)): Define.
* include/ext/vstring.h (__versa_string<>::insert(iterator,
size_type, _CharT), __versa_string<>::insert(iterator,
_InputIterator, _InputIterator), __versa_string<>::insert(iterator,
std::initializer_list<>), __versa_string<>::replace(iterator,
iterator, _InputIterator, _InputIterator), __versa_string<>::
replace(iterator, iterator, std::initializer_list<>)): Adjust C++11
signatures to take const_iterator(s).
(__versa_string<>::_M_replace_dispatch): Take const_iterators.
* include/ext/vstring.tcc: Likewise.
* include/debug/list: Adjust.
* include/profile/list: Likewise.
* testsuite/23_containers/list/operations/splice/const_iterator.cc:
New.
* testsuite/23_containers/list/modifiers/insert/const_iterator.cc:
Extend.
* testsuite/ext/vstring/modifiers/insert/char/const_iterator.cc:
Likewise.
* testsuite/ext/vstring/modifiers/insert/wchar_t/const_iterator.cc:
Likewise.
* testsuite/ext/vstring/modifiers/replace/char/const_iterator.cc:
Likewise.
* testsuite/ext/vstring/modifiers/replace/wchar_t/const_iterator.cc:
Likewise.

* testsuite/23_containers/list/requirements/dr438/assign_neg.cc:
Adjust dg-error line number.
* testsuite/23_containers/list/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/list/requirements/dr438/insert_neg.cc:
Likewise.

From-SVN: r200580

arm.md (attribute "wtype"): Delete.

* arm.md (attribute "wtype"): Delete.  Move attribute values from here
to ...
(attribute "type"): ... here, and prefix with "wmmx_".
(attribute "core_cycles"): Update for attribute changes.
* iwmmxt.md (tbcstv8qi): Update for attribute changes.
(tbcstv4hi): Likewise.
(tbcstv2si): Likewise.
(iwmmxt_iordi3): Likewise.
(iwmmxt_xordi3): Likewise.
(iwmmxt_anddi3): Likewise.
(iwmmxt_nanddi3): Likewise.
(iwmmxt_arm_movdi): Likewise.
(iwmmxt_movsi_insn): Likewise.
(mov<mode>_internal): Likewise.
(and<mode>3_iwmmxt): Likewise.
(ior<mode>3_iwmmxt): Likewise.
(xor<mode>3_iwmmxt): Likewise.
(add<mode>3_iwmmxt): Likewise.
(ssaddv8qi3): Likewise.
(ssaddv4hi3): Likewise.
(ssaddv2si3): Likewise.
(usaddv8qi3): Likewise.
(usaddv4hi3): Likewise.
(usaddv2si3): Likewise.
(sub<mode>3_iwmmxt): Likewise.
(sssubv8qi3): Likewise.
(sssubv4hi3): Likewise.
(sssubv2si3): Likewise.
(ussubv8qi3): Likewise.
(ussubv4hi3): Likewise.
(ussubv2si3): Likewise.
(mulv4hi3_iwmmxt): Likewise.
(smulv4hi3_highpart): Likewise.
(umulv4hi3_highpart): Likewise.
(iwmmxt_wmacs): Likewise.
(iwmmxt_wmacsz): Likewise.
(iwmmxt_wmacu): Likewise.
(iwmmxt_wmacuz): Likewise.
(iwmmxt_clrdi): Likewise.
(iwmmxt_clrv8qi): Likewise.
(iwmmxt_clr4hi): Likewise.
(iwmmxt_clr2si): Likewise.
(iwmmxt_uavgrndv8qi3): Likewise.
(iwmmxt_uavgrndv4hi3): Likewise.
(iwmmxt_uavgv8qi3): Likewise.
(iwmmxt_uavgv4hi3): Likewise.
(iwmmxt_tinsrb): Likewise.
(iwmmxt_tinsrh): Likewise.
(iwmmxt_tinsrw): Likewise.
(iwmmxt_textrmub): Likewise.
(iwmmxt_textrmsb): Likewise.
(iwmmxt_textrmuh): Likewise.
(iwmmxt_textrmsh): Likewise.
(iwmmxt_textrmw): Likewise.
(iwmxxt_wshufh): Likewise.
(eqv8qi3): Likewise.
(eqv4hi3): Likewise.
(eqv2si3): Likewise.
(gtuv8qi3): Likewise.
(gtuv4hi3): Likewise.
(gtuv2si3): Likewise.
(gtv8qi3): Likewise.
(gtv4hi3): Likewise.
(gtv2si3): Likewise.
(smax<mode>3_iwmmxt): Likewise.
(umax<mode>3_iwmmxt): Likewise.
(smin<mode>3_iwmmxt): Likewise.
(umin<mode>3_iwmmxt): Likewise.
(iwmmxt_wpackhss): Likewise.
(iwmmxt_wpackwss): Likewise.
(iwmmxt_wpackdss): Likewise.
(iwmmxt_wpackhus): Likewise.
(iwmmxt_wpackwus): Likewise.
(iwmmxt_wpackdus): Likewise.
(iwmmxt_wunpckihb): Likewise.
(iwmmxt_wunpckihh): Likewise.
(iwmmxt_wunpckihw): Likewise.
(iwmmxt_wunpckilb): Likewise.
(iwmmxt_wunpckilh): Likewise.
(iwmmxt_wunpckilw): Likewise.
(iwmmxt_wunpckehub): Likewise.
(iwmmxt_wunpckehuh): Likewise.
(iwmmxt_wunpckehuw): Likewise.
(iwmmxt_wunpckehsb): Likewise.
(iwmmxt_wunpckehsh): Likewise.
(iwmmxt_wunpckehsw): Likewise.
(iwmmxt_wunpckelub): Likewise.
(iwmmxt_wunpckeluh): Likewise.
(iwmmxt_wunpckeluw): Likewise.
(iwmmxt_wunpckelsb): Likewise.
(iwmmxt_wunpckelsh): Likewise.
(iwmmxt_wunpckelsw): Likewise.
(ror<mode>3): Likewise.
(ashr<mode>3_iwmmxt): Likewise.
(lshr<mode>3_iwmmxt): Likewise.
(ashl<mode>3_iwmmxt): Likewise.
(ror<mode>3_di): Likewise.
(ashr<mode>3_di): Likewise.
(lshr<mode>3_di): Likewise.
(ashl<mode>3_di): Likewise.
(iwmmxt_wmadds): Likewise.
(iwmmxt_wmaddu): Likewise.
(iwmmxt_tmia): Likewise.
(iwmmxt_tmiaph): Likewise.
(iwmmxt_tmiabb): Likewise.
(iwmmxt_tmiatb): Likewise.
(iwmmxt_tmiabt): Likewise.
(iwmmxt_tmiatt): Likewise.
(iwmmxt_tmovmskb): Likewise.
(iwmmxt_tmovmskh): Likewise.
(iwmmxt_tmovmskw): Likewise.
(iwmmxt_waccb): Likewise.
(iwmmxt_wacch): Likewise.
(iwmmxt_waccw): Likewise.
(iwmmxt_waligni): Likewise.
(iwmmxt_walignr): Likewise.
(iwmmxt_walignr0): Likewise.
(iwmmxt_walignr1): Likewise.
(iwmmxt_walignr2): Likewise.
(iwmmxt_walignr3): Likewise.
(iwmmxt_wsadb): Likewise.
(iwmmxt_wsadh): Likewise.
(iwmmxt_wsadbz): Likewise.
(iwmmxt_wsadhz): Likewise.
* iwmmxt2.md (iwmmxt_wabs<mode>3): Update for attribute changes.
(iwmmxt_wabsdiffb): Likewise.
(iwmmxt_wabsdiffh): Likewise.
(iwmmxt_wabsdiffw): Likewise.
(iwmmxt_waddsubhx): Likewise
(iwmmxt_wsubaddhx): Likewise.
(addc<mode>3): Likewise.
(iwmmxt_avg4): Likewise.
(iwmmxt_avg4r): Likewise.
(iwmmxt_wmaddsx): Likewise.
(iwmmxt_wmaddux): Likewise.
(iwmmxt_wmaddsn): Likewise.
(iwmmxt_wmaddun): Likewise.
(iwmmxt_wmulwsm): Likewise.
(iwmmxt_wmulwum): Likewise.
(iwmmxt_wmulsmr): Likewise.
(iwmmxt_wmulumr): Likewise.
(iwmmxt_wmulwsmr): Likewise.
(iwmmxt_wmulwumr): Likewise.
(iwmmxt_wmulwl): Likewise.
(iwmmxt_wqmulm): Likewise.
(iwmmxt_wqmulwm): Likewise.
(iwmmxt_wqmulmr): Likewise.
(iwmmxt_wqmulwmr): Likewise.
(iwmmxt_waddbhusm): Likewise.
(iwmmxt_waddbhusl): Likewise.
(iwmmxt_wqmiabb): Likewise.
(iwmmxt_wqmiabt): Likewise.
(iwmmxt_wqmiatb): Likewise.
(iwmmxt_wqmiatt): Likewise.
(iwmmxt_wqmiabbn): Likewise.
(iwmmxt_wqmiabtn): Likewise.
(iwmmxt_wqmiatbn): Likewise.
(iwmmxt_wqmiattn): Likewise.
(iwmmxt_wmiabb): Likewise.
(iwmmxt_wmiabt): Likewise.
(iwmmxt_wmiatb): Likewise.
(iwmmxt_wmiatt): Likewise.
(iwmmxt_wmiabbn): Likewise.
(iwmmxt_wmiabtn): Likewise.
(iwmmxt_wmiatbn): Likewise.
(iwmmxt_wmiattn): Likewise.
(iwmmxt_wmiawbb): Likewise.
(iwmmxt_wmiawbt): Likewise.
(iwmmxt_wmiawtb): Likewise.
(iwmmxt_wmiawtt): Likewise.
(iwmmxt_wmiawbbn): Likewise.
(iwmmxt_wmiawbtn): Likewise.
(iwmmxt_wmiawtbn): Likewise.
(iwmmxt_wmiawttn): Likewise.
(iwmmxt_wmerge): Likewise.
(iwmmxt_tandc<mode>3): Likewise.
(iwmmxt_torc<mode>3): Likewise.
(iwmmxt_torvsc<mode>3): Likewise.
(iwmmxt_textrc<mode>3): Likewise.
* marvell-f-iwmmxt.md (wmmxt_shift): Update for attribute changes.
(wmmxt_pack): Likewise.
(wmmxt_mult_c1): Likewise.
(wmmxt_mult_c2): Likewise.
(wmmxt_alu_c1): Likewise.
(wmmxt_alu_c2): Likewise.
(wmmxt_alu_c3): Likewise.
(wmmxt_transfer_c1): Likewise.
(wmmxt_transfer_c2): Likewise.
(wmmxt_transfer_c3): Likewise.
(marvell_f_iwmmxt_wstr): Likewise.
(marvell_f_iwmmxt_wldr): Likewise.

From-SVN: r200576

re PR fortran/54788 (ICE on pointer-array element assignment)

2013-07-01  Dominique d'Humieres  <dominiq@lps.ens.fr>

        PR fortran/54788
        * array.c (spec_size): handle the case as==NULL.

2013-07-01  Dominique d'Humieres  <dominiq@lps.ens.fr>

        PR fortran/54788
        * gfortran.dg/pointer_remapping_8.f90: New.

From-SVN: r200575

Daily bump.

From-SVN: r200574

stl_deque.h (deque<>::insert(iterator, size_type, const value_type&), [...]): Adjust C++11 signatures to take a const_iterator.

2013-06-30  Paolo Carlini  <paolo.carlini@oracle.com>

* include/bits/stl_deque.h (deque<>::insert(iterator,
size_type, const value_type&), deque<>::insert(iterator,
initializer_list<>), deque<>::insert(iterator, _InputIterator,
_InputIterator)): Adjust C++11 signatures to take a const_iterator.
* include/bits/stl_vector.h: Likewise.
* include/bits/stl_bvector.h: Likewise.
* include/debug/deque: Adjust.
* include/debug/vector: Likewise.
* include/profile/deque: Likewise.
* include/profile/vector: Likewise.
* testsuite/23_containers/deque/modifiers/insert/const_iterator.cc:
Extend.
* testsuite/23_containers/vector/bool/modifiers/insert/
const_iterator.cc: Likewise.
* testsuite/23_containers/vector/modifiers/insert/const_iterator.cc:
Likewise.

* testsuite/23_containers/deque/requirements/dr438/assign_neg.cc:
Adjust dg-error line number.
* testsuite/23_containers/deque/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/deque/requirements/dr438/insert_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/assign_neg.cc:
Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_1_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/
constructor_2_neg.cc: Likewise.
* testsuite/23_containers/vector/requirements/dr438/insert_neg.cc:
Likewise.

From-SVN: r200571

*: Move inside testsuite/21_strings/basic_string/operations/data/.

2013-06-27  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/21_strings/basic_string/operations/*: Move inside
testsuite/21_strings/basic_string/operations/data/.
* testsuite/21_strings/basic_string/compare/*: Move inside
testsuite/21_strings/basic_string/operations/.
* testsuite/21_strings/basic_string/find/*: Likewise.
* testsuite/21_strings/basic_string/rfind/*: Likewise.
* testsuite/21_strings/basic_string/substr/*: Likewise.

From-SVN: r200570

Daily bump.

From-SVN: r200568

Obvious fix in aarch64.c; remove junk added accidentally by previous commit.

From-SVN: r200565

hashtable_policy.h (_Insert_base): Consider hint in insert methods.

2013-06-29  François Dumont  <fdumont@gcc.gnu.org>

* include/bits/hashtable_policy.h (_Insert_base): Consider hint in
insert methods.
* include/bits/hashtable.h: Likewise.
* testsuite/23_containers/unordered_multimap/insert/hint.cc: New.
* testsuite/performance/23_containers/insert/unordered_multiset_hint.cc:
New.
* testsuite/23_containers/unordered_set/instantiation_neg.cc:
Adjust dg-error line number.
* testsuite/23_containers/unordered_set/
not_default_constructible_hash_neg.cc: Likewise.
* doc/xml/manual/containers.xml: Document hinting in unordered
containers.

From-SVN: r200564

lex.c (lex_raw_string(), [...]): Constrain suffixes treated as concatenated literal and macro to just the...

libcpp:

2013-06-28  Ed Smith-Rowland  <3dw4rd@verizon.net>

* lex.c (lex_raw_string(), lex_string()): Constrain suffixes treated
as concatenated literal and macro to just the patterns found in
inttypes.h; (is_macro()): New.

gcc/cp:

2013-06-28  Ed Smith-Rowland  <3dw4rd@verizon.net>

* cp-tree.h (UDLIT_OP_ANSI_PREFIX): Remove space.
* parser.c (cp_parser_operator()): Parse user-defined string
literal as literal operator.

gcc/testsuite:

2013-06-28  Ed Smith-Rowland  <3dw4rd@verizon.net>

* g++.dg/cpp0x/udlit-nospace-neg.C: Adjust.
* g++.dg/cpp1y/udlit-enc-prefix-neg.C: New.
* g++.dg/cpp1y/udlit-userdef-string.C: New.
* g++.dg/cpp1y/complex_literals.h: New.

From-SVN: r200563

Daily bump.

From-SVN: r200562

re PR c++/57645 (Explicitly-declared destructor with no exception specification is always noexcept(true))

/cp
2013-06-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57645
* class.c (deduce_noexcept_on_destructors): Save, set, and restore
TYPE_HAS_NONTRIVIAL_DESTRUCTOR (t) around the main loop over the
destructors.

/testsuite
2013-06-28  Paolo Carlini  <paolo.carlini@oracle.com>

PR c++/57645
* g++.dg/cpp0x/noexcept21.C: New.

From-SVN: r200559

revert: lra-constraints.c (need_for_split_p): Check call used hard regs living through calls.

2013-06-28  Vladimir Makarov  <vmakarov@redhat.com>

Revert:
2013-06-28  Vladimir Makarov  <vmakarov@redhat.com>
* lra-constraints.c (need_for_split_p): Check call used hard regs
living through calls.

* lra-constraints.c (inherit_in_ebb): Reset live_hard_regs for
call used regs for call insn.

From-SVN: r200558

re PR target/57736 (ICE in emit_move_insn with __builtin_ia32_rdtsc)

PR target/57736
* config/i386/i386.c (ix86_expand_builtin): If target == NULL
and mode is VOIDmode, don't create a VOIDmode pseudo to copy result
into.

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

From-SVN: r200555

Implemented Jason Merrill's suggestions on Array Notation C++.

gcc/ChangeLog
2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * builtins.def: Fixed the function type of CILKPLUS_BUILTIN.

gcc/c/ChangeLog
2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * c-parser.c (c_parser_array_notation): Removed rejection of array
        notations in an array of function pointers.

gcc/c-family/ChangeLog
2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * array-notation-common.c (length_mismatch_in_expr_p): Collapsed two
        if-statements and compared the trees directly using tree_int_cst_equal.
        (find_rank): Checked for array notations in function name to handle
        array notations in function pointers.
        (extract_array_notation_exprs): Likewise.
        (replace_array_notations): Likewise.
        (cilkplus_extract_an_triplets): Replaced safe_push with
        safe_grow_cleared.  Also removed an unnecessary check to see if the
        node is of type ARRAY_NOTATION_REF.
        (fix_sec_implicit_args): Removed an unnecessary check for ADDR_EXPR.
        Also switched two if-statements to remove an unnecessary comparison.

gcc/cp/ChangeLog
2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * parser.c (cp_parser_array_notation): Removed rejection array notation
        of type function pointers. Added handling of array expressions when
        Cilk Plus is enabled.  Took out type-checking.
        (cp_parser_postfix_open_square_expression): Moved normal array expr.
        parsing into cp_parser_array_notation when cilkplus is enabled.
        (cp_parser_compound_statement): Removed expansion of array notations.
        (cp_parser_ctor_initializer_opt_and_function_body): Likewise.
        (cp_parser_function_definition_after_declarator): Likewise.
        (cp_parser_selection_statement): Removed error reporting.
        (cp_parser_iteration_statement): Likewise.
        (cp_parser_direct_declarator): Removed error checking/reporting if
        array notations are used in the declarator.
        * pt.c (instantiate_decl): Likewise.
        (type_unification_real): Removed a check for ARRAY_NOTATION_REF.
        (cxx_eval_constant_expression): Removed ARRAY_NOTATION_REF case.
        (potential_constant_expression_1): Returned false for ARRAY_NOTATION_REF
        case.
        * cp-gimplify.c (cp_genericize): Added expansion of array notation
        expressions here.
        * cp-array-notation.c (make_triplet_val_inv): Removed loc and cry
        parameters.  Replaced build_decls with get_temp_regvar with type as
        ptrdiff.
        (create_array_refs): Made the type-casting to ptrdiff_type.
        (replace_invariant_var): Added a check for void return type before
creating new var.  Replaced build_decl and build_min_nt_loc with
        get_temp_regvar.
        (expand_an_in_modify_expr): Ditto.  Replaced body of redundant else with
        gcc_unreachable.  Removed few unwanted checks.  Made induction variable
        type as ptrdiff_type.  Removed loc and complain arguments passed into
        make_triplet_val_inv.  Replaced all modify expression's code from NOP
        EXPR to INIT EXPR.  Replaced all forceful appending into stmt. list
        with the non-forceful one.  Replaced some integer conversion and
        equality-checking to using tree_int_cst_equal.
        (expand_sec_reduce_builtin): All changes mentioned in above function
        expand_an_in_modify_expr.  Made the new variable type of
        SEC_REDUCE_ANY/ALL_{NON}ZERO intrinsic functions as bool.
        (expand_array_notation_exprs): Removed SWITCH_EXPR case.  Moved all
        the error reporting from parser to this function.  Removed unwanted
        statements and checks from SWITCH_STMT, WHILE_STMT, and DO_STMT cases.
        (cilkplus_an_triplet_types_ok_p): Removed rejection of array notation
        in function pointers.
        (cp_expand_cond_array_notations): Added a new if statements to check
        if condition has a zero rank.  If so, then just return.
        (expand_return_expr): Added a check for return expressions with a rank.
        Replaced get_tmp_regvar with a create_temporary_var.
        (build_array_notation_ref): Simplified and removed unwanted if-stmts.
        Moved common code outside if-statements.  Moved type-checking from
        parser to here.
        * semantics.c (finish_return_stmt): Removed a check for return exprs.
        with a rank.
        * call.c (convert_like_real): Removed a check for array notation
        expression in a function.
        (build_over_call): Likewise.
        (magic_varargs_p): Added a check for builtin array notation function.
        Made this function non-static and removed its prototype.
        * cp-tree.h (magic_varargs_p): New prototype.
        * typeck.c (cp_build_function_call_vec): Removed automatic setting of
        nargs to the param->length when builtin reduction function is used.
        (convert_arguments): Replaced check for a constant_p function with
        margic_varargs_p function call.
        (cp_build_binary_op): Removed calling of the function
        find_correct_array_notation_type.
        (cp_build_addr_expr_1): Removed an unwanted if-statement.
        (convert_for_assignment): Removed automatic return of rhs when array
        notation builtin function is used.

gcc/testsuite/ChangeLog
2013-06-28  Balaji V. Iyer  <balaji.v.iyer@intel.com>

        * c-c++-common/cilk-plus/AN/decl-ptr-colon.c (main): Made this testcase
        c specific.
        * c-c++-common/cilk-plus/AN/decl-ptr-colon.c (main): Changed dg-error
        strings to match the fixed error messages.
        * c-c++-common/cilk-plus/AN/misc.c (main): Likewise.
        * c-c++-common/cilk-plus/AN/rank_mismatch.c (main): Added a new error
        message check.

From-SVN: r200554

lra-constraints.c (need_for_split_p): Check call used hard regs living through calls.

2013-06-28  Vladimir Makarov  <vmakarov@redhat.com>

* lra-constraints.c (need_for_split_p): Check call used hard regs
living through calls.

From-SVN: r200553

re PR target/57744 (Power8 support has problems with quad word atomic instructions)

[gcc]
2013-06-28  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/57744
* config/rs6000/rs6000.h (MODES_TIEABLE_P): Do not allow PTImode
to tie with any other modes.  Eliminate Altivec vector mode tests,
since these are a subset of ALTIVEC or VSX vector modes.  Simplify
code, to return 0 if testing MODE2 for a condition, if we've
already tested MODE1 for the same condition.

[gcc/testsuite]
2013-06-28  Michael Meissner  <meissner@linux.vnet.ibm.com>

PR target/57744
* gcc.target/powerpc/pr57744.c: New test to make sure lqarx and
stqcx. get even registers.

From-SVN: r200538

*: Move inside testsuite/21_strings/basic_string/operations/data/.

2013-06-27  Paolo Carlini  <paolo.carlini@oracle.com>

* testsuite/21_strings/basic_string/operations/*: Move inside
testsuite/21_strings/basic_string/operations/data/.
* testsuite/21_strings/basic_string/compare/*: Move inside
testsuite/21_strings/basic_string/operations/.
* testsuite/21_strings/basic_string/find/*: Likewise.
* testsuite/21_strings/basic_string/rfind/*: Likewise.
* testsuite/21_strings/basic_string/substr/*: Likewise.

From-SVN: r200537

[AArch64] Fix layout of aarch64_cannot_force_const_mem.

From-SVN: r200532

[AArch64] Update comment w.r.t SYMBOL_TINY_ABSOLUTE address model.

From-SVN: r200531

Disable strassen.f90 test for aarch64 tiny memory.

This test case is too large to fit into the aarch64 tiny memory model.

From-SVN: r200521

[AArch64] Remove aarch64_symbolic_constant_p.

From-SVN: r200519