From c458db248993021a753772beead0754697f2f73a Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Tue, 19 Sep 2023 17:44:44 +0300
Subject: [PATCH] Add Int cases to MayPointTo and ReachableFrom queries

---
 src/analyses/base.ml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index c225da2939..4e7235de2b 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -1270,6 +1270,7 @@ struct
         match eval_rv_address (Analyses.ask_of_ctx ctx) ctx.global ctx.local e with
         | Address a -> a
         | Bot -> Queries.Result.bot q (* TODO: remove *)
+        | Int i -> AD.of_int i
         | _ -> Queries.Result.top q
       end
     | Q.EvalThread e -> begin
@@ -1292,6 +1293,7 @@ struct
             AD.add UnknownPtr addrs' (* add unknown back *)
           else
             addrs'
+        | Int i -> AD.of_int i
         | _ -> AD.empty ()
       end
     | Q.ReachableUkTypes e -> begin