Re: [C++ Patch] Remove is_auto_or_concept, etc

2017-05-16 Thread Adam Butcher
Sorry for not getting back to your original post Paolo. I haven't been picking up mails for a while. On 2017-05-01 16:56, Jason Merrill wrote: On Thu, Apr 27, 2017 at 2:02 PM, Paolo Carlini wrote: On 26/04/2017 12:32, Paolo Carlini wrote: in 2013 (2013-09-16) Adam added two slightly obscur

Re: [C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?)

2017-05-01 Thread Jason Merrill
OK. On Thu, Apr 27, 2017 at 2:02 PM, Paolo Carlini wrote: > Hi again, > > On 26/04/2017 12:32, Paolo Carlini wrote: >> >> Hi, >> >> in 2013 (2013-09-16) Adam added two slightly obscure functions and I can't >> find much around in terms of rationale, etc: >> >> /* Returns true iff TYPE is a TEMPLA

Re: [C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?)

2017-04-28 Thread Nathan Sidwell
On 04/27/2017 02:02 PM, Paolo Carlini wrote: ... replying to myself, in practice we could do the below, which certainly passes testing, and in fact now seems to me even more obvious than I thought a couple of days ago... I'm insufficiently conceptified to know whether this is safe (but lack

[C++ Patch] Remove is_auto_or_concept, etc (Was: Re: [C++, concepts] Two slightly obscure pt.c functions?)

2017-04-27 Thread Paolo Carlini
Hi again, On 26/04/2017 12:32, Paolo Carlini wrote: Hi, in 2013 (2013-09-16) Adam added two slightly obscure functions and I can't find much around in terms of rationale, etc: /* Returns true iff TYPE is a TEMPLATE_TYPE_PARM representing 'auto', 'decltype(auto)' or a concept. */ bool is

[C++ Patch, preapproved] Prefer DECL_SOURCE_LOCATION to "+D" and "+#D" (2/n)

2015-07-28 Thread Paolo Carlini
Hi, other bits. Tested x86_64-linux. Thanks, Paolo. // 2015-07-28 Paolo Carlini * call.c (build_op_delete_call, convert_like_real, build_over_call): Use Use DECL_SOURCE_LOCATION and "%qD" in inform and pedwarn instead of "%q+D". * constexp

[C++ PATCH] Re: may_alias attribute and type identity (PR c++/34935, PR c++/34936)

2008-01-24 Thread Doug Gregor
On Jan 24, 2008 11:41 AM, Jakub Jelinek <[EMAIL PROTECTED]> wrote: > On Thu, Jan 24, 2008 at 04:06:47PM +0100, Richard Guenther wrote: > > On Jan 24, 2008 3:58 PM, Doug Gregor <[EMAIL PROTECTED]> wrote: > > The middle-end type system (useless_type_conversion_p) says that > > pointers to int and poi

Re: [Objective-C PATCH] Canonical types (3/3)

2006-11-28 Thread Mike Stump
On Nov 28, 2006, at 7:56 AM, Doug Gregor wrote: This is part three of three, containing changes to the Objective-C (and, thus, Objective-C++) front end. Okay for mainline? Ok, if the base patch goes in, thanks.

[Objective-C PATCH] Canonical types (3/3)

2006-11-28 Thread Doug Gregor
This patch introduces canonical types into GCC. See the first part of this patch for a complete explanation. This is part three of three, containing changes to the Objective-C (and, thus, Objective-C++) front end. Okay for mainline? Cheers, Doug Gregor Open Systems Lab @ Indiana University

[C++ PATCH] Canonical types (2/3)

2006-11-28 Thread Doug Gregor
This patch introduces canonical types into GCC; see the first part of this patch for a complete description. This is part two of three, containing changes to the C++ front end. Okay for mainline? Cheers, Doug Gregor Open Systems Lab @ Indiana University 2006-11-28 Douglas Gregor <[EMAIL P

98, it is! (was: C++ PATCH: PR 28261)

2006-10-17 Thread Gerald Pfeifer
On Tue, 17 Oct 2006, Mark Mitchell wrote: > This patch fixes PR c++/28261, an ICE-on-invalid when an > enum-definition appeared in an constructor parmeter declaration. Unless I'm mistaken, this means we are down to less than 100 serious regressions! (Richi has been giving me the current number t

C++ PATCH: PR 2922

2005-05-28 Thread Douglas Gregor
Hello, This amusingly small patch fixes PR 2922 (two-stage lookup for unqualified function calls with type-dependent arguments). We need only keep the set of functions we found in the first stage, and it will be augmented by those functions found using argument-dependent lookup at the second st

Apology (was: Re: C++ PATCH:)

2005-02-23 Thread Gabriel Dos Reis
Joe Buck <[EMAIL PROTECTED]> writes: | Also, we maintain a standard of civility on this list. I've been known | to violate it occasionally, but when I do I promptly apologize. Let's | try to express our disagreements without treating each other with | disrespect. I realize I should have express

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > Great. The emacs that comes with the suse I'm running is 21.3.1. > Do you have emacs 22 in your latest release? It'll probably take a few months until Emacs 22 is released. Andreas. -- Andreas Schwab, SuSE Labs, [EMAIL PROTECTED] SuSE Linux Produ

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Neil Booth <[EMAIL PROTECTED]> writes: | I also suggest you stop viewing everything as a personal attack. Thanks for the suggestion, but it would be valuable if its predicate hold. I do not view anything as a personal attack. -- Gaby

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Andreas Schwab <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | > I've seen cpplib uses that format for a long time now (I think it was | > Neil's work), but I do not seem to see emacs actively take advantage | > of it. | | Emacs 22 will. Compilation mode has been

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
James E Wilson <[EMAIL PROTECTED]> writes: | Marcin Dalecki wrote: | > this. Every time I see gcc reporting tens of k errors after discovering a | > serious parser error for no good reason running out of every xterm | > scroll back | | The -Wfatal-errors option will make gcc exit after the first

Re: C++ PATCH:

2005-02-23 Thread Neil Booth
Gabriel Dos Reis wrote:- > Please, the statement was that EDG does not print expression outside > declarations. But the fact is it does not just print declarations. It > prints also statements and expressions part of those statements. And the fact is it Mark is right - it doesn't. It prints ra

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Marcin Dalecki <[EMAIL PROTECTED]> writes: > Please note that there exists only a GNU *convention* for error > reporting. A not particularly well tough out one. One would for example > welcome if the error reporting would refer to particular points in the > ANSI papers by reference like TenDRA an

Re: C++ PATCH:

2005-02-23 Thread Marcin Dalecki
On 2005-02-23, at 20:25, Gabriel Dos Reis wrote: of source code in the diagnostic. That is based on the GNU standard for diagnostics. Other people seem to have built tools on top of that too. Please note that there exists only a GNU *convention* for error reporting. A not particularly well tough

Re: C++ PATCH:

2005-02-23 Thread James E Wilson
Marcin Dalecki wrote: this. Every time I see gcc reporting tens of k errors after discovering a serious parser error for no good reason running out of every xterm scroll back The -Wfatal-errors option will make gcc exit after the first error, instead of trying to recover and continue. I suppose

Re: C++ PATCH:

2005-02-23 Thread Andreas Schwab
Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > I've seen cpplib uses that format for a long time now (I think it was > Neil's work), but I do not seem to see emacs actively take advantage > of it. Emacs 22 will. Compilation mode has been largely rewritten. Andreas. -- Andreas Schwab, SuSE Lab

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Tom Tromey <[EMAIL PROTECTED]> writes: | > "Gabriel" == Gabriel Dos Reis <[EMAIL PROTECTED]> writes: | | Mark> (However, I've never had the time or energy to | Mark> work through the process of implementing the caret approach, which is | Mark> definitely a lot of work, and would necessarily i

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Jakub Jelinek <[EMAIL PROTECTED]> writes: | On Wed, Feb 23, 2005 at 06:51:46PM +0100, Gabriel Dos Reis wrote: | > | I think that the best solution for the long term is the caret approach, | > | printing out the original source line that the user typed. Trying to | > | re-generate the expression f

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Marcin Dalecki <[EMAIL PROTECTED]> writes: | On 2005-02-23, at 18:40, Gabriel Dos Reis wrote: | > ndards for error messages, etc.) | > | > That certainly would require changing many things, e.g. Emacs support | > and like. That is a reason why I approach this issue conservatively. | > | Factually

Re: C++ PATCH:

2005-02-23 Thread Tom Tromey
> "Gabriel" == Gabriel Dos Reis <[EMAIL PROTECTED]> writes: Mark> (However, I've never had the time or energy to Mark> work through the process of implementing the caret approach, which is Mark> definitely a lot of work, and would necessarily include working Mark> through issues about the GNU

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > I don't think it makes sense or it serves any useful purpose removing | > you from maintainership, although I believe you should exercise it | > with more openness. | | Are we talking here about my role as a C++ maintainer

Re: C++ PATCH:

2005-02-23 Thread Marcin Dalecki
On 2005-02-23, at 18:40, Gabriel Dos Reis wrote: ndards for error messages, etc.) That certainly would require changing many things, e.g. Emacs support and like. That is a reason why I approach this issue conservatively. Factually the support for error handling by integration in to external tools

Re: C++ PATCH:

2005-02-23 Thread Mark Mitchell
Gabriel Dos Reis wrote: I don't think it makes sense or it serves any useful purpose removing you from maintainership, although I believe you should exercise it with more openness. Are we talking here about my role as a C++ maintainer? What kind of additional openness would you like to see? I h

Re: C++ PATCH:

2005-02-23 Thread Jakub Jelinek
On Wed, Feb 23, 2005 at 06:51:46PM +0100, Gabriel Dos Reis wrote: > | I think that the best solution for the long term is the caret approach, > | printing out the original source line that the user typed. Trying to > | re-generate the expression from the tree is likely to generate something > | co

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Joe Buck <[EMAIL PROTECTED]> writes: | On Wed, Feb 23, 2005 at 12:14:23PM -0500, Jason Merrill wrote: | > On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: | > | > > Neil Booth <[EMAIL PROTECTED]> writes: | > > | > > | Gabriel Dos Reis wrote:- | > > | | > > | > That stat

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > Lower forms appear because currently we do not do a good in the | > front-end and pretty-printer telling which level of abstraction is | > preferred. I noted initial effort in that direction has already | > been undermine

Re: C++ PATCH:

2005-02-23 Thread Joe Buck
On Wed, Feb 23, 2005 at 12:14:23PM -0500, Jason Merrill wrote: > On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > > > Neil Booth <[EMAIL PROTECTED]> writes: > > > > | Gabriel Dos Reis wrote:- > > | > > | > That statement is factually false as can be verified with EDG-3

Re: C++ PATCH:

2005-02-23 Thread Jason Merrill
On 23 Feb 2005 16:49:51 +0100, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote: > Neil Booth <[EMAIL PROTECTED]> writes: > > | Gabriel Dos Reis wrote:- > | > | > That statement is factually false as can be verified with EDG-3.5: > | > | Oh come on Gaby, that's not printing an expression, it prints >

Re: C++ PATCH:

2005-02-23 Thread Mark Mitchell
Gabriel Dos Reis wrote: Lower forms appear because currently we do not do a good in the front-end and pretty-printer telling which level of abstraction is preferred. I noted initial effort in that direction has already been undermined by you. Since, no technical reason was given, I must assume

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Neil Booth <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote:- | | > That statement is factually false as can be verified with EDG-3.5: | | Oh come on Gaby, that's not printing an expression, it prints Please, the statement was that EDG does not print expression outside declarations. But th

Re: C++ PATCH:

2005-02-23 Thread Neil Booth
Gabriel Dos Reis wrote:- > That statement is factually false as can be verified with EDG-3.5: Oh come on Gaby, that's not printing an expression, it prints the raw source line, comments and trigraphs included. Are you proposing your pretty printer do that too? Neil.

Re: C++ PATCH:

2005-02-23 Thread Gabriel Dos Reis
Mark Mitchell <[EMAIL PROTECTED]> writes: | Gabriel Dos Reis wrote: | | > Actually, we do have machinery to print statement-expression. It is | > just that calling dump_expr() is wrong. | | Why do we want to print them? When does that help the user debug the | problem? The only situation I ca