Merge branch 'feature/andre/remove-ast-info-constant-expr' into 'master'

[Kernel] remove unused Ast_info.constant_expr (Cil.kinteger64 is more general and checks the size)

See merge request frama-c/frama-c!3136

src/kernel_services/ast_queries/ast_info.ml

@@ -53,8 +53,6 @@ let value_of_integral_expr e =
   | None -> assert false
   | Some i -> i
 
-let constant_expr ~loc i = new_exp ~loc (Const(CInt64(i,IInt,None)))
-
 let rec is_null_expr e = match (stripInfo e).enode with
   | Const c when is_integral_const c ->
     Integer.equal (value_of_integral_const c) Integer.zero

src/kernel_services/ast_queries/ast_info.mli

@@ -33,7 +33,6 @@ val possible_value_of_integral_const: constant -> Integer.t option
 val possible_value_of_integral_expr: exp -> Integer.t option
 val value_of_integral_const: constant -> Integer.t
 val value_of_integral_expr: exp -> Integer.t
-val constant_expr: loc:location -> Integer.t -> exp
 val is_null_expr: exp -> bool
 val is_non_null_expr: exp -> bool