<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
I mean, not macros but the information on which macros are of
interest to the user.<br>
<br>
You know which lines of code were executed, so you can figure out
which macros the user may want to look into.<br>
<br>
The downside is that it's a bit counter-intuitive for the user, i.e.
it'll be unobvious why some macros are expanded and others are not.<br>
<br>
<div class="moz-cite-prefix">On 9/24/18 1:31 PM, Kristóf Umann
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAGcXOD5i+PDq3OwFxb+H-a7JmAXNT1ebVLOkUimXaBKkfnZ62Q@mail.gmail.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div dir="auto">Can you elaborate? I've been trying to follow
closely the patches and overall discussion in the analyzer in
the last couple of months, but I don't really see how macro
expansions could be acquired from that.</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On 24 Sep 2018 21:39, "Artem Dergachev"
<<a href="mailto:noqnoqneo@gmail.com"
moz-do-not-send="true">noqnoqneo@gmail.com</a>> wrote:<br
type="attribution">
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">Mm,
actually you may want to use the middle-ground solution of
referring to George's coverage dumps.<br>
<br>
On 9/24/18 9:20 AM, Kristóf Umann wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
> Are you planning to dump *all* macro expansions, or
only expansions around diagnostic pieces?<br>
<br>
Sorry for the late reply -- it simply took *this* long to
make a functioning prototype, so I didn't know whether
dumping all macro expansions or just the related ones
would be up to a simple if branch, or a completely
different approach. Right now it looks like (well, its
mostly already decided) only related macro expansions will
be dumped.<br>
<br>
I'm planning to upload a patch once I can prettify the
current code in the coming days! :)<br>
<br>
Cheers,<br>
Kristóf<br>
</blockquote>
<br>
</blockquote>
</div>
</div>
</blockquote>
<br>
</body>
</html>