This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/65848] [c++-concepts] High memory usage and compilation times for subsuming concept chains; regression from r211824
- From: "tom at honermann dot net" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 23 Apr 2015 03:40:38 +0000
- Subject: [Bug c++/65848] [c++-concepts] High memory usage and compilation times for subsuming concept chains; regression from r211824
- Auto-submitted: auto-generated
- References: <bug-65848-4 at http dot gcc dot gnu dot org/bugzilla/>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65848
Tom Honermann <tom at honermann dot net> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from Tom Honermann <tom at honermann dot net> ---
Thank you. Confirmed fixed with r222332. My resource usage compiling the test
case now closely matches the usage noted in comment 2.
(In reply to Andrew Sutton from comment #1)
> This is caused by the use of a concept outside of a requires clause -- it's
> still a bug though. The TS doesn't actually include wording that would allow
> this program to be valid.
Ah, I wasn't aware of that restriction.
> Unfortunately, the first thing people do when they have concepts it to write
> tests that statically assert them, so I've been extending the proposal to
> make that valid.
I think that is actually not so unfortunate. Statically asserting concept
models has helped me find numerous issues in my own code. I'm glad to hear the
proposal is being extended to cover this.