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
|
https://bugs.gentoo.org/957401
https://github.com/AFLplusplus/AFLplusplus/pull/2465
--- a/instrumentation/afl-gcc-cmplog-pass.so.cc
+++ b/instrumentation/afl-gcc-cmplog-pass.so.cc
@@ -44,8 +44,7 @@ static const struct pass_data afl_cmplog_pass_data = {
.properties_provided = 0,
.properties_destroyed = 0,
.todo_flags_start = 0,
- .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg | TODO_verify_il |
- TODO_rebuild_cgraph_edges),
+ .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg | TODO_rebuild_cgraph_edges),
};
--- a/instrumentation/afl-gcc-cmptrs-pass.so.cc
+++ b/instrumentation/afl-gcc-cmptrs-pass.so.cc
@@ -44,8 +44,7 @@ static const struct pass_data afl_cmptrs_pass_data = {
.properties_provided = 0,
.properties_destroyed = 0,
.todo_flags_start = 0,
- .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg | TODO_verify_il |
- TODO_rebuild_cgraph_edges),
+ .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg | TODO_rebuild_cgraph_edges),
};
--- a/instrumentation/afl-gcc-pass.so.cc
+++ b/instrumentation/afl-gcc-pass.so.cc
@@ -65,7 +65,6 @@
The new pass is to be a GIMPLE_PASS. Given the sort of
instrumentation it's supposed to do, its todo_flags_finish will
certainly need TODO_update_ssa, and TODO_cleanup_cfg.
- TODO_verify_il is probably desirable, at least during debugging.
TODO_rebuild_cgraph_edges is required only in the out-of-line
instrumentation mode.
@@ -148,7 +147,7 @@ static constexpr struct pass_data afl_pass_data = {
.properties_provided = 0,
.properties_destroyed = 0,
.todo_flags_start = 0,
- .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg | TODO_verify_il),
+ .todo_flags_finish = (TODO_update_ssa | TODO_cleanup_cfg),
};
|
