<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<p>><span style="color: rgb(33, 33, 33); font-size: 12pt;">I'm more interested in the observed behavior than looking at the code.</span></p>
<div style="color: rgb(33, 33, 33);">
<div>
<div dir="ltr">></div>
<div dir="ltr"><br>
</div>
<div dir="ltr">Just checked that again, for ".debug_foo_ranges" it places zeroes, for ".debug_ranges" places "1". 
<div dir="ltr" style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">
Like code says.<br>
<br>
</div>
>But it's a good catch!<br>
><br>
>(Eric: this is vaguely amusing... (that the linker needs a special case for DWARF debug_ranges section or it may prematurely >terminate a range list - hopefully debug_rng_lists addresses this too))<br>
</div>
<div dir="ltr"><br>
</div>
<div dir="ltr">George.<br>
</div>
</div>
</div>
</body>
</html>