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] Problem with int and integer in terms

Hello Virgile,

the problem is that if I hash t as an int (converted from an lval) and 
then try to find t, when it is part of another term such as t-1, in the 
hashtable, it has type integer and hence isn't found.

So, does "If cast is true: expressions with integral type are cast to 
corresponding C type." in the API doc for expr_to_term, 
lval_to_term_lval, host_to_term_host mean that the operand keeps type 
int, but is considered as an integer when needed?

-Boris