public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug libstdc++/65714] New: shared_ptr<void>::reset(p) blows a static_assertion
@ 2015-04-09 14:27 john.salmon at deshaw dot com
2015-04-09 15:51 ` [Bug libstdc++/65714] " redi at gcc dot gnu.org
0 siblings, 1 reply; 2+ messages in thread
From: john.salmon at deshaw dot com @ 2015-04-09 14:27 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65714
Bug ID: 65714
Summary: shared_ptr<void>::reset(p) blows a static_assertion
Product: gcc
Version: 4.9.2
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: libstdc++
Assignee: unassigned at gcc dot gnu.org
Reporter: john.salmon at deshaw dot com
The single-argument form of shared_ptr::reset fails with a static assertion
when the pointer type is void.
drdws0047$ cat spv.cpp
#include <memory>
#include <cstdlib>
void foo(){
std::shared_ptr<void> spv( ::malloc(1024), ::free );
spv.reset(::malloc(2048)); // .../shared_ptr_base.h:874:4: error:
static assertion failed: incomplete type
spv.reset(::malloc(2048), ::free); // looks ok.
}
drdws0047$ dw -m gcc/4.9.2-30B/bin g++ -std=c++14 spv.cpp
In file included from
/proj/desrad-c/root/Linux/x86_64/gcc/4.9.2-30B/include/c++/4.9.2/bits/shared_ptr.h:52:0,
from
/proj/desrad-c/root/Linux/x86_64/gcc/4.9.2-30B/include/c++/4.9.2/memory:82,
from spv.cpp:1:
/proj/desrad-c/root/Linux/x86_64/gcc/4.9.2-30B/include/c++/4.9.2/bits/shared_ptr_base.h:
In instantiation of ‘std::__shared_ptr<_Tp, _Lp>::__shared_ptr(_Tp1*) [with
_Tp1 = void; _Tp = void; __gnu_cxx::_Lock_policy _Lp =
(__gnu_cxx::_Lock_policy)2u]’:
/proj/desrad-c/root/Linux/x86_64/gcc/4.9.2-30B/include/c++/4.9.2/bits/shared_ptr_base.h:1023:4:
required from ‘void std::__shared_ptr<_Tp, _Lp>::reset(_Tp1*) [with _Tp1 =
void; _Tp = void; __gnu_cxx::_Lock_policy _Lp = (__gnu_cxx::_Lock_policy)2u]’
spv.cpp:6:29: required from here
/proj/desrad-c/root/Linux/x86_64/gcc/4.9.2-30B/include/c++/4.9.2/bits/shared_ptr_base.h:874:4:
error: static assertion failed: incomplete type
static_assert( !is_void<_Tp1>::value, "incomplete type" );
^
drdws0047$
>From gcc-bugs-return-483139-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Thu Apr 09 14:29:11 2015
Return-Path: <gcc-bugs-return-483139-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 78204 invoked by alias); 9 Apr 2015 14:29:10 -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 78012 invoked by uid 48); 9 Apr 2015 14:29:07 -0000
From: "redi at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug libstdc++/31247] std::vector::iterator::value_type is accessible
Date: Thu, 09 Apr 2015 14:29:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: libstdc++
X-Bugzilla-Version: 4.3.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: enhancement
X-Bugzilla-Who: redi at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
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_status resolution
Message-ID: <bug-31247-4-DOtlH195Ic@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-31247-4@http.gcc.gnu.org/bugzilla/>
References: <bug-31247-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: 2015-04/txt/msg00691.txt.bz2
Content-length: 488
https://gcc.gnu.org/bugzilla/show_bug.cgi?id1247
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |WONTFIX
--- Comment #17 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Noone is convinced this would be a positive change, let's close it.
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Bug libstdc++/65714] shared_ptr<void>::reset(p) blows a static_assertion
2015-04-09 14:27 [Bug libstdc++/65714] New: shared_ptr<void>::reset(p) blows a static_assertion john.salmon at deshaw dot com
@ 2015-04-09 15:51 ` redi at gcc dot gnu.org
0 siblings, 0 replies; 2+ messages in thread
From: redi at gcc dot gnu.org @ 2015-04-09 15:51 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65714
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |INVALID
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
The standard says s.reset(p) is equivalent to shared_ptr(p).swap(s) and
shared_ptr(p) requires that p is a pointer to a complete type.
A void* is not a pointer to a complete type.
If your code compiled it would end up calling 'delete' on a void*, which is
invalid, and would not be suitable for memory allocated by malloc() anyway.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2015-04-09 15:51 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-04-09 14:27 [Bug libstdc++/65714] New: shared_ptr<void>::reset(p) blows a static_assertion john.salmon at deshaw dot com
2015-04-09 15:51 ` [Bug libstdc++/65714] " redi at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).