From 89abb1a9ade5352f19fc2c042c4ef2b387c5fa38 Mon Sep 17 00:00:00 2001
From: Stanimir Bozhilov <stanimir.bozhilov.1998@gmail.com>
Date: Sun, 1 Oct 2023 20:56:16 +0200
Subject: [PATCH] Keep TODO about count of memset in base.ml

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

diff --git a/src/analyses/base.ml b/src/analyses/base.ml
index 57c32fa3bc..232ee36d68 100644
--- a/src/analyses/base.ml
+++ b/src/analyses/base.ml
@@ -2094,6 +2094,7 @@ struct
     in
     let st = match desc.special args, f.vname with
     | Memset { dest; ch; count; }, _ ->
+      (* TODO: check count *)
       let eval_ch = eval_rv (Analyses.ask_of_ctx ctx) gs st ch in
       let dest_a, dest_typ = addr_type_of_exp dest in
       let value =