Stream: git-wasmtime

Topic: wasmtime / issue #3498 Skip generating DWARF info for dea...

Wasmtime GitHub notifications bot (Nov 07 2021 at 07:44):

adamrk commented on issue #3498:

Is that something where these two methods of skipping can get unified into one which uses next_sibling and/or next_dfs?

Yeah good point. Looking at skip_at_depth more carefully, I think it is used for skipping a node and all its children, so we can just reuse that here. I added some comments describing how it works.

Wasmtime GitHub notifications bot (Nov 08 2021 at 15:31):

alexcrichton commented on issue #3498:

Thanks!

Last updated: Nov 22 2024 at 17:03 UTC