Stream: git-wasmtime

Topic: wasmtime / PR #2325 Remove `source_loc` from `TrapInforma...

Wasmtime GitHub notifications bot (Oct 27 2020 at 03:03):

alexcrichton opened PR #2325 from shrink-trap-information to main:

Turns out this wasn't needed anywhere! Additionally we can construct it
from InstructionAddressMap anyway. There's so many pieces of trap
information that it's best to keep these structures small as well.

Wasmtime GitHub notifications bot (Oct 27 2020 at 03:14):

alexcrichton updated PR #2325 from shrink-trap-information to main:

Turns out this wasn't needed anywhere! Additionally we can construct it
from InstructionAddressMap anyway. There's so many pieces of trap
information that it's best to keep these structures small as well.

Wasmtime GitHub notifications bot (Oct 28 2020 at 18:04):

pchickey submitted PR Review.

Wasmtime GitHub notifications bot (Oct 28 2020 at 18:05):

alexcrichton merged PR #2325.

Last updated: Nov 22 2024 at 16:03 UTC