--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on August 2012 ---
[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