Subversion Repositories openrisc

// Positive examples from N3092 (FCD)

// { dg-options -std=c++0x }

#define SA(X) static_assert(X, #X)

constexpr int bufsz = 1024; // OK: definition

SA (bufsz == 1024);

constexpr int square(int x); // OK: declaration

struct pixel {

  int x;

  int y;

  // OK: declaration

  constexpr pixel(int);

};

constexpr pixel::pixel(int a) // OK: definition

  : x(square(a)), y(square(a))

{ }

constexpr int square(int x) // OK: definition

{ return x * x; }

constexpr pixel large(4); // OK: square defined

SA(large.x == 16 && large.y==16);

constexpr long long_max() // OK

{ return 2147483647; }

SA(long_max() == 2147483647);

constexpr int abs(int x) // OK

{ return x < 0 ? -x : x; }

SA(abs(-1) == 1);

SA(abs(24) == 24);

struct Length {

  explicit constexpr Length(int i = 0) : val(i) { }

private:

  int val;

};

constexpr Length l1;

constexpr Length l2(12);

struct pixel2 {

  int x, y;

};

constexpr pixel2 ur = { 1294, 1024 };// OK

SA(ur.x == 1294 && ur.y == 1024);

constexpr const int* addr(const int& ir) { return &ir; } // OK

static const int x = 5;

extern constexpr const int* xp = addr(x); // OK: (const int*)&(const int&)x

                                          // is an address contant expression

SA(xp == &x);

extern constexpr int x2 = *addr(5);

SA(x2 == 5);