RE: [cdt-dev] Does CDT core implement semantic checks for C

[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

From: "Schorn, Markus" <Markus.Schorn@xxxxxxxxxxxxx>
Date: Mon, 28 Jun 2010 09:51:03 +0200
Delivered-to: cdt-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/cdt-dev>
List-help: <mailto:cdt-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/listinfo/cdt-dev>, <mailto:cdt-dev-request@eclipse.org?subject=unsubscribe>
Thread-index: AcsUYPf4aMByzbejSfqKDA34Y34ZqACNObUg
Thread-topic: [cdt-dev] Does CDT core implement semantic checks for C

Hi,

The c-parsers do not do any kind of type checking. What we have so far is an implementation for arithmetic conversions such that we can compute the type of an _expression_ (IASTExpression.getType() ).

Markus.

From: cdt-dev-bounces@xxxxxxxxxxx [mailto:cdt-dev-bounces@xxxxxxxxxxx] On Behalf Of Chen Rui
Sent: Friday, June 25, 2010 2:21 PM
To: cdt-dev@xxxxxxxxxxx
Subject: [cdt-dev] Does CDT core implement semantic checks for C
Importance: Low

Such as type checking and initialization checking?
If does, which package is it included?

--
Chen Rui

Follow-Ups:
- Re: [cdt-dev] Does CDT core implement semantic checks for C
  - From: Tomasz Wesołowski

References:
- [cdt-dev] Does CDT core implement semantic checks for C
  - From: Chen Rui

Prev by Date: [cdt-dev] Use CDT debugger to attach to a running process
Next by Date: Re: [cdt-dev] Need to use the CFG infrastructure in CDT
Previous by thread: Re: [cdt-dev] Does CDT core implement semantic checks for C
Next by thread: Re: [cdt-dev] Does CDT core implement semantic checks for C
Index(es):
- Date
- Thread

Breadcrumbs