[clang] [Clang] Bypass TAD during overload resolution if a perfect match exists (PR #136018)

[Florian Mayer via cfe-commits]

fmayer wrote:

clang now fails an assertion on this

```
class a {              template < typename b > void c();                 void 
c(int (a::*)(int, int));                 template < typename b > b d(b , b    ) 
{
  c(&::d);
  }
};
```


```
 #0 0x000055bc6cac8e58 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) 
/usr/local/google/home/fmayer/large/llvm-project/llvm/lib/Support/Un
ix/Signals.inc:804:13                                                           
                                                               
 #1 0x000055bc6cac6f60 llvm::sys::RunSignalHandlers() 
/usr/local/google/home/fmayer/large/llvm-project/llvm/lib/Support/Signals.cpp:106:18
     
 #2 0x000055bc6cac94d1 SignalHandler(int, siginfo_t*, void*) 
/usr/local/google/home/fmayer/large/llvm-project/llvm/lib/Support/Unix/Signals.inc
:0:3                                                                   
 #3 0x00007f739a849df0 (/lib/x86_64-linux-gnu/libc.so.6+0x3fdf0)
 #4 0x00007f739a89e95c __pthread_kill_implementation ./nptl/pthread_kill.c:44:76
 #5 0x00007f739a849cc2 raise ./signal/../sysdeps/posix/raise.c:27:6
 #6 0x00007f739a8324ac abort ./stdlib/abort.c:81:3
 #7 0x00007f739a832420 __assert_perror_fail ./assert/assert-perr.c:31:1 
 #8 0x000055bc6f432869 clang::StandardConversionSequence::getToType(unsigned 
int) const /usr/local/google/home/fmayer/large/llvm-project/clang/
include/clang/Sema/Overload.h:400:41
 #9 0x000055bc6f432869 
clang::StandardConversionSequence::isPerfect(clang::ASTContext const&) const 
/usr/local/google/home/fmayer/large/llvm-pr
oject/clang/include/clang/Sema/Overload.h:431:41
#10 0x000055bc6f414f89 
clang::OverloadCandidate::isPerfectMatch(clang::ASTContext const&) const 
/usr/local/google/home/fmayer/large/llvm-projec
t/clang/include/clang/Sema/Overload.h:1026:13
#11 0x000055bc6f414f89 
clang::OverloadCandidateSet::PerfectViableFunction(clang::Sema&, 
clang::SourceLocation, clang::OverloadCandidate*&) /usr
/local/google/home/fmayer/large/llvm-project/clang/lib/Sema/SemaOverload.cpp:11242:14
#12 0x000055bc6f40487f 
clang::OverloadCandidateSet::BestViableFunction(clang::Sema&, 
clang::SourceLocation, clang::OverloadCandidate*&) /usr/lo
cal/google/home/fmayer/large/llvm-project/clang/lib/Sema/SemaOverload.cpp:11228:9
#13 0x000055bc6f424779 clang::Sema::BuildCallToMemberFunction(clang::Scope*, 
clang::Expr*, clang::SourceLocation, llvm::MutableArrayRef<clang::
Expr*>, clang::SourceLocation, clang::Expr*, bool, bool) 
/usr/local/google/home/fmayer/large/llvm-project/clang/lib/Sema/SemaOverload.cpp:16053
:5
#14 0x000055bc6f07adcb clang::Sema::ActOnCallExpr(clang::Scope*, clang::Expr*, 
clang::SourceLocation, llvm::MutableArrayRef<clang::Expr*>, clan
g::SourceLocation, clang::Expr*) 
/usr/local/google/home/fmayer/large/llvm-project/clang/lib/Sema/SemaExpr.cpp:6507:7
#15 0x000055bc6f1e2d3c clang::TreeTransform<(anonymous 
namespace)::TransformTypos>::RebuildCallExpr(clang::Expr*, 
clang::SourceLocation, llvm::
MutableArrayRef<clang::Expr*>, clang::SourceLocation, clang::Expr*) 
/usr/local/google/home/fmayer/large/llvm-project/clang/lib/Sema/TreeTransfo
rm.h:2869:22
```

@pirama-arumuga-nainar CC

https://github.com/llvm/llvm-project/pull/136018
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits