<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 07.11.2012 17:16, Tor Lillqvist
wrote:<br>
</div>
<blockquote
cite="mid:CANGFS+8wS_KjkvpjxiJCFx=dK6GJsD2dEvOwC3o+eKWoNUtjHw@mail.gmail.com"
type="cite">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
</blockquote>
<div class="gmail_extra">
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
If no one has any opinion on it, I'm going to name it
--enable-symbols-only.</blockquote>
<div><br>
I don't like that, as it strongly suggests that this option
would cause some kind of lighter, symbol/address mapping
only kind of data to be emitted, as opposed to full debug
information. Which is doesn't, at least not for all
platforms. Or am I missing something?</div>
</div>
</div>
</blockquote>
no, you are right, it's the same symbol information as with full
debug information (on all platforms). The difference between the two
is only optimization:<br>
<br>
O | S | D | T<br>
--------------------------------------<br>
production-code| x | - | - | -<br>
--------------------------------------<br>
enable-symbols | x | x | - | -<br>
--------------------------------------<br>
enable-debug | - | x | - | -<br>
--------------------------------------<br>
enable-dbgutil | - | x | x | x<br>
<br>
where <br>
O: optimization<br>
S: symbols<br>
D: debug STL<br>
T: trace facility<br>
<br>
So to reflect what these options mean exactly one should name it as
follows:<br>
enable-symbols: --enable-symbols-and-preserve-optimization<br>
enable-debug: --enable-symbols-and-disable-optimization<br>
enable-dbgutil:
--enable-symbols-and-disable-optimization-and-enable-debugstl-and-enable-trace-facility<br>
<br>
Given that we don't want to rename two last options, we are trying
to find a new (less confusing and not so long) name<br>
for the first one:<br>
--enable-symbols-and-preserve-optimization<br>
<br>
Ideas?<br>
<br>
Thanks<br>
David<br>
</body>
</html>