1. 18 Sep, 2017 20 commits
    • re PR c++/45033 ("delete" does overload resolution for class operands, but shouldn't.) · 10d8c51f
      2017-09-18  Paolo Carlini  <paolo.carlini@oracle.com>
      
      	PR c++/45033
      	* g++.dg/expr/delete1.C: New.
      
      From-SVN: r252924
      Paolo Carlini committed
    • Use built-in for std::make_integer_sequnce · db624b3b
      	* include/std/utility (_Itup_cat, _Make_integer_sequence): Remove.
      	(_Build_index_tuple, make_integer_sequence): Use built-in to generate
      	pack expansion.
      
      From-SVN: r252923
      Jonathan Wakely committed
    • PR libstdc++/71187 reimplement declval without add_rvalue_reference · ec26ff5a
      	PR libstdc++/71187
      	* include/std/type_traits (__declval): New function to deduce return
      	type of declval.
      	(__declval_protector::_delegate): Remove.
      	(declval): Use __declval instead of add_rvalue_reference and
      	__declval_protector::__delegate.
      	* testsuite/20_util/declval/requirements/1_neg.cc: Adjust dg-error
      	lineno.
      	* testsuite/20_util/make_signed/requirements/typedefs_neg.cc:
      	Likewise.
      	* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
      	Likewise.
      
      From-SVN: r252922
      Jonathan Wakely committed
    • Update checksums for isl-0.18.tar.bz2 · ba2c915e
      From-SVN: r252921
      Markus Trippelsdorf committed
    • re PR tree-optimization/82220 (SPEC CPU2006 482.sphinx3 ~10% performance… · 6b1ce94d
      re PR tree-optimization/82220 (SPEC CPU2006 482.sphinx3 ~10% performance regression with trunk@250416)
      
      2017-09-18  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/82220
      	* tree-vect-loop.c (vect_estimate_min_profitable_iters): Exclude
      	epilogue niters from the min_profitable_iters compute.
      
      From-SVN: r252917
      Richard Biener committed
    • sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference… · 2eda24e9
      sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for reference types in the access-to-access case.
      
      gcc/ada/
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* sem_ch4.adb (Complete_Object_Operation): Do not insert 'Access for
      	reference types in the access-to-access case.
      
      2017-09-18  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* sem_attr.adb (Analyze_Access_Attribute): Move check for the presence
      	of the "aliased" keyword on the prefix from here to...
      	(Resolve_Attribute) <Attribute_Access>: ...here.  Remove useless call
      	to Check_No_Implicit_Aliasing.
      	* sinfo.ads (Non_Aliased_Prefix): Delete.
      	(Set_Non_Aliased_Prefix): Likewise.
      	* sinfo.adb (Non_Aliased_Prefix): Delete.
      	(Set_Non_Aliased_Prefix): Likewise.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* exp_ch5.adb (Build_Formal_Container_Iteration,
      	Expand_Formal_Container_Element_Loop): Convert the container to the
      	root type before passing it to the iteration operations, so it will be
      	of the right type.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* einfo.ads, validsw.ads, treepr.ads, sem_util.ads: Comment fixes.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* exp_ch3.adb (Build_Array_Init_Proc): If validity checking is enabled,
      	and it's a bit-packed array, pass False to the Consider_IS parameter of
      	Needs_Simple_Initialization.
      
      2017-09-18  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* sem_ch6.adb (Check_Inline_Pragma): Link the newly generated spec to
      	the preexisting body.
      	* sem_prag.adb (Check_Inline_Always_Placement): New routine.
      	(Process_Inline): Verify the placement of pragma Inline_Always. The
      	pragma must now appear on the initial declaration of the related
      	subprogram.
      
      2017-09-18  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch3.adb (Analyze_Declarations): In ASIS mode,  At the end of the
      	declarative list in a subprogram body, analyze aspext specifications to
      	provide basic semantic information, because otherwise the aspect
      	specifications might only be snalyzed during expansion, when related
      	subprograms are generated.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* exp_ch9.adb (Is_Simple_Barrier_Name): Follow Original_Node, in case
      	validity checks have rewritten the tree.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* sem_util.adb: Comment fixes, and remove redundant Is_Itype check.
      
      2017-09-18  Ed Schonberg  <schonberg@adacore.com>
      
      	* sem_ch12.adb (Save_References_In_Aggregate): When constructing a
      	qualified exxpression for an aggregate in a generic unit, verify that
      	the scope of the type is itself visible and not hidden, so that the
      	qualified expression is correctly resolved in any instance.
      
      gcc/testsuite/
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* gnat.dg/validity_check.adb: New testcase.
      
      2017-09-18  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* gnat.dg/overload.ads, gnat.dg/overload.adb: New testcase.
      
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* gnat.dg/tagged_prefix_call.adb: New testcase.
      
      From-SVN: r252916
      Pierre-Marie de Rodat committed
    • re PR middle-end/82145 (i386/pr38988.c, i386/pr46254.c, i386/pr55154.c, i386/pr81766.c fails) · f1e3a534
      	PR target/82145
      	* config/i386/i386.c (ix86_init_large_pic_reg): Revert 2017-09-01
      	changes.  Turn CODE_LABEL into NOTE_INSN_DELETED_LABEL immediately.
      	(ix86_init_pic_reg): Revert 2017-09-01 changes.
      
      From-SVN: r252915
      Jakub Jelinek committed
    • re PR target/81361 (broken exception handling at -O2) · 0eeb9f3d
      	PR target/81361
      	* dwarf2cfi.c (add_cfis_to_fde): Do not generate DW_CFA_set_loc after
      	switching to a new text section.
      
      From-SVN: r252914
      Eric Botcazou committed
    • [multiple changes] · 845af9e6
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	* sem_ch4.adb (Analyze_Qualified_Expression): Give an error if the type
      	mark refers to the current instance. Set the type to Any_Type in that
      	case, to avoid later crashes.
      
      2017-09-18  Ed Schonberg  <schonberg@adacore.com>
      
      	* exp_ch3.adb (Replace_Discriminant_References): New procedure,
      	subsidiary of Build_Assignment, used to handle the initialization code
      	for a mutable record component whose default value is an aggregate that
      	sets the values of the discriminants of the components.
      
      2017-09-18  Ed Schonberg  <schonberg@adacore.com>
      
      	* gnat.dg/default_variants.adb: New testcase.
      
      2017-09-18  Eric Botcazou  <ebotcazou@adacore.com>
      
      	* sem_ch13.adb (Analyze_Attribute_Definition_Clause) <Address>: Mark
      	the entity as being volatile for an overlay that toggles the scalar
      	storage order.
      
      2017-09-18  Fedor Rybin  <frybin@adacore.com>
      
      	* doc/gnat_ugn/gnat_utility_programs.rst: Document that gnattest
      	options -U main and --harness-only are not compatible.
      
      From-SVN: r252913
      Pierre-Marie de Rodat committed
    • [multiple changes] · d7cc5f0e
      2017-09-18  Hristian Kirtchev  <kirtchev@adacore.com>
      
      	* freeze.adb, sem_ch6.adb, sem_res.adb: Minor reformatting.
      
      2017-09-18  Piotr Trojanek  <trojanek@adacore.com>
      
      	* einfo.ads (Is_Imported): Update comment, as this
      	routine also applies to constants.
      
      2017-09-18  Yannick Moy  <moy@adacore.com>
      
      	* sem_util.adb (Find_Placement_In_State_Space): Allow generic package
      	holding state.
      
      2017-09-18  Justin Squirek  <squirek@adacore.com>
      
      	* sem_prag.adb (Is_Non_Significant_Pragma_Reference): Change the
      	constant indication for Pragma_Linker_Section.
      
      From-SVN: r252910
      Pierre-Marie de Rodat committed
    • Alternate fix for PR ada/71358 · 677d7278
      2017-09-18  Bob Duff  <duff@adacore.com>
      
      	Alternate fix for PR ada/71358
      	* libgnat/g-comlin.adb (Getopt): Remove manual null access checks.
      	Instead, make a local copy of Config, and if it's null, allocate an
      	empty Command_Line_Configuration_Record, so we won't crash on null
      	pointer dereference.
      
      From-SVN: r252909
      Bob Duff committed
    • Fix gcc.target/i386/pr81736-[34].c on 32-bit Solaris/x86 (PR target/81736) · 2a63b04e
      	PR target/81736
      	* gcc.target/i386/pr81736-3.c: Add -mno-omit-leaf-frame-pointer.
      	* gcc.target/i386/pr81736-4.c: Likewise.
      
      From-SVN: r252908
      Rainer Orth committed
    • download_prerequisites (isl): Bump version to 0.18. · 37026b57
      2017-09-18  Richard Biener  <rguenther@suse.de>
      
      	* download_prerequisites (isl): Bump version to 0.18.
      
      From-SVN: r252907
      Richard Biener committed
    • graphite-scop-detection.c (scop_detection::stmt_has_simple_data_ref): Simplify. · 72b03fde
      2017-09-18  Richard Biener  <rguenther@suse.de>
      
      	* graphite-scop-detection.c (scop_detection::stmt_has_simple_data_ref):
      	Simplify.
      	(build_alias_set): Reject aliases with no access function.
      
      From-SVN: r252906
      Richard Biener committed
    • re PR tree-optimization/79622 (Wrong code w/ -O2 -floop-nest-optimize) · 3d07d963
      2017-09-18  Richard Biener  <rguenther@suse.de>
      
      	PR tree-optimization/79622
      	* graphite-scop-detection.c (build_cross_bb_scalars_def): Properly
      	handle PHIs.
      	(build_cross_bb_scalars_use): Likewise.
      
      	* gcc.dg/graphite/pr79622.c: New testcase.
      
      From-SVN: r252905
      Richard Biener committed
    • Fix a typo in a comment (cgraph.c:cgraph_thunk_info) · e75a0b31
      gcc/
      	* cgraph.h (cgraph_thunk_info): Fix a typo in a comment.
      
      From-SVN: r252904
      Pierre-Marie de Rodat committed
    • MAINTAINERS: Add myself as a maintainer for the Ada front end. · 86ab175e
      2017-09-18  Pierre-Marie de Rodat  <derodat@adacore.com>
      
      	* MAINTAINERS: Add myself as a maintainer for the Ada front end.
      
      From-SVN: r252903
      Pierre-Marie de Rodat committed
    • Add myself as a maintainer for the Ada front end · 97f1ac12
      From-SVN: r252902
      Pierre-Marie de Rodat committed
    • [RS6000] PR81996, __builtin_return_address(0) fails · a24f02ff
      rs6000_return_addr assumes that the stack link is at frame+0, which is
      true for count>0.  For count==0, rs6000_return_addr is called with
      frame==frame_pointer_rtx and the stack link is *not* at frame+0 if
      -fstack-protector-all or -fsanitize=address because rs6000.h sets
      FRAME_GROWS_DOWNWARD for those options.
      
      	PR target/81996
      	* gcc/config/rs6000/rs6000.c (rs6000_return_addr): Use
      	stack_pointer_rtx for count 0.  Update comments.  Break up
      	large rtl expression.
      
      From-SVN: r252901
      Alan Modra committed
    • Daily bump. · f26a27f3
      From-SVN: r252900
      GCC Administrator committed
  2. 17 Sep, 2017 5 commits
    • PR target/82196 correct choice of avx/sse stubs for -mcall-ms2sysv-xlogues · 3cb626e4
      gcc:
      	config/i386/i386.c: (xlogue_layout::STUB_NAME_MAX_LEN): Increase to 20
      	bytes.
      	(xlogue_layout::s_stub_names): Add an additional size-2 diminsion.
      	(xlogue_layout::get_stub_name): Modify to select the appropairate sse
      	or avx version of the stub.
      
      gcc/testsuite:
      	gcc.target/i386/pr82196-1.c: New test.
      	gcc.target/i386/pr82196-2.c: Likewise.
      
      libgcc:
      	config/i386/i386-asm.h (PASTE2): New macro.
      	(ASMNAME): Modify to use PASTE2.
      	(MS2SYSV_STUB_PREFIX): New macro for isa prefix.
      	(MS2SYSV_STUB_BEGIN, MS2SYSV_STUB_END): New macros for stub headers.
      	config/i386/resms64.S: Rename to a header file, use MS2SYSV_STUB_BEGIN
      	instead of HIDDEN_FUNC and MS2SYSV_STUB_END instead of FUNC_END.
      	config/i386/resms64f.S: Likewise.
      	config/i386/resms64fx.S: Likewise.
      	config/i386/resms64x.S: Likewise.
      	config/i386/savms64.S: Likewise.
      	config/i386/savms64f.S: Likewise.
      	config/i386/avx_resms64.S: New file that only defines a macro and
      	includes it's corresponding header file.
      	config/i386/avx_resms64f.S: Likewise.
      	config/i386/avx_resms64fx.S: Likewise.
      	config/i386/avx_resms64x.S: Likewise.
      	config/i386/avx_savms64.S: Likewise.
      	config/i386/avx_savms64f.S: Likewise.
      	config/i386/sse_resms64.S: Likewise.
      	config/i386/sse_resms64f.S: Likewise.
      	config/i386/sse_resms64fx.S: Likewise.
      	config/i386/sse_resms64x.S: Likewise.
      	config/i386/sse_savms64.S: Likewise.
      	config/i386/sse_savms64f.S: Likewise.
      	config/i386/t-msabi: Modified to add avx and sse versions of stubs.
      
      From-SVN: r252896
      Daniel Santos committed
    • i386: Update preferred stack boundary for leaf functions · 01f44e44
      preferred_stack_boundary may not be the minimum stack alignment.  For
      leaf functions without TLS access, max_used_stack_slot_alignment may be
      smaller.  We should update preferred_stack_boundary for leaf functions.
      
      gcc/
      
      	PR target/82166
      	* config/i386/i386.c (ix86_finalize_stack_frame_flags): Properly
      	compute the minimum stack alignment.  Also update preferred stack
      	boundary for leaf functions.
      
      gcc/testsuite/
      
      	PR target/82166
      	* gcc.target/i386/pr82166.c: New test.
      
      From-SVN: r252895
      H.J. Lu committed
    • re PR fortran/82173 ([meta-bug] Parameterized derived type errors) · 62d3c075
      2017-09-17  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/82173
      	* decl.c (gfc_get_pdt_instance): Use the component initializer
      	expression for the default, rather than the parameter value.
      	* resolve.c (resolve_pdt): New function.
      	(resolve_symbol): Call it. Remove false error, prohibiting
      	deferred type parameters for dummy arguments.
      
      	PR fortran/60483
      	* primary.c (gfc_match_varspec): If the type of an associate
      	name is unknown and yet there is a match, try resolving the
      	target expression and using its type.
      
      2017-09-17  Paul Thomas  <pault@gcc.gnu.org>
      
      	PR fortran/82173
      	* gfortran.dg/pdt_1.f03 : Eliminate spurious error checks.
      	* gfortran.dg/pdt_2.f03 : The same.
      	* gfortran.dg/pdt_3.f03 : The same.
      	* gfortran.dg/pdt_4.f03 : Add 'modtype' and two new errors in
      	module 'bad_vars'. Add error concerning assumed parameters and
      	save attribute.
      	* gfortran.dg/pdt_11.f03 : New test.
      
      	PR fortran/60483
      	* gfortran.dg/associate_9.f90 : Remove XFAIL and change to run.
      	* gfortran.dg/associate_25.f90 : New test.
      	* gfortran.dg/pdt_12.f03 : New test.
      
      From-SVN: r252894
      Paul Thomas committed
    • Fix gccbrig documentation build · 7ac3ed13
      	gcc/brig/
      	* Make-lang.in (GO_TEXI_FILES): Rename to...
      	(BRIG_TEXI_FILES): ... this.
      	(doc/gccbrig.info, doc/gccbrig.dvi, doc/gccbrig.pdf, brig.info)
      	(brig.srcinfo, brig.man, brig.srcman, brig.install-man)
      	($(DESTDIR)$(man1dir)/$(GCCBRIG_INSTALL_NAME)$(man1ext)):
      	Uncomment/enable targets.
      	(gccbrig.pod): New target.
      	* gccbrig.texi: New file.
      
      From-SVN: r252893
      Thomas Schwinge committed
    • Daily bump. · e1595456
      From-SVN: r252892
      GCC Administrator committed
  3. 16 Sep, 2017 6 commits
  4. 15 Sep, 2017 9 commits