[Bug c++/64251] New: [5 Regression] Chromium build error only with --enable-checking=yes

[Bug c++/64251] New: [5 Regression] Chromium build error only with --enable-checking=yes

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

            Bug ID: 64251
           Summary: [5 Regression] Chromium build error only with
                    --enable-checking=yes
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org

Created attachment 34237
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34237&action=edit
unreduced testcase

Chromium build fails with a compiler configured with:

../gcc/configure --disable-libsanitizer --disable-bootstrap
--disable-libstdcxx-pch --disable-libvtv --disable-libitm --disable-libcilkrts
--disable-libssp --disable-libgomp --disable-werror --disable-multilib
--enable-languages=c,c++

markus@x4 Release % g++ -O2 -std=c++11 -c devtools_protocol_dispatcher.ii
In file included from
../../content/browser/devtools/protocol/devtools_protocol_handler.h:8:0,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.cc:11:
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h: In
instantiation of ‘base::Value* content::devtools::CreateValue(const T&) [with T
= base::DictionaryValue]’:
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:45:31:  
required from ‘base::Value*
content::devtools::CreateValue(std::vector<_RealType>) [with T =
base::DictionaryValue]’
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:1140:36:  
required from here
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:28:42:
error: no matching function for call to
‘base::FundamentalValue::FundamentalValue(const base::DictionaryValue&)’
   return new base::FundamentalValue(param);
                                          ^
In file included from
../../content/browser/devtools/protocol/devtools_protocol_client.h:9:0,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:14,
                 from
../../content/browser/devtools/protocol/devtools_protocol_handler.h:8,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.cc:11:
../../base/values.h:123:12: note: candidate:
base::FundamentalValue::FundamentalValue(double)
   explicit FundamentalValue(double in_value);
            ^
../../base/values.h:123:12: note:   no known conversion for argument 1 from
‘const base::DictionaryValue’ to ‘double’
../../base/values.h:122:12: note: candidate:
base::FundamentalValue::FundamentalValue(int)
   explicit FundamentalValue(int in_value);
            ^
../../base/values.h:122:12: note:   no known conversion for argument 1 from
‘const base::DictionaryValue’ to ‘int’
../../base/values.h:121:12: note: candidate:
base::FundamentalValue::FundamentalValue(bool)
   explicit FundamentalValue(bool in_value);
            ^
../../base/values.h:121:12: note:   no known conversion for argument 1 from
‘const base::DictionaryValue’ to ‘bool’
../../base/values.h:119:7: note: candidate:
base::FundamentalValue::FundamentalValue(const base::FundamentalValue&)
 class BASE_EXPORT FundamentalValue : public Value {
       ^
../../base/values.h:119:7: note:   no known conversion for argument 1 from
‘const base::DictionaryValue’ to ‘const base::FundamentalValue&’
In file included from
../../content/browser/devtools/protocol/devtools_protocol_client.h:9:0,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:14,
                 from
../../content/browser/devtools/protocol/devtools_protocol_handler.h:8,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.cc:11:
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_construct.h: In
instantiation of ‘void std::_Construct(_T1*, _Args&& ...) [with _T1 =
base::DictionaryValue; _Args = {const base::DictionaryValue&}]’:
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_uninitialized.h:75:18:
  required from ‘static _ForwardIterator
std::__uninitialized_copy<_TrivialValueTypes>::__uninit_copy(_InputIterator,
_InputIterator, _ForwardIterator) [with _InputIterator =
__gnu_cxx::__normal_iterator<const base::DictionaryValue*,
std::vector<base::DictionaryValue> >; _ForwardIterator =
base::DictionaryValue*; bool _TrivialValueTypes = false]’
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_uninitialized.h:125:15:
  required from ‘_ForwardIterator std::uninitialized_copy(_InputIterator,
_InputIterator, _ForwardIterator) [with _InputIterator =
__gnu_cxx::__normal_iterator<const base::DictionaryValue*,
std::vector<base::DictionaryValue> >; _ForwardIterator =
base::DictionaryValue*]’
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_uninitialized.h:280:37:
  required from ‘_ForwardIterator std::__uninitialized_copy_a(_InputIterator,
_InputIterator, _ForwardIterator, std::allocator<_Tp>&) [with _InputIterator =
__gnu_cxx::__normal_iterator<const base::DictionaryValue*,
std::vector<base::DictionaryValue> >; _ForwardIterator =
base::DictionaryValue*; _Tp = base::DictionaryValue]’
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_vector.h:322:31:
  required from ‘std::vector<_Tp, _Alloc>::vector(const std::vector<_Tp,
_Alloc>&) [with _Tp = base::DictionaryValue; _Alloc =
std::allocator<base::DictionaryValue>]’
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:1140:36:  
required from here
../../base/values.h:370:3: error: ‘base::DictionaryValue::DictionaryValue(const
base::DictionaryValue&)’ is private
   DISALLOW_COPY_AND_ASSIGN(DictionaryValue);
   ^
In file included from
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/memory:64:0,
                 from ../../base/threading/thread_collision_warner.h:8,
                 from ../../base/memory/ref_counted.h:17,
                 from ../../base/callback_internal.h:14,
                 from ../../base/callback.h:9,
                 from
../../content/browser/devtools/protocol/devtools_protocol_client.h:8,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.h:14,
                 from
../../content/browser/devtools/protocol/devtools_protocol_handler.h:8,
                 from
gen/content/browser/devtools/protocol/devtools_protocol_dispatcher.cc:11:
/usr/lib/gcc/x86_64-pc-linux-gnu/5.0.0/include/g++-v5/bits/stl_construct.h:75:7:
error: within this context
     { ::new(static_cast<void*>(__p)) _T1(std::forward<_Args>(__args)...); }
       ^

Bizarrely, the error vanishes with an -enable-checking=release compiler.
>From gcc-bugs-return-470022-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 10 10:24:17 2014
Return-Path: <gcc-bugs-return-470022-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 32593 invoked by alias); 10 Dec 2014 10:24:17 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 32563 invoked by uid 48); 10 Dec 2014 10:24:13 -0000
From: "jakub at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/64252] New: [5 Regression] expand_vec_perm_pblendv caused miscompilation
Date: Wed, 10 Dec 2014 10:24:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: jakub at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_id short_desc product version bug_status keywords bug_severity priority component assigned_to reporter
Message-ID: <bug-64252-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg01029.txt.bz2
Content-length: 1236

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd252

            Bug ID: 64252
           Summary: [5 Regression] expand_vec_perm_pblendv caused
                    miscompilation
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: jakub at gcc dot gnu.org

As Evgeny reported on gcc-patches, the following testcase is miscompiled on the
trunk with -O2 -mavx2:

typedef unsigned int V __attribute__((vector_size (32)));

__attribute__((noinline, noclone)) void
foo (V *a, V *b, V *c, V *d, V *e)
{
  V t = __builtin_shuffle (*a, *b, *c);
  V v = __builtin_shuffle (t, (V) { ~0U, ~0U, ~0U, ~0U, ~0U, ~0U, ~0U, ~0U },
(V) { 0, 1, 8, 3, 4, 5, 9, 7 });
  v = v + *d;
  *e = v;
}

int
main ()
{
  V a, b, c, d, e;
  int i;
  a = (V) { 1, 2, 3, 4, 5, 6, 7, 8 };
  b = (V) { 9, 10, 11, 12, 13, 14, 15, 16 };
  c = (V) { 1, 3, 5, 7, 9, 11, 13, 15 };
  d = (V) { 0, 0, 0, 0, 0, 0, 0, 0 };
  foo (&a, &b, &c, &d, &e);
  for (i = 0; i < 8; i++)
    if (e[i] != ((i == 2 || i == 6) ? ~0U : 2 + 2 * i))
      __builtin_abort ();
  return 0;
}

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

--- Comment #1 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
For example:

markus@x4 /tmp % cat foo.ii
class DictionaryValue {};
template <typename T> void CreateValue(T) {
          DictionaryValue(0);
            CreateValue(0);
}

markus@x4 /tmp % checking-release/g++ -std=c++11 -c foo.ii
markus@x4 /tmp % checking-yes/g++ -std=c++11 -c foo.ii
foo.ii: In instantiation of ‘void CreateValue(T) [with T = int]’:
foo.ii:4:17:   required from here
foo.ii:3:4: error: no matching function for call to
‘DictionaryValue::DictionaryValue(int)’
    DictionaryValue(0);
    ^
foo.ii:1:7: note: candidate: constexpr DictionaryValue::DictionaryValue()
 class DictionaryValue {};
       ^
foo.ii:1:7: note:   candidate expects 0 arguments, 1 provided
foo.ii:1:7: note: candidate: constexpr DictionaryValue::DictionaryValue(const
DictionaryValue&)
foo.ii:1:7: note:   no known conversion for argument 1 from ‘int’ to ‘const
DictionaryValue&’
foo.ii:1:7: note: candidate: constexpr
DictionaryValue::DictionaryValue(DictionaryValue&&)
foo.ii:1:7: note:   no known conversion for argument 1 from ‘int’ to
‘DictionaryValue&&’
>From gcc-bugs-return-470024-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Dec 10 10:37:11 2014
Return-Path: <gcc-bugs-return-470024-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 11772 invoked by alias); 10 Dec 2014 10:37:11 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 11714 invoked by uid 48); 10 Dec 2014 10:37:07 -0000
From: "dominiq at lps dot ens.fr" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug bootstrap/64023] [5 Regression] r216964 breaks bootstrap on darwin when using gcc as the bootstrap compiler.
Date: Wed, 10 Dec 2014 10:37:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: bootstrap
X-Bugzilla-Version: 5.0
X-Bugzilla-Keywords: patch
X-Bugzilla-Severity: normal
X-Bugzilla-Who: dominiq at lps dot ens.fr
X-Bugzilla-Status: NEW
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: fxcoudert at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 5.0
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-64023-4-7xvuzWCD6t@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-64023-4@http.gcc.gnu.org/bugzilla/>
References: <bug-64023-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-12/txt/msg01031.txt.bz2
Content-length: 498

https://gcc.gnu.org/bugzilla/show_bug.cgi?idd023

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |law at redhat dot com

--- Comment #5 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
A working patch as been committed at
https://gcc.gnu.org/ml/gcc/2014-12/msg00044.html. Could it be reviewed?

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid
           Priority|P3                          |P1
   Target Milestone|---                         |5.0

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

Jason Merrill <jason at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2014-12-18
                 CC|                            |jason at gcc dot gnu.org
           Assignee|unassigned at gcc dot gnu.org      |jason at gcc dot gnu.org
     Ever confirmed|0                           |1

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Thu Dec 18 22:22:36 2014
New Revision: 218876

URL: https://gcc.gnu.org/viewcvs?rev=218876&root=gcc&view=rev
Log:
    PR c++/64251
    * decl2.c (mark_used): Don't mark if in_template_function.

Added:
    trunk/gcc/testsuite/g++.dg/template/non-dependent14.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/decl2.c

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[trippels at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

Markus Trippelsdorf <trippels at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Fixed, thanks Jason.

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

--- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Wed Jan  7 15:18:27 2015
New Revision: 219309

URL: https://gcc.gnu.org/viewcvs?rev=219309&root=gcc&view=rev
Log:
    PR c++/64251
    * decl2.c (mark_used): Don't mark if in_template_function.

Added:
    branches/gcc-4_9-branch/gcc/testsuite/g++.dg/template/non-dependent14.C
Modified:
    branches/gcc-4_9-branch/gcc/cp/ChangeLog
    branches/gcc-4_9-branch/gcc/cp/decl2.c

[Bug c++/64251] [5 Regression] Chromium build error only with --enable-checking=yes

[jason at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64251

--- Comment #5 from Jason Merrill <jason at gcc dot gnu.org> ---
Author: jason
Date: Tue Jan 13 14:49:10 2015
New Revision: 219535

URL: https://gcc.gnu.org/viewcvs?rev=219535&root=gcc&view=rev
Log:
    PR c++/64251
    * decl2.c (mark_used): Don't mark if in_template_function.

Added:
    branches/gcc-4_8-branch/gcc/testsuite/g++.dg/template/non-dependent14.C
Modified:
    branches/gcc-4_8-branch/gcc/cp/ChangeLog
    branches/gcc-4_8-branch/gcc/cp/decl2.c