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