191 lines
6.2 KiB
C++
191 lines
6.2 KiB
C++
// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 -ffreestanding -Wno-null-conversion -Wno-tautological-compare %s
|
|
#include <stdint.h>
|
|
|
|
typedef decltype(nullptr) nullptr_t;
|
|
|
|
struct A {};
|
|
|
|
int o1(char*);
|
|
void o1(uintptr_t);
|
|
void o2(char*); // expected-note {{candidate}}
|
|
void o2(int A::*); // expected-note {{candidate}}
|
|
|
|
nullptr_t f(nullptr_t null)
|
|
{
|
|
// Implicit conversions.
|
|
null = nullptr;
|
|
void *p = nullptr;
|
|
p = null;
|
|
int *pi = nullptr;
|
|
pi = null;
|
|
null = 0;
|
|
int A::*pm = nullptr;
|
|
pm = null;
|
|
void (*pf)() = nullptr;
|
|
pf = null;
|
|
void (A::*pmf)() = nullptr;
|
|
pmf = null;
|
|
bool b = nullptr; // expected-error {{cannot initialize}}
|
|
|
|
// Can't convert nullptr to integral implicitly.
|
|
uintptr_t i = nullptr; // expected-error {{cannot initialize}}
|
|
|
|
// Operators
|
|
(void)(null == nullptr);
|
|
(void)(null <= nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(null == 0);
|
|
(void)(null == (void*)0);
|
|
(void)((void*)0 == nullptr);
|
|
(void)(null <= 0); // expected-error {{invalid operands to binary expression}}
|
|
(void)(null <= (void*)0); // expected-error {{invalid operands to binary expression}}
|
|
(void)((void*)0 <= nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(0 == nullptr);
|
|
(void)(nullptr == 0);
|
|
(void)(nullptr <= 0); // expected-error {{invalid operands to binary expression}}
|
|
(void)(0 <= nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(1 > nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(1 != nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(1 + nullptr); // expected-error {{invalid operands to binary expression}}
|
|
(void)(0 ? nullptr : 0);
|
|
(void)(0 ? nullptr : (void*)0);
|
|
(void)(0 ? nullptr : A()); // expected-error {{non-pointer operand type 'A' incompatible with nullptr}}
|
|
(void)(0 ? A() : nullptr); // expected-error {{non-pointer operand type 'A' incompatible with nullptr}}
|
|
|
|
// Overloading
|
|
int t = o1(nullptr);
|
|
t = o1(null);
|
|
o2(nullptr); // expected-error {{ambiguous}}
|
|
|
|
// nullptr is an rvalue, null is an lvalue
|
|
(void)&nullptr; // expected-error {{cannot take the address of an rvalue of type 'nullptr_t'}}
|
|
nullptr_t *pn = &null;
|
|
|
|
// You can reinterpret_cast nullptr to an integer.
|
|
(void)reinterpret_cast<uintptr_t>(nullptr);
|
|
(void)reinterpret_cast<uintptr_t>(*pn);
|
|
|
|
// You can't reinterpret_cast nullptr to any integer
|
|
(void)reinterpret_cast<char>(nullptr); // expected-error {{cast from pointer to smaller type 'char' loses information}}
|
|
|
|
int *ip = *pn;
|
|
if (*pn) { }
|
|
|
|
// You can throw nullptr.
|
|
throw nullptr;
|
|
}
|
|
|
|
// Template arguments can be nullptr.
|
|
template <int *PI, void (*PF)(), int A::*PM, void (A::*PMF)()>
|
|
struct T {};
|
|
|
|
typedef T<nullptr, nullptr, nullptr, nullptr> NT;
|
|
|
|
namespace test1 {
|
|
template<typename T, typename U> struct is_same {
|
|
static const bool value = false;
|
|
};
|
|
|
|
template<typename T> struct is_same<T, T> {
|
|
static const bool value = true;
|
|
};
|
|
|
|
void *g(void*);
|
|
bool g(bool);
|
|
|
|
// Test that we prefer g(void*) over g(bool).
|
|
static_assert(is_same<decltype(g(nullptr)), void*>::value, "");
|
|
}
|
|
|
|
namespace test2 {
|
|
void f(int, ...) __attribute__((sentinel));
|
|
|
|
void g() {
|
|
// nullptr can be used as the sentinel value.
|
|
f(10, nullptr);
|
|
}
|
|
}
|
|
|
|
namespace test3 {
|
|
void f(const char*, ...) __attribute__((format(printf, 1, 2)));
|
|
|
|
void g() {
|
|
// Don't warn when using nullptr with %p.
|
|
f("%p", nullptr);
|
|
}
|
|
}
|
|
|
|
static_assert(__is_scalar(nullptr_t), "");
|
|
static_assert(__is_pod(nullptr_t), "");
|
|
static_assert(sizeof(nullptr_t) == sizeof(void*), "");
|
|
|
|
static_assert(!(nullptr < nullptr), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert(!(nullptr > nullptr), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr <= nullptr, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr >= nullptr, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr == nullptr, "");
|
|
static_assert(!(nullptr != nullptr), "");
|
|
|
|
static_assert(!(0 < nullptr), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert(!(0 > nullptr), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( 0 <= nullptr, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( 0 >= nullptr, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( 0 == nullptr, "");
|
|
static_assert(!(0 != nullptr), "");
|
|
|
|
static_assert(!(nullptr < 0), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert(!(nullptr > 0), ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr <= 0, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr >= 0, ""); // expected-error {{invalid operands to binary expression}}
|
|
static_assert( nullptr == 0, "");
|
|
static_assert(!(nullptr != 0), "");
|
|
|
|
namespace overloading {
|
|
int &f1(int*);
|
|
float &f1(bool);
|
|
|
|
void test_f1() {
|
|
int &ir = (f1)(nullptr);
|
|
}
|
|
|
|
struct ConvertsToNullPtr {
|
|
operator nullptr_t() const;
|
|
};
|
|
|
|
void test_conversion(ConvertsToNullPtr ctn) {
|
|
(void)(ctn == ctn);
|
|
(void)(ctn != ctn);
|
|
(void)(ctn <= ctn); // expected-error {{invalid operands to binary expression}}
|
|
(void)(ctn >= ctn); // expected-error {{invalid operands to binary expression}}
|
|
(void)(ctn < ctn); // expected-error {{invalid operands to binary expression}}
|
|
(void)(ctn > ctn); // expected-error {{invalid operands to binary expression}}
|
|
}
|
|
}
|
|
|
|
namespace templates {
|
|
template<typename T, nullptr_t Value>
|
|
struct X {
|
|
X() { ptr = Value; }
|
|
|
|
T *ptr;
|
|
};
|
|
|
|
X<int, nullptr> x;
|
|
|
|
|
|
template<int (*fp)(int), int* p, int A::* pmd, int (A::*pmf)(int)>
|
|
struct X2 {};
|
|
|
|
X2<nullptr, nullptr, nullptr, nullptr> x2;
|
|
}
|
|
|
|
namespace null_pointer_constant {
|
|
|
|
// Pending implementation of core issue 903, ensure we don't allow any of the
|
|
// C++11 constant evaluation semantics in null pointer constants.
|
|
struct S { int n; };
|
|
constexpr int null() { return 0; }
|
|
void *p = S().n; // expected-error {{cannot initialize}}
|
|
void *q = null(); // expected-error {{cannot initialize}}
|
|
|
|
}
|