1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
let _ = fun (x : int) : int -> some_large_computation
let _ = fun (x : int) : int -> (some_large_computation : int)
let fooo = List.foooo ~f:(fun foooo foooo : bool -> foooooooooooooooooooooo)
let _ =
fun (x : int) (x : int) (x : int) (x : int) (x : int) :
fooooooooooooooooooooooooooo foooooooooooooo foooooooooo ->
some_large_computation
let _ =
fun (x : int) (x : int) (x : int) (x : int) (x : int) (x : int) (x : int) :
fooooooooooooooooooooooooooo foooooooooooooo foooooooooo ->
some_large_computation
let () =
fun x : int ->
fun r : int ->
fun u ->
foooooooooooooooooooooooooooooooooooooooooooooooooooooooo
foooooooooooooooooooooooooooooooooooooooooooooooooooooooo
let to_loc_trace
?(desc_of_source =
fun source ->
let callsite = Source.call_site source in
Format.asprintf "return from %a" Typ.Procname.pp
(CallSite.pname callsite)) ?(source_should_nest = fun _ -> true)
?(desc_of_sink =
fun sink ->
let callsite = Sink.call_site sink in
Format.asprintf "call to %a" Typ.Procname.pp (CallSite.pname callsite))
?(sink_should_nest = fun _ -> true) (passthroughs, sources, sinks) =
()
let translate_captured
{
Clang_ast_t.lci_captured_var;
lci_init_captured_vardecl;
lci_capture_this;
lci_capture_kind;
} ((trans_results_acc, captured_vars_acc) as acc) =
()
let f ssssssssss =
String.fold ssssssssss ~init:innnnnnnnnnit ~f:(fun accuuuuuuuuuum -> function
| '0' -> g accuuuuuuuuuum
| '1' -> h accuuuuuuuuuum
| _ -> i accuuuuuuuuuum)
let f ssssssssss =
String.fold ssssssssss ~init:innnnnnnnnnit ~f:(function
| '0' -> g accuuuuuuuuuum
| '1' -> h accuuuuuuuuuum
| _ -> i accuuuuuuuuuum)
let f _ =
let foooooooooooooooooooooooooooo = foooooooooooooooooooooooooooo in
fun x ->
let foooooooooooooooooooooooooooo = foooooooooooooooooooooooooooo in
x
let f _ =
let foooooooooooooooooooooooooooo = foooooooooooooooooooooooooooo in
(* foo *)
fun x ->
let foooooooooooooooooooooooooooo = foooooooooooooooooooooooooooo in
x
let space_break =
(* a stack is useless here, this would require adding a unit parameter *)
with_pp (fun fs ->
Box_debug.space_break fs;
Format_.pp_print_space fs ())
let _ =
(fun k ->
let _ = 42 in
())
@@ ()
let _ =
let _ = () in
fun (context : Context.t)
~(local_bins : origin Appendable_list.t Filename.Map.t Memo.Lazy.t)
->
let _ = () in
()
let _ =
print_endline "foo";
fun (context : Context.t)
~(local_bins : origin Appendable_list.t Filename.Map.t Memo.Lazy.t)
->
let _ = () in
()
class traverse_labels h =
object
method statement =
function
| Labelled_statement (L l, (s, _)) ->
let m = {<ldepth = ldepth + 1>} in
Hashtbl.add h l ldepth;
m#statement s
| s -> super#statement s
end
|
