Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
RE: [cdt-dev] Does CDT core implement semantic checks for C

Sure, the c++ parsers perform overload resolution where this is required (e.g. function-calls, overloadable operators). They also perform template instantiation.
However, there is nothing like that for the c-parsers.
 
Markus.
 

From: cdt-dev-bounces@xxxxxxxxxxx [mailto:cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Tomasz Wesolowski
Sent: Monday, June 28, 2010 3:59 PM
To: CDT General developers list.
Subject: Re: [cdt-dev] Does CDT core implement semantic checks for C
Importance: Low



On Mon, Jun 28, 2010 at 9:51 AM, Schorn, Markus <Markus.Schorn@xxxxxxxxxxxxx> wrote:
Hi,
The c-parsers do not do any kind of type checking.

Note that the parsers generate problem nodes in some situations, for example- when encountering a function call with some arguments and when those arguments don't match (and cannot be implicitly converted to) any known overload. I'd say that it's a kind of semantic check.

Best regards,
-- Tomasz Wesołowski


Back to the top