I fixed, but have not yet checked in, the errant reference for DW_OP_EXT. As you figured out, it is not a DWARF name or symbol in its own right--it is merely a prefix to be used for producer-defined names that identify extensions. There is no "definition" other than the sentence that explains that on page 42.
On Mon, Jul 21, 2025 at 1:46 PM David Anderson via Dwarf-discuss < dwarf-discuss@lists.dwarfstd.org> wrote: > On building the current DWARF6 draft, I noticed that it > refers to DW_OP_EXT (all caps) a few times. > > I am unable to find any actual definition of DW_OP_EXT in the document. > > At least one ref to DW_OP_EXT leads to > page one (the ref on page 42). > > David Anderson > > > > > -- > Dwarf-discuss mailing list > Dwarf-discuss@lists.dwarfstd.org > https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss >
-- Dwarf-discuss mailing list Dwarf-discuss@lists.dwarfstd.org https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss
