I apologize in advance if I'm not reporting this "bug"
absolutely correctly. I haven't done this before. I
appreciate your patience. Thank you.
I believe my template should report references and functions as NOT const.
Is this "pilot error" or a compiler bug?
gcc version 3.2 20020927 (prerelease)
in bash via cygwin on windows 98 se
As a fix, you can add another specialization that matches
references and set the result to false. Alternatively,
use boost::is_const that works correctly (has workarounds).
State-Changed-Why: The bug for function types is confirmed in 3.2 but it's
fixed in 3.3 (20030503) and 3.4 (20030503). It might be
fixed in 3.2.3 as well, I don't have that version.
There still is a bug with references, though:
template <typename T>
typedef int type;
template <typename T>
struct is_const<const T>
This should compile (but I'm not 100% sure because this
very part of the standard is still a bit misterious for me),
and it does on MSVC71 and Comeau/EDG, but fails with GCC
3.3 and 3.4. Since it worked in 2.95, I rate this as a
From: "Giovanni Bajo" <firstname.lastname@example.org>
Subject: Re: c++/10646: [3.3/3.4 regression] non-const reference is incorrectly matched in a "const T" partial specialization
Date: Wed, 7 May 2003 02:23:22 +0200
As an additional note, the same bug exists for any combination of
cv-qualifier. So, you can construct a template called is_volatile like the
above to reproduce the same bug.
The regression in 10646 was introduced or exposed by this patch:
--- gcc/gcc/cp/ChangeLog ---
> 2002-02-22 Nathan Sidwell <email@example.com>
> PR c++/2645, DR 295
> * cp-tree.h (tsubst_flags_t): Add tf_ignore_bad_quals,
> (make_typename_type): Use tsubst_flags_t.
> * decl.c (make_typename_type): Adjust. Return non-artificial
> TYPE_DECLs, if required.
> (grokdeclarator): Simplify CVR qualification handling. Allow bad
> qualifiers on typedef types.
> * decl2.c (handle_class_head): Adjust make_typename_type call.
> * parse.y (nested_name_specifier): Likewise.
> (typename_sub0): Likewise.
> (typename_sub1): Likewise.
> * pt.c (convert_template_argument): Adjust make_typename_type
> return value.
> (tsubst): Adjust cp_build_qualified_type_real calls.
> (check_cv_quals_for_unify): Cope with alowing bad qualifications
> on template type parms.
> (instantiate_decl): Recheck substitutions to give warnings on bad
> * tree.c (cp_build_qualified_type_real): Use tf_allow_bad_quals.
The regression hunt used the smaller test case from comment #2.
Not a bug.
CV qualifiers are ignored on reference type when introduced via a typedef
or template type parameter.
Nathan, this now compiles on the mainline, this is correct right?
yes this is now working