[Bug c++/14186] const volatile is ignored for TYPE_INSTANCE

["tromey at redhat dot com" <sourceware-bugzilla at sourceware dot org>]

http://sourceware.org/bugzilla/show_bug.cgi?id=14186

--- Comment #2 from Tom Tromey <tromey at redhat dot com> 2012-06-20 14:55:38 UTC ---
Created attachment 6461
  --> http://sourceware.org/bugzilla/attachment.cgi?id=6461
start of a patch

Here's the start of a patch.

It has some unnecessary stuff in it, since I was hacking around
a bit.  But some parts should be ok, like the c-exp.y change.

The TYPE_INSTANCE code seems very suspect to me.  The parser production
just uses 'exp' -- but this means all kinds of weird things can be parsed
here.  (On further reflection I wish I hadn't allowed this extension...)
Also the code in eval.c does not use cleanups, so it can leak memory on errors.

The fundamental problem I hit is that rank_one_type does not consider
cv-qualifiers.  So, even after getting the qualifiers all the way through,
we still get the wrong answer; and I didn't want to try fixing this problem
yet.

The cv-qualifier problem could be hacked around in compare_parameters,
but that seemed too hackish for me.

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.