Fix semgrep warning for using List.length for an emptiness check

goblint · Nov 15, 2023 · 8459104 · 8459104
1 parent 0bec1ac
commit 8459104
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -96,7 +96,7 @@ struct
             | Queries.VD.Struct s ->
               let struct_fields = ValueDomain.Structs.keys s in
               let ptr_struct_fields = List.filter (fun f -> isPointerType f.ftype) struct_fields in
-              if List.length ptr_struct_fields = 0 then None else Some (s, ptr_struct_fields)
+              if ptr_struct_fields = [] then None else Some (s, ptr_struct_fields)
             | _ -> None
           end
         | _ -> None