xref: /llvm-project/clang/test/Misc/diagnostic-crash.cpp (revision dcd053e46de36d4a8d0da53daae5d3974f76e022)
1*dcd053e4SMatt Beaumont-Gay // RUN: %clang_cc1 -verify -fsyntax-only %s
2*dcd053e4SMatt Beaumont-Gay // The diagnostics we produce for this code tickled a bug in raw_ostream.
3*dcd053e4SMatt Beaumont-Gay template <typename _Alloc> class allocator;
4*dcd053e4SMatt Beaumont-Gay template <class _CharT> struct char_traits;
5*dcd053e4SMatt Beaumont-Gay template <typename _CharT, typename _Traits = char_traits<_CharT>,
6*dcd053e4SMatt Beaumont-Gay           typename _Alloc = allocator<_CharT> >
7*dcd053e4SMatt Beaumont-Gay class basic_string;
8*dcd053e4SMatt Beaumont-Gay typedef basic_string<wchar_t> wstring;
9*dcd053e4SMatt Beaumont-Gay class Closure {
10*dcd053e4SMatt Beaumont-Gay };
11*dcd053e4SMatt Beaumont-Gay template <class A1> class Callback1 {
12*dcd053e4SMatt Beaumont-Gay };
13*dcd053e4SMatt Beaumont-Gay template <class A1, class A2> class Callback2 {
14*dcd053e4SMatt Beaumont-Gay };
15*dcd053e4SMatt Beaumont-Gay template <class R, class A2> class ResultCallback1 {
16*dcd053e4SMatt Beaumont-Gay };
17*dcd053e4SMatt Beaumont-Gay template <bool del, class R, class T, class P1, class P2, class A1>
18*dcd053e4SMatt Beaumont-Gay class AAAAAAAResultCallback_2_1 : public ResultCallback1<R, A1> {
19*dcd053e4SMatt Beaumont-Gay };
20*dcd053e4SMatt Beaumont-Gay template <bool del, class T, class P1, class P2, class A1>
21*dcd053e4SMatt Beaumont-Gay class AAAAAAAResultCallback_2_1< del, void, T, P1, P2, A1> :
22*dcd053e4SMatt Beaumont-Gay     public Callback1<A1> {
23*dcd053e4SMatt Beaumont-Gay  public:
24*dcd053e4SMatt Beaumont-Gay   typedef Callback1<A1> base;
25*dcd053e4SMatt Beaumont-Gay };
26*dcd053e4SMatt Beaumont-Gay template <class T1, class T2, class R, class P1, class P2, class A1>
27*dcd053e4SMatt Beaumont-Gay inline typename AAAAAAAResultCallback_2_1<true, R, T1, P1, P2, A1>::base*
NewCallback(T1 * obj,R (T2::* member)(P1,P2,A1),const P1 & p1,const P2 & p2)28*dcd053e4SMatt Beaumont-Gay NewCallback(T1* obj, R(T2::* member)(P1, P2, A1), const P1& p1, const P2& p2) {}
29*dcd053e4SMatt Beaumont-Gay namespace util { class Status {}; }
30*dcd053e4SMatt Beaumont-Gay class xxxxxxxxxxxxxxxxx {
31*dcd053e4SMatt Beaumont-Gay   void Bar(wstring* s, util::Status* status,
32*dcd053e4SMatt Beaumont-Gay            Callback2<util::Status, wstring>* done);
33*dcd053e4SMatt Beaumont-Gay   void Foo();
34*dcd053e4SMatt Beaumont-Gay };
Foo()35*dcd053e4SMatt Beaumont-Gay void xxxxxxxxxxxxxxxxx::Foo() {
36*dcd053e4SMatt Beaumont-Gay   wstring* s = __null;
37*dcd053e4SMatt Beaumont-Gay   util::Status* status = __null;
38*dcd053e4SMatt Beaumont-Gay   Closure* cb = NewCallback(this, &xxxxxxxxxxxxxxxxx::Bar, s, status);  // expected-error{{cannot initialize}}
39*dcd053e4SMatt Beaumont-Gay }
40