<div dir="ltr">It wasn't actually a linux issue, but a logging issue. The reason you couldn't reproduce this locally is because we don't have logging on by default (but our bot does, to help figuring out what's wrong when things break). I haven't tried, but I'm pretty sure the test would break on mac as well if you ran it with logging enabled (dotest.py --channel "lldb expr"). Right now, I've put a stop-gap fix, but maybe that should be resolved in a more principled way.<div><br></div><div>The other issue I fixed was the test's Makefile not working for 32-bit builds. Generally, when you start writing compiler invocations in the Makefile by hand, you'll probably get break the test in some configuration. Most of the effects can be achieved by just setting the appropriate variables before invoking Makefile.rules. Compiling one part of the binary without debug info is also possible that way, but historically we haven't done that for some reason (I should probably go and fix that).</div><div><br></div></div><br><br><div class="gmail_quote"><div dir="ltr">On Tue, 20 Mar 2018 at 22:24, Davide Italiano via lldb-commits <<a href="mailto:lldb-commits@lists.llvm.org">lldb-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This apparently uncovered a crash in the linux build, looking now.<br>
<a href="http://lab.llvm.org:8011/builders/lldb-x86_64-ubuntu-14.04-cmake" rel="noreferrer" target="_blank">http://lab.llvm.org:8011/builders/lldb-x86_64-ubuntu-14.04-cmake</a><br>
<br>
Thanks,<br>
<br>
--<br>
Davide<br>
<br>
On Tue, Mar 20, 2018 at 12:46 PM, Davide Italiano via lldb-commits<br>
<<a href="mailto:lldb-commits@lists.llvm.org" target="_blank">lldb-commits@lists.llvm.org</a>> wrote:<br>
> Author: davide<br>
> Date: Tue Mar 20 12:46:32 2018<br>
> New Revision: 328025<br>
><br>
> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=328025&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=328025&view=rev</a><br>
> Log:<br>
> [ExpressionParser] Re-implement r327356 in a less disruptive way.<br>
><br>
> Instead of applying the sledgehammer of refusing to insert any<br>
> C++ symbol in the ASTContext, try to validate the decl if what<br>
> we have is an operator. There was other code in lldb which was<br>
> responsible for this, just not really exposed (or used) in this<br>
> codepath. Also, add a better/more comprehensive test.<br>
><br>
> <rdar://problem/35645893><br>
><br>
> Added:<br>
>     lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/<br>
>     lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile<br>
>     lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py<br>
>     lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp<br>
>     lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp<br>
> Removed:<br>
>     lldb/trunk/lit/Expr/Inputs/basic.cpp<br>
>     lldb/trunk/lit/Expr/TestCallCppSym.test<br>
> Modified:<br>
>     lldb/trunk/include/lldb/Symbol/ClangASTContext.h<br>
>     lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp<br>
>     lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp<br>
>     lldb/trunk/source/Symbol/ClangASTContext.cpp<br>
><br>
> Modified: lldb/trunk/include/lldb/Symbol/ClangASTContext.h<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/include/lldb/Symbol/ClangASTContext.h?rev=328025&r1=328024&r2=328025&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/include/lldb/Symbol/ClangASTContext.h?rev=328025&r1=328024&r2=328025&view=diff</a><br>
> ==============================================================================<br>
> --- lldb/trunk/include/lldb/Symbol/ClangASTContext.h (original)<br>
> +++ lldb/trunk/include/lldb/Symbol/ClangASTContext.h Tue Mar 20 12:46:32 2018<br>
> @@ -253,6 +253,9 @@ public:<br>
>            &type_fields,<br>
>        bool packed = false);<br>
><br>
> +  static bool IsOperator(const char *name,<br>
> +                         clang::OverloadedOperatorKind &op_kind);<br>
> +<br>
>    //------------------------------------------------------------------<br>
>    // Structure, Unions, Classes<br>
>    //------------------------------------------------------------------<br>
><br>
> Removed: lldb/trunk/lit/Expr/Inputs/basic.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/lit/Expr/Inputs/basic.cpp?rev=328024&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/lit/Expr/Inputs/basic.cpp?rev=328024&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/lit/Expr/Inputs/basic.cpp (original)<br>
> +++ lldb/trunk/lit/Expr/Inputs/basic.cpp (removed)<br>
> @@ -1,12 +0,0 @@<br>
> -class Patatino {<br>
> -private:<br>
> -  long tinky;<br>
> -<br>
> -public:<br>
> -  Patatino(long tinky) { this->tinky = tinky; }<br>
> -};<br>
> -<br>
> -int main(void) {<br>
> -  Patatino *a = new Patatino(26);<br>
> -  return 0;<br>
> -}<br>
><br>
> Removed: lldb/trunk/lit/Expr/TestCallCppSym.test<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/lit/Expr/TestCallCppSym.test?rev=328024&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/lit/Expr/TestCallCppSym.test?rev=328024&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/lit/Expr/TestCallCppSym.test (original)<br>
> +++ lldb/trunk/lit/Expr/TestCallCppSym.test (removed)<br>
> @@ -1,6 +0,0 @@<br>
> -# RUN: %cxx %p/Inputs/basic.cpp -g -o %t && %lldb -b -s %s -- %t 2>&1 | FileCheck %s<br>
> -<br>
> -breakpoint set --file basic.cpp --line 12<br>
> -run<br>
> -call (int)_Znwm(23)<br>
> -# CHECK: error: use of undeclared identifier '_Znwm'<br>
><br>
> Added: lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile?rev=328025&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile?rev=328025&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile (added)<br>
> +++ lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/Makefile Tue Mar 20 12:46:32 2018<br>
> @@ -0,0 +1,20 @@<br>
> +LEVEL = ../../../make<br>
> +<br>
> +CXX_SOURCES = a.cpp b.cpp<br>
> +CXXFLAGS_NO_DEBUGINFO = -c<br>
> +CXXFLAGS_DEBUGINFO = -c -g<br>
> +<br>
> +all: main<br>
> +<br>
> +main: a.o b.o<br>
> +       $(CXX) a.o b.o -o main $(LDFLAGS)<br>
> +<br>
> +a.o: a.cpp<br>
> +       $(CXX) $(SRCDIR)/a.cpp $(CXXFLAGS_NO_DEBUGINFO) -o a.o<br>
> +<br>
> +b.o: b.cpp<br>
> +       $(CXX) $(SRCDIR)/b.cpp $(CXXFLAGS_DEBUGINFO) -o b.o<br>
> +<br>
> +clean: OBJECTS += a.o b.o main<br>
> +<br>
> +include $(LEVEL)/Makefile.rules<br>
><br>
> Added: lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py?rev=328025&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py?rev=328025&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py (added)<br>
> +++ lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/TestOperatorOverload.py Tue Mar 20 12:46:32 2018<br>
> @@ -0,0 +1,22 @@<br>
> +import lldb<br>
> +from lldbsuite.test.decorators import *<br>
> +from lldbsuite.test.lldbtest import *<br>
> +from lldbsuite.test import lldbutil<br>
> +<br>
> +class TestOperatorOverload(TestBase):<br>
> +  mydir = TestBase.compute_mydir(__file__)<br>
> +<br>
> +  def test_overload(self):<br>
> +    self.build()<br>
> +    (target, process, thread,<br>
> +      main_breakpoint) = lldbutil.run_to_source_breakpoint(self,<br>
> +        "break here", lldb.SBFileSpec("b.cpp"), exe_name = "main")<br>
> +    frame = thread.GetSelectedFrame()<br>
> +    value = frame.EvaluateExpression("x == nil")<br>
> +    self.assertTrue(str(value.GetError())<br>
> +      .find("comparison between NULL and non-pointer ('Tinky' and NULL)")<br>
> +        != -1)<br>
> +    self.assertTrue(str(value.GetError())<br>
> +      .find("invalid operands to binary expression ('Tinky' and 'long')")<br>
> +        != -1)<br>
> +    self.assertFalse(value.GetError().Success())<br>
><br>
> Added: lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp?rev=328025&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp?rev=328025&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp (added)<br>
> +++ lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/a.cpp Tue Mar 20 12:46:32 2018<br>
> @@ -0,0 +1,9 @@<br>
> +class Patatino {<br>
> +public:<br>
> +  double _blah;<br>
> +  Patatino(int blah) : _blah(blah) {}<br>
> +};<br>
> +<br>
> +bool operator==(const Patatino& a, const Patatino& b) {<br>
> +  return a._blah < b._blah;<br>
> +}<br>
><br>
> Added: lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp?rev=328025&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp?rev=328025&view=auto</a><br>
> ==============================================================================<br>
> --- lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp (added)<br>
> +++ lldb/trunk/packages/Python/lldbsuite/test/lang/cpp/operator-overload/b.cpp Tue Mar 20 12:46:32 2018<br>
> @@ -0,0 +1,10 @@<br>
> +class Tinky {<br>
> +public:<br>
> +  int _meh;<br>
> +  Tinky(int meh) : _meh(meh) {}<br>
> +};<br>
> +<br>
> +int main(void) {<br>
> +  Tinky x(12);<br>
> +  return 0; // break here<br>
> +}<br>
><br>
> Modified: lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp?rev=328025&r1=328024&r2=328025&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp?rev=328025&r1=328024&r2=328025&view=diff</a><br>
> ==============================================================================<br>
> --- lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp (original)<br>
> +++ lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangASTSource.cpp Tue Mar 20 12:46:32 2018<br>
> @@ -2156,6 +2156,18 @@ clang::NamedDecl *NameSearchContext::Add<br>
>        log->Printf("Function type wasn't a FunctionProtoType");<br>
>    }<br>
><br>
> +  // If this is an operator (e.g. operator new or operator==), only insert<br>
> +  // the declaration we inferred from the symbol if we can provide the correct<br>
> +  // number of arguments. We shouldn't really inject random decl(s) for<br>
> +  // functions that are analyzed semantically in a special way, otherwise we<br>
> +  // will crash in clang.<br>
> +  clang::OverloadedOperatorKind op_kind = clang::NUM_OVERLOADED_OPERATORS;<br>
> +  if (func_proto_type &&<br>
> +      ClangASTContext::IsOperator(decl_name.getAsString().c_str(), op_kind)) {<br>
> +    if (!ClangASTContext::CheckOverloadedOperatorKindParameterCount(<br>
> +            false, op_kind, func_proto_type->getNumParams()))<br>
> +      return NULL;<br>
> +  }<br>
>    m_decls.push_back(func_decl);<br>
><br>
>    return func_decl;<br>
><br>
> Modified: lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp?rev=328025&r1=328024&r2=328025&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp?rev=328025&r1=328024&r2=328025&view=diff</a><br>
> ==============================================================================<br>
> --- lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp (original)<br>
> +++ lldb/trunk/source/Plugins/ExpressionParser/Clang/ClangExpressionDeclMap.cpp Tue Mar 20 12:46:32 2018<br>
> @@ -2072,15 +2072,6 @@ void ClangExpressionDeclMap::AddOneFunct<br>
>        return;<br>
>      }<br>
>    } else if (symbol) {<br>
> -    // Don't insert a generic function decl for C++ symbol names.<br>
> -    // Creating a generic function decl is almost surely going to cause troubles<br>
> -    // as it breaks Clang/Sema invariants and causes crashes in clang while<br>
> -    // we're trying to evaluate the expression.<br>
> -    // This means users can't call C++ functions by mangled name when there<br>
> -    // are no debug info (as it happens for C symbol, e.g. printf()).<br>
> -    if (CPlusPlusLanguage::IsCPPMangledName(<br>
> -            symbol->GetMangled().GetMangledName().GetCString()))<br>
> -      return;<br>
>      fun_address = symbol->GetAddress();<br>
>      function_decl = context.AddGenericFunDecl();<br>
>      is_indirect_function = symbol->IsIndirect();<br>
><br>
> Modified: lldb/trunk/source/Symbol/ClangASTContext.cpp<br>
> URL: <a href="http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Symbol/ClangASTContext.cpp?rev=328025&r1=328024&r2=328025&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/lldb/trunk/source/Symbol/ClangASTContext.cpp?rev=328025&r1=328024&r2=328025&view=diff</a><br>
> ==============================================================================<br>
> --- lldb/trunk/source/Symbol/ClangASTContext.cpp (original)<br>
> +++ lldb/trunk/source/Symbol/ClangASTContext.cpp Tue Mar 20 12:46:32 2018<br>
> @@ -138,8 +138,8 @@ static ClangASTMap &GetASTMap() {<br>
>    return *g_map_ptr;<br>
>  }<br>
><br>
> -static bool IsOperator(const char *name,<br>
> -                       clang::OverloadedOperatorKind &op_kind) {<br>
> +bool ClangASTContext::IsOperator(const char *name,<br>
> +                                 clang::OverloadedOperatorKind &op_kind) {<br>
>    if (name == nullptr || name[0] == '\0')<br>
>      return false;<br>
><br>
><br>
><br>
> _______________________________________________<br>
> lldb-commits mailing list<br>
> <a href="mailto:lldb-commits@lists.llvm.org" target="_blank">lldb-commits@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits</a><br>
_______________________________________________<br>
lldb-commits mailing list<br>
<a href="mailto:lldb-commits@lists.llvm.org" target="_blank">lldb-commits@lists.llvm.org</a><br>
<a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-commits</a><br>
</blockquote></div>