<div dir="ltr">Adding another thing to my list (thanks to Mehdi and Eric Christopher for the idea).<div><br></div><div>Apply libfuzzer to LLDB.  Details sparse on what parse of LLDB and how, but I think it would be easy to come up with candidates.<br><br><div class="gmail_quote"><div dir="ltr">On Mon, Sep 19, 2016 at 1:18 PM Zachary Turner <<a href="mailto:zturner@google.com">zturner@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="gmail_msg">Following up with Kate's post from a few weeks ago, I think the dust has settled on the code reformat and it went over pretty smoothly for the most part.  So I thought it might be worth throwing out some ideas for where we go from here.  I have a large list of ideas (more ideas than time, sadly) that I've been collecting over the past few weeks, so I figured I would throw them out in the open for discussion.<div class="gmail_msg"><br class="gmail_msg"></div><div class="gmail_msg"><span id="m_-1327703084503687610inbox-inbox-docs-internal-guid-68353e50-4408-e1e7-100e-f9ce9abc13e0" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:arial;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">I’ve grouped the areas for improvement into 3 high level categories.</span></p><br class="gmail_msg"><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-weight:700;font-style:italic;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">De</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">-inventing the wheel - We should use more code from LLVM, and delete code in LLDB where LLVM provides a solution.  In cases where there is an LLVM thing that is *similar* to what we need, we should extend the LLVM thing to support what we need, and then use it.  Following are some areas I've identified.  This list is by no means complete.  For each one, I've given a personal assessment of how likely it is to cause some (temporary) hiccups, how much it would help us in the long run, and how difficult it would be to do.  Without further ado:</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Regex</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb::Regex</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-family:"courier new";font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Regex</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"><font face="arial" class="gmail_msg"> doesn’t support enhanced mode.  Could we add support for this to </font></span><span style="font-family:"courier new";font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">llvm::Regex?</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 6</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 3</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 3  (5 if we have to add enhanced mode support)</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use llvm streams instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb::StreamString</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Supports output re-targeting (stderr, stdout, std::string, etc), printf style formatting, and type-safe streaming operators.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Interoperates nicely with many existing llvm utility classes</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 4</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 5</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 7</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Error</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb::Error</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"><span style="font-size:14.6667px;line-height:20.24px;font-family:"courier new";vertical-align:baseline" class="gmail_msg">llvm::Error</span><span style="font-size:14.6667px;line-height:20.24px;vertical-align:baseline" class="gmail_msg"> </span>is an error class that *requires* you to check whether it succeeded or it will assert.  In a way, it's similar to a C++ exception, except that it doesn't come with the performance hit associated with exceptions.  It's extensible, and can be easily extended to support the various ways LLDB needs to construct errors and error messages.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="line-height:1.38;font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Would need to first rename </span><span style="line-height:1.38;font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb::Error</span><span style="line-height:1.38;font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> to </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"><span style="line-height:1.38" class="gmail_msg">LLDBError </span></span><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">so that te conversion from <span style="font-family:"courier new";font-size:14.6667px;line-height:20.24px" class="gmail_msg">LLDBError</span> to </span><span style="font-family:"courier new";font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">llvm::Error </span><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">could be done incrementally.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 7</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 7</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 8</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">StringRef</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">const char *</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">, len everywhere</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Can do most common string operations in a way that is guaranteed to be safe.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Reduces string manipulation algorithm complexity by an order of magnitude.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Can potentially eliminate tens of thousands of string copies across the codebase.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Simplifies code.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 3</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 8</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 7</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">ArrayRef </span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">const void *</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">, len everywhere</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Same analysis as </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">StringRef</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">MutableArrayRef </span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">void *</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">, len everywhere</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Same analysis as </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">StringRef</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Delete </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">ConstString</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">, use a modified </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">StringPool</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> that is thread-safe.</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">StringPool</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> is a non thread-safe version of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">ConstString</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Strings are internally refcounted so they can be cleaned up when they are no longer used.  </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">ConstStrings</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> are a large source of memory in LLDB, so ref-counting and removing stale strings has the potential to be a huge savings.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 2</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 9</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 6</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">thread_local </span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">instead of </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb::ThreadLocal</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">This fixes a number of bugs on Windows that cannot be fixed otherwise, as they require compiler support.</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Some other compilers may not support this yet?</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 2</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 3</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty: 3</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::cl</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> for the command line arguments to the primary lldb executable.</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Risk: 2</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Impact: 3</span></p></li><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Difficulty / Effort: 4</span></p></li></ol></ol><li style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Testing - Our testing infrastructure is unstable, and our test coverage is lacking.  We should take steps to improve this.</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Port as much as possible to lit</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Simple tests should be trivial to port to lit today.  If nothing else this serves as a proof of concept while increasing the speed and stability of the test suite, since lit is a more stable harness.</span></p></li></ol><li style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Separate testing tools</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">One question that remains open is </span><span style="font-size:14.6667px;font-weight:700;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">how</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> to represent the complicated needs of a debugger in lit tests.  Part a) above covers the trivial cases, but what about the difficult cases?  In </span><a href="https://reviews.llvm.org/D24591" style="text-decoration:none" class="gmail_msg" target="_blank"><span style="font-size:14.6667px;color:rgb(17,85,204);text-decoration:underline;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">https://reviews.llvm.org/D24591</span></a><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> a number of ideas were discussed.  We started getting to this idea towards the end, about a separate tool which has an interface independent of the command line interface and which can be used to test.  lldb-mi was mentioned.  While I have serious concerns about lldb-mi due to its poorly written and tested codebase, I do agree in principle with the methodology.  In fact, this is the entire philosophy behind lit as used with LLVM, clang, lld, etc.  </span></p></li></ol></ol></ol><br class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;margin-left:108pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:arial;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">I don’t take full credit for this idea.  I had been toying with a similar idea for some time, but it was further cemented in an offline discussion with a co-worker.  </span></p><br class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;margin-left:108pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:arial;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">There many small, targeted tools in LLVM (e.g. llc, lli, llvm-objdump, etc) whose purpose are to be chained together to do interesting things.  Instead of a command line api as we think of in LLDB where you type commands from an interactive prompt, they have a command line api as you would expect from any tool which is launched from a shell.</span></p><br class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;margin-left:108pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:arial;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">I can imagine many potential candidates for lldb tools of this nature.  Off the top of my head:</span></p><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-unwind - A tool for testing the unwinder.  Accepts byte code as input and passes it through to the unwinder, outputting a compressed summary of the steps taken while unwinding, which could be pattern matched in lit.  The output format is entirely controlled by the tool, and not by the unwinder itself, so it would be stable in the face of changes to the underlying unwinder.  Could have various options to enable or disable features of the unwinder in order to force the unwinder into modes that can be tricky to encounter in the wild.</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-symbol - A tool for testing symbol resolution.  Could have options for testing things like:</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Determining if a symbol matches an executable</span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">looking up a symbol by name in the debug info, and mapping it to an address in the process.  </span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Displaying candidate symbols when doing name lookup in a particular scope (e.g. while stopped at a breakpoint).</span></p></li></ol><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-breakpoint - A tool for testing breakpoints and stepping.  Various options could include:</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Set breakpoints and out addresses and/or symbol names where they were resolved to.</span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Trigger commands, so that when a breakpoint is hit the tool could automatically continue and try to run to another breakpoint, etc.</span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">options to inspect certain useful pieces of state about an inferior, to be matched in lit. </span></p></li></ol><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-interpreter - tests the jitter etc.  I don’t know much about this, but I don’t see why this couldn’t be tested in a manner similar to how lli is tested.</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-platform - tests lldb local and remote platform interfaces.</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-cli -- lldb interactive command line.</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline;margin-left:144px" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb-format - lldb data formatters etc.</span></p></li></ol><ol style="margin-top:0pt;margin-bottom:0pt" start="3" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Tests NOW, not later.</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">I know we’ve been over this a million times and it’s not worth going over the arguments again.  And I know it’s hard to write tests, often requiring the invention of new SB APIs.  Hopefully those issues will be addressed by above a) and b) above and writing tests will be easier.  Vedant Kumar ran some analytics on the various codebases and found that LLDB has the lowest test / commit ratio of any LLVM project (He didn’t post numbers for lld, so I’m not sure what it is there).</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:13.3333px;color:rgb(33,33,33);vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">lldb: 287 of the past 1000 commits</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:13.3333px;color:rgb(33,33,33);vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm: 511 of the past 1000 commits</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:13.3333px;color:rgb(33,33,33);vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">clang: 622 of the past 1000 commits</span></p></li><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:13.3333px;color:rgb(33,33,33);vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">compiler-rt: 543 of the past 1000 commits</span></p></li></ol></ol></ol><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt;margin-left:108pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:arial;color:rgb(33,33,33);vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">This is an alarming statistic, and I would love to see this number closer to 50%.</span></p><ol style="margin-top:0pt;margin-bottom:0pt" start="3" class="gmail_msg"><li dir="ltr" style="list-style-type:decimal;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">Code style / development conventions - Aside from just the column limitations and bracing styles, there are other areas where LLDB differs from LLVM on code style.  We should continue to adopt more of LLVM's style where it makes sense.  I've identified a couple of areas (incomplete list) which I outline below.</span>  <br class="gmail_msg"></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Clean up the mess of cyclical dependencies and properly layer the libraries.  This is especially important for things like lldb-server that need to link in as little as possible, but regardless it leads to a more robust architecture, faster build and link times, better testability, and is required if we ever want to do a modules build of LLDB</span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use CMake instead of Xcode project (CMake supports Frameworks).  CMake supports Apple Frameworks, so the main roadblock to getting this working is just someone doing it.  Segmenting the build process by platform doesn't make sense for the upstream, especially when there is a perfectly workable solution.  I have no doubt that the resulting Xcode workspace generated automatically by CMake will <b class="gmail_msg">not </b>be as "nice" as one that is maintained by hand.  We face this problem with Visual </span><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">Studio on Windows as well.  The solution that most people have adopted is to continue using the IDE for code editing and debugging, but for actually running the build, use CMake with Ninja.  A similar workflow should still be possible with an OSX CMake build, but as I do not work every day on a Mac, all I can say is that it's possible, I have no idea how impactful it would be on peoples' workflows.  </span></p></li><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Variable naming conventions</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">I don’t expect anyone is too fond of LLDB’s naming conventions, but if we’re committed to joining the LLVM ecosystem, then let’s go all the way.</span></p></li></ol><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Use more modern C++ and less C</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Old habits die hard, but this isn’t just a matter of style.  It leads to safer, more robust, and less fragile code as well.</span></p></li></ol><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Shorter functions and classes with more narrowly targeted responsibilities</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">It’s not uncommon to find functions that are hundreds (and in a few cases even 1,000+) of lines long.  We really need to be better about breaking functions and classes down into smaller responsibilities.  This helps not just for someone coming in to read the function, but also for testing.  Smaller functions are easier to unit test.</span></p></li></ol><li dir="ltr" style="list-style-type:lower-alpha;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Convert </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">T foo(X, Y, Error &error)</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> functions to </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">Expected<T> foo(X, Y)</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> style (Depends on 1.c)</span></p></li><ol style="margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><li dir="ltr" style="list-style-type:lower-roman;font-size:14.6667px;font-family:arial;vertical-align:baseline" class="gmail_msg"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt" class="gmail_msg"><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Expected</span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg"> is based on the </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Error </span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">class described earlier.  It’s used when a function is supposed to return a value, but it could fail.  By packaging the error with the return value, it’s impossible to have a situation where you use the return value even in case of an error, and because </span><span style="font-size:14.6667px;font-family:"courier new";vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">llvm::Error </span><span style="font-size:14.6667px;vertical-align:baseline;white-space:pre-wrap" class="gmail_msg">has mandatory checking, it’s also impossible to have a sitaution where you don’t check the error.  So it’s very safe.  </span></p></li></ol></ol></ol><div class="gmail_msg"><font face="arial" class="gmail_msg"><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg"><br class="gmail_msg"></span></font></div><div class="gmail_msg"><font face="arial" class="gmail_msg"><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg">Whew.  That was a lot.  If you made it this far, thanks for reading!</span></font></div><div class="gmail_msg"><font face="arial" class="gmail_msg"><span style="font-size:14.6667px;line-height:20.24px;white-space:pre-wrap" class="gmail_msg"><br class="gmail_msg"></span></font></div><div class="gmail_msg"><span style="line-height:20.24px;white-space:pre-wrap" class="gmail_msg">Obviously if we were to </span><span style="line-height:20.24px;white-space:pre-wrap" class="gmail_msg">embark on all of the above, it would take many months to complete everything.  So I'm not proposing anyone stop what they're doing to work on this.  This is just my own personal wishlist</span></div></span></div></div></blockquote></div></div></div>