Commit bb43044
* fix(dwarf): remap DW_AT_ranges lists to the fused layout (#319 inc 2)
The residual "DIE address ranges are not contained in its parent's ranges"
errors after inc 1 came from base-relative .debug_ranges offsets.
Root cause: DWARF v4 .debug_ranges entries are offset pairs relative to a
base (the CU's DW_AT_low_pc, which is nonzero for wasi-libc CUs). gimli
parses them as AddressOrOffsetPair and routes the *offsets* through
convert_address, which treats a small offset (e.g. 0x141) as an absolute
code address and remaps it to an unrelated output location — so the resolved
range escapes its parent (the .debug_ranges analogue of the inc-1 high_pc
bug, one level down). The CU base (an address form) is remapped correctly,
so consumer = out_base + garbage_offset → e.g. [0x1c439,..) outside the
parent [0x133b6,0x1353d).
Fix: correct_die_ranges — a post-convert pass that, walking read↔write DIEs
in lockstep pre-order, resolves each DIE's absolute input ranges via
gimli read `die_ranges` (base already applied), translates both endpoints to
the fused layout, and re-emits them as OffsetPair relative to the output CU
base. Sub-ranges whose endpoints can't be mapped (dropped/tombstoned code)
are dropped; an emptied list deletes DW_AT_ranges — never a wrong or
escaping range (LS-D-1).
Effect: the "not contained" class is eliminated — records-only 4->0,
records+variants 11->0 (cumulative with inc 1: 1049->35 multi, ~510->8
single). The remaining 35/8 are Cause #2 (.debug_loc tombstone vs
base-address-selection escape) = inc 3.
Test: inc2_die_ranges_stay_within_enclosing_subprogram — fuses records.wasm,
re-parses the fused DWARF, asserts every DW_AT_ranges entry sits inside its
enclosing subprogram (the invariant that failed). 2 witness + 24 dwarf unit
tests pass.
Refs: #319.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
* harden(dwarf): drop zero-length ranges in correct_die_ranges (#319 inc 2)
Mythos delta-pass robustness: a degenerate begin==end OffsetPair is rejected
by gimli's range writer (InvalidRange), which would abort the whole DWARF
write and fall back to strip. Require strict oe > ob; a zero-length range
carries no info, so dropping it is lossless. (No mis-attribution — this is a
write-abort/reliability guard.)
Refs: #319.
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
---------
Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
1 parent 69c644d commit bb43044
2 files changed
Lines changed: 231 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
575 | 575 | | |
576 | 576 | | |
577 | 577 | | |
| 578 | + | |
| 579 | + | |
| 580 | + | |
578 | 581 | | |
579 | 582 | | |
580 | 583 | | |
| |||
644 | 647 | | |
645 | 648 | | |
646 | 649 | | |
| 650 | + | |
| 651 | + | |
| 652 | + | |
| 653 | + | |
| 654 | + | |
| 655 | + | |
| 656 | + | |
| 657 | + | |
| 658 | + | |
| 659 | + | |
| 660 | + | |
| 661 | + | |
| 662 | + | |
| 663 | + | |
| 664 | + | |
| 665 | + | |
| 666 | + | |
| 667 | + | |
| 668 | + | |
| 669 | + | |
| 670 | + | |
| 671 | + | |
| 672 | + | |
| 673 | + | |
| 674 | + | |
| 675 | + | |
| 676 | + | |
| 677 | + | |
| 678 | + | |
| 679 | + | |
| 680 | + | |
| 681 | + | |
| 682 | + | |
| 683 | + | |
| 684 | + | |
| 685 | + | |
| 686 | + | |
| 687 | + | |
| 688 | + | |
| 689 | + | |
| 690 | + | |
| 691 | + | |
| 692 | + | |
| 693 | + | |
| 694 | + | |
| 695 | + | |
| 696 | + | |
| 697 | + | |
| 698 | + | |
| 699 | + | |
| 700 | + | |
| 701 | + | |
| 702 | + | |
| 703 | + | |
| 704 | + | |
| 705 | + | |
| 706 | + | |
| 707 | + | |
| 708 | + | |
| 709 | + | |
| 710 | + | |
| 711 | + | |
| 712 | + | |
| 713 | + | |
| 714 | + | |
| 715 | + | |
| 716 | + | |
| 717 | + | |
| 718 | + | |
| 719 | + | |
| 720 | + | |
| 721 | + | |
| 722 | + | |
| 723 | + | |
| 724 | + | |
| 725 | + | |
| 726 | + | |
| 727 | + | |
| 728 | + | |
| 729 | + | |
| 730 | + | |
| 731 | + | |
| 732 | + | |
| 733 | + | |
| 734 | + | |
| 735 | + | |
| 736 | + | |
| 737 | + | |
| 738 | + | |
| 739 | + | |
| 740 | + | |
| 741 | + | |
| 742 | + | |
| 743 | + | |
| 744 | + | |
| 745 | + | |
| 746 | + | |
| 747 | + | |
| 748 | + | |
| 749 | + | |
| 750 | + | |
| 751 | + | |
| 752 | + | |
| 753 | + | |
| 754 | + | |
| 755 | + | |
| 756 | + | |
| 757 | + | |
| 758 | + | |
| 759 | + | |
| 760 | + | |
| 761 | + | |
| 762 | + | |
| 763 | + | |
| 764 | + | |
| 765 | + | |
| 766 | + | |
| 767 | + | |
| 768 | + | |
| 769 | + | |
| 770 | + | |
| 771 | + | |
| 772 | + | |
| 773 | + | |
| 774 | + | |
| 775 | + | |
| 776 | + | |
| 777 | + | |
| 778 | + | |
| 779 | + | |
| 780 | + | |
| 781 | + | |
647 | 782 | | |
648 | 783 | | |
649 | 784 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
190 | 190 | | |
191 | 191 | | |
192 | 192 | | |
| 193 | + | |
| 194 | + | |
| 195 | + | |
| 196 | + | |
| 197 | + | |
| 198 | + | |
| 199 | + | |
| 200 | + | |
| 201 | + | |
| 202 | + | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
| 209 | + | |
| 210 | + | |
| 211 | + | |
| 212 | + | |
| 213 | + | |
| 214 | + | |
| 215 | + | |
| 216 | + | |
| 217 | + | |
| 218 | + | |
| 219 | + | |
| 220 | + | |
| 221 | + | |
| 222 | + | |
| 223 | + | |
| 224 | + | |
| 225 | + | |
| 226 | + | |
| 227 | + | |
| 228 | + | |
| 229 | + | |
| 230 | + | |
| 231 | + | |
| 232 | + | |
| 233 | + | |
| 234 | + | |
| 235 | + | |
| 236 | + | |
| 237 | + | |
| 238 | + | |
| 239 | + | |
| 240 | + | |
| 241 | + | |
| 242 | + | |
| 243 | + | |
| 244 | + | |
| 245 | + | |
| 246 | + | |
| 247 | + | |
| 248 | + | |
| 249 | + | |
| 250 | + | |
| 251 | + | |
| 252 | + | |
| 253 | + | |
| 254 | + | |
| 255 | + | |
| 256 | + | |
| 257 | + | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
| 270 | + | |
| 271 | + | |
| 272 | + | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
| 285 | + | |
| 286 | + | |
| 287 | + | |
| 288 | + | |
0 commit comments