mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-24 00:26:05 +00:00
e90f4fc6ac
This patch adds additional printing of template argument list when the described function is a template specialization. This can be useful when handling complex template functions in constexpr evaluator. Reviewed By: cjdb, dblaikie Differential Revision: https://reviews.llvm.org/D154366
82 lines
3.1 KiB
C++
82 lines
3.1 KiB
C++
// RUN: %clang_cc1 -std=c++20 -fsyntax-only -verify %s
|
|
|
|
|
|
struct Foo {
|
|
constexpr void zomg() const { (void)(1 / 0); } // expected-error {{constant expression}} \
|
|
expected-warning {{division by zero}} \
|
|
expected-note 2{{division by zero}}
|
|
};
|
|
|
|
struct S {
|
|
constexpr S() {}
|
|
constexpr bool operator==(const S&) const { // expected-error {{never produces a constant expression}}
|
|
return 1 / 0; // expected-warning {{division by zero}} \
|
|
expected-note 3{{division by zero}}
|
|
}
|
|
|
|
constexpr bool heh() const {
|
|
auto F = new Foo();
|
|
F->zomg(); // expected-note {{in call to 'F->zomg()'}}
|
|
delete F;
|
|
return false;
|
|
}
|
|
};
|
|
|
|
constexpr S s;
|
|
|
|
static_assert(s.heh()); // expected-error {{constant expression}} \
|
|
expected-note {{in call to 's.heh()'}}
|
|
|
|
constexpr S s2;
|
|
constexpr const S *sptr = &s;
|
|
constexpr const S *sptr2 = &s2;
|
|
static_assert(s == s2); // expected-error {{constant expression}} \
|
|
expected-note {{in call to 's.operator==(s2)'}}
|
|
static_assert(*sptr == *sptr2); // expected-error {{constant expression}} \
|
|
expected-note {{in call to '*sptr.operator==(s2)'}}
|
|
|
|
struct A {
|
|
constexpr int foo() { (void)(1/0); return 1;} // expected-error {{never produces a constant expression}} \
|
|
expected-warning {{division by zero}} \
|
|
expected-note 2{{division by zero}}
|
|
};
|
|
|
|
struct B {
|
|
A aa;
|
|
A *a = &aa;
|
|
};
|
|
|
|
struct C {
|
|
B b;
|
|
};
|
|
|
|
struct D {
|
|
C cc;
|
|
C *c = &cc;
|
|
};
|
|
|
|
constexpr D d{};
|
|
static_assert(d.c->b.a->foo() == 1); // expected-error {{constant expression}} \
|
|
expected-note {{in call to 'd.c->b.a->foo()'}}
|
|
|
|
template <typename T>
|
|
struct Bar {
|
|
template <typename U>
|
|
constexpr int fail1() const { return 1 / 0; } // expected-warning {{division by zero}} \
|
|
// expected-note {{division by zero}}
|
|
template <typename U, int num>
|
|
constexpr int fail2() const { return 1 / 0; } // expected-warning {{division by zero}} \
|
|
// expected-note {{division by zero}}
|
|
template <typename ...Args>
|
|
constexpr int fail3(Args... args) const { return 1 / 0; } // expected-warning {{division by zero}} \
|
|
// expected-note {{division by zero}}
|
|
};
|
|
|
|
constexpr Bar<int> bar;
|
|
static_assert(bar.fail1<int>()); // expected-error {{constant expression}} \
|
|
// expected-note {{in call to 'bar.fail1<int>()'}}
|
|
static_assert(bar.fail2<int*, 42>()); // expected-error {{constant expression}} \
|
|
// expected-note {{in call to 'bar.fail2<int *, 42>()'}}
|
|
static_assert(bar.fail3(3, 4UL, bar, &bar)); // expected-error {{constant expression}} \
|
|
// expected-note {{in call to 'bar.fail3<int, unsigned long, Bar<int>, const Bar<int> *>(3, 4, {}, &bar)'}}
|