Keep TODO about count of memset in base.ml

goblint · Oct 1, 2023 · 89abb1a · 89abb1a
1 parent 3da9205
commit 89abb1a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 =