E_ACSL.Typed_number
Manipulate the type of numbers.
Type of a string that represents a number. Used when a string is required to encode a constant number because it is not representable in any C type
val add_cast :
loc:Frama_c_kernel.Cil_types.location ->
?name:string ->
Env.t ->
Frama_c_kernel.Cil_types.kernel_function ->
Frama_c_kernel.Cil_types.typ option ->
strnum ->
Frama_c_kernel.Cil_types.term option ->
Frama_c_kernel.Cil_types.exp ->
Frama_c_kernel.Cil_types.exp * Env.t
add_cast ~loc ?name env kf ctx sty t_opt e
convert number expression e
in a way that it is compatible with the given typing context ctx
. sty
indicates if the expression is a string representing a number (integer or real) or directly a C number type. t_opt
is the term that is represented by the expression e
.