<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:dt="uuid:C2F41010-65B3-11d1-A29F-00AA00C14882" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">Hey all,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I’ve been looking at some of the test failures on Windows and this led me to realize that there are at least several tests that are duplicated between lldb-suite and the lit tests. This appears to have been on purpose circa 2016 as a proof
of concept for moving tests from lldb-suite to lit. I think this is confusing and we should pick a set (lit or lldb-suite) and remove the second set. Also, if we decide to stick with the lit tests, I think they will need to be updated as right now they are
not all functioning as expected.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">For example, the test TestCallStdStringFunction exists both for lit and lldb-suite. It is expected to fail on Windows because windows does not correctly support expressions. However, the test fails in lldb-suite and *<b>passes</b>* in lit
and it passes for the wrong reason (see details below). I suspect there may be other places in the duplicated tests where we think we’ve checked something, but we really haven’t validated it correctly.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">My suggestion is that we remove the lit versions of the duplicated tests rather than fixing them as the lldb-suite set appears to be working correctly.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<o:p></o:p></p>
<p class="MsoNormal">-Stella<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">P.S. Here are the details on TestCallStdStringFunction:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Here is what the test attempts to do:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver">breakpoint set --file call-function.cpp --line 52<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver">run<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver">print str<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver"># CHECK: Hello world<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver">print str.c_str()<o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.5in"><span style="background:silver;mso-highlight:silver"># CHECK: Hello world<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">In the lldb-suite version these CHECKs would have verified the output of the print immediately, but because of how lit works, these are verified together at the end. Since the executable itself prints “Hello World” a couple of times, even
though the print expressions fail, “Hello World” can be found twice in the output, so the test succeeds.
<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Moreover, the test sets a breakpoint that it expects to hit before calling the two print statements. In the lldb-suite version, the test verifies that the breakpoint was set, this version doesn’t and it happens to fail to set the breakpoint.
So when the test is calling “print”, the executable has already run through the end, so even if expressions worked correctly on windows, this would have failed since we would have made the call after the executable finished. At the very least, this test needs
an additional CHECK statement to verify that either the breakpoint was set or it was hit.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Looking at the other duplicated tests, we have the potential for similar issues. They also all use CHECK rather then CHECK-DAG, so we should at least update them to use CHECK-DAG.<o:p></o:p></p>
</div>
</body>
</html>