We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4632f6a commit e8e6b58Copy full SHA for e8e6b58
1 file changed
src/analyses/c2poAnalysis.ml
@@ -15,14 +15,9 @@ struct
15
module D = D
16
module C = D
17
18
- type marshal = unit
19
-
20
let name () = "c2po"
21
let startcontext () = D.top ()
22
23
- let init d = ()
24
- let finalize () = ()
25
26
(** Find reachable variables in a function *)
27
let reachable_from_args ctx args =
28
let collect_reachable_from_exp acc e =
0 commit comments