<div dir="ltr">I fixed, but have not yet checked in, the errant reference for DW_OP_EXT.<div>As you figured out, it is not a DWARF name or symbol in its own right--it</div><div>is merely a prefix to be used for producer-defined names that identify extensions.</div><div>There is no "definition" other than the sentence that explains that on page 42.</div><div><br></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Mon, Jul 21, 2025 at 1:46 PM David Anderson via Dwarf-discuss <<a href="mailto:dwarf-discuss@lists.dwarfstd.org">dwarf-discuss@lists.dwarfstd.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On building the current DWARF6 draft, I noticed that it<br>
refers to DW_OP_EXT (all caps) a few times.<br>
<br>
I am unable to find any actual definition of DW_OP_EXT in the document.<br>
<br>
At least one ref to DW_OP_EXT leads to<br>
page one (the ref on page 42).<br>
<br>
David Anderson<br>
<br>
<br>
<br>
<br>
-- <br>
Dwarf-discuss mailing list<br>
<a href="mailto:Dwarf-discuss@lists.dwarfstd.org" target="_blank">Dwarf-discuss@lists.dwarfstd.org</a><br>
<a href="https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss" rel="noreferrer" target="_blank">https://lists.dwarfstd.org/mailman/listinfo/dwarf-discuss</a><br>
</blockquote></div>