From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 22316 invoked by alias); 28 Dec 2001 22:52:34 -0000 Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-prs-owner@gcc.gnu.org Received: (qmail 22232 invoked by uid 61); 28 Dec 2001 22:52:34 -0000 Date: Fri, 28 Dec 2001 14:52:00 -0000 Message-ID: <20011228225234.22231.qmail@sources.redhat.com> To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, pme@gcc.gnu.org, schmid@snake.iap.physik.tu-darmstadt.de From: pme@gcc.gnu.org Reply-To: pme@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, nobody@gcc.gnu.org, pme@gcc.gnu.org, schmid@snake.iap.physik.tu-darmstadt.de, gcc-gnats@gcc.gnu.org X-Mailer: gnatsweb 2.9.3 Subject: Re: libstdc++/4312: g++ accepts vector > X-SW-Source: 2001-12/txt/msg01195.txt.bz2 List-Id: Synopsis: g++ accepts vector > Responsible-Changed-From-To: unassigned->pme Responsible-Changed-By: pme Responsible-Changed-When: Fri Dec 28 14:52:33 2001 Responsible-Changed-Why: I changed it. State-Changed-From-To: open->closed State-Changed-By: pme State-Changed-When: Fri Dec 28 14:52:33 2001 State-Changed-Why: Thank you for your bug report. There's no way for the compiler to detect this problem, at present. Doing so would require the compiler itself to test for "assignability". If the user configures with --enable-concept-checks, then the library will perform such tests, and the example code you gave fails to compile (in the _SGIAssignableConcept). Moving those kinds of tests into the compiler proper would be a wonderful aid to diagnostics, but I don't believe anybody is working on such a project at present. http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=4312