Reinsert all assertions dealing with not visiting bottom

Question

Reinsert all assertions dealing with not visiting bottom

Closed this issue 6 years ago · 3 comments

(after BBs belonging to (currently) not reachable nodes are no longer added to worklist)

Answer 1 · 2018-06-09T13:07:13.000Z

b47de79 does not completely solve the issue yet, we also need to be smart in the beginning (e.g. putting only first basic block of each function) before we can reinsert the assertions

Answer 2 · 2018-06-10T05:40:13.000Z

Putting only first basic block of each function to worklist has been implemented in commit 37c0e3a . Assert have been reinserted in commit 44e79c3 and do not seem to cause any problems.

Answer 3 · 2018-06-10T07:51:10.000Z

Only process one (non-empty) function at a time has been implemented in the commits 171d450 and b3c9f1f.