Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Enum in cil

  • Subject: [Frama-c-discuss] Enum in cil
  • From: david.ribeirocampelo at atosorigin.com (David RIBEIRO CAMPELO)
  • Date: Thu, 30 Apr 2009 12:29:11 +0200
Hello,

I try to do a some treatment in an enum, and I saw that two enum are 
present in the CIL from my C source.
My problem is there are no link between this two enum.For example :


Declaration of the enum:
File C :

typedef enum { left, middle, right,NB_side } side;

Code Cil :

enum __anonenum_side_1 {
    left = 0,
    middle = 1,
    right = 2,
    NB_side = 3
} ;
enum side;


Use of enum:
Code C:
enum side t = left;

Code Cil:
enum side t ;
t = (enum side )left;


Why in my example there are no link between "__anonenum_side_1" and 
"side" in the Cil Code? When I parse the file, "side" is not a TNamed 
but it is a TEnum and can't access to "__anonenum_side_1".Why my 
"typedef" disappears in the Cil?


Thanks.

Regards,


David RIBEIRO CAMPELO
-- 

 

	* David RIBEIRO CAMPELO*
*Ing?nieur - Atos Origin*
Telephone : 05 34 36 32 78
Mail : david.ribeirocampelo at atosorigin.com 
<mailto:david.ribeirocampelo at atosorigin.com>
6 Impasse Alice Guy
31024 Toulouse Cedex 03
www.atosorigin.fr <http://www.atosorigin.fr>

D?veloppement durable, anticipons pour notre avenir / Sustainability, 
advance our future
N'imprimez ce mail que si n?cessaire / please consider your 
environmental responsibility before printing this e-mail.
Ce message et les pi?ces jointes sont confidentiels et r?serv?s ? 
l'usage exclusif de ses destinataires. Il peut ?galement ?tre prot?g? 
par le secret professionnel. Si vous recevez ce message par erreur, 
merci d'en avertir imm?diatement l'exp?diteur et de le d?truire. 
L'int?grit? du message ne pouvant ?tre assur?e sur Internet, la 
responsabilit? du groupe Atos Origin ne pourra ?tre recherch?e quant au 
contenu de ce message. Bien que les meilleurs efforts soient faits pour 
maintenir cette transmission exempte de tout virus, l'exp?diteur ne 
donne aucune garantie ? cet ?gard et sa responsabilit? ne saurait ?tre 
recherch?e pour tout dommage r?sultant d'un virus transmis.

This e-mail and the documents attached are confidential and intended 
solely for the addressee; it may also be privileged. If you receive this 
e-mail in error, please notify the sender immediately and destroy it. As 
its integrity cannot be secured on the Internet, the Atos Origin group 
liability cannot be triggered for the message content. Although the 
sender endeavours to maintain a computer virus-free network, the sender 
does not warrant that this transmission is virus-free and will not be 
liable for any damages resulting from any virus transmitted.

-------------- section suivante --------------
Une pi?ce jointe HTML a ?t? enlev?e...
URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090430/e27040ad/attachment.htm 
-------------- section suivante --------------
Une pi?ce jointe non texte a ?t? nettoy?e...
Nom: ao_ioc_sign.gif
Type: image/gif
Taille: 4371 octets
Desc: non disponible
Url: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090430/e27040ad/attachment.gif