This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Idea to refine -Wtype-limits
- From: "Manuel López-Ibáñez" <lopezibanez at gmail dot com>
- To: "Gabriel Dos Reis" <gdr at cs dot tamu dot edu>
- Cc: "Gerald Pfeifer" <gerald at pfeifer dot com>, gcc at gcc dot gnu dot org
- Date: Mon, 14 Jan 2008 07:22:57 +0100
- Subject: Re: Idea to refine -Wtype-limits
- References: <Pine.LNX.4.64.0711260040410.19271@acrux.dbai.tuwien.ac.at> <87k5o53cwy.fsf@soliton.cs.tamu.edu> <6c33472e0711260453x31e451caya65683dcfe397f88@mail.gmail.com> <Pine.LNX.4.64.0711260807290.11055@gauss.cs.tamu.edu>
On 26/11/2007, Gabriel Dos Reis <gdr@cs.tamu.edu> wrote:
>
> Template are tricky. During phase one, we usually do as much of
> semantics analysis as we can, e.g. non dependent things get checked.
> In phase two, we check only things that were dependent. So, if the
> enclosing function is generated from a template (and there is a way to
> know that), then we are checking something that was dependent in the
> first place.
>
Oh Gabriel, I missed this mail completely.
Do you know what is the way to check that?
Cheers,
Manuel.