From 026fe990831d7391b594621c4c686a0b2c907181 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 7 Apr 2021 18:03:04 +0200
Subject: [PATCH] [Kernel] remove unused Ast_info.constant_expr (Cil.kinteger64
is more general)
---
src/kernel_services/ast_queries/ast_info.ml | 2 --
src/kernel_services/ast_queries/ast_info.mli | 1 -
2 files changed, 3 deletions(-)
diff --git a/src/kernel_services/ast_queries/ast_info.ml b/src/kernel_services/ast_queries/ast_info.ml
index be162cec7f9..5a6d0615503 100644
--- a/src/kernel_services/ast_queries/ast_info.ml
+++ b/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
diff --git a/src/kernel_services/ast_queries/ast_info.mli b/src/kernel_services/ast_queries/ast_info.mli
index 14fb2476dba..2f420c05573 100644
--- a/src/kernel_services/ast_queries/ast_info.mli
+++ b/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
--
GitLab