Subversion Repositories openrisc

/* Test if ObjC++ can distinguish protocol qualifiers from

   template arguments.  */

/* Author:  Ziemowit Laski .  */

/* { dg-do run } */

/* { dg-xfail-run-if "Needs OBJC2 ABI" { *-*-darwin* && { lp64 && { ! objc2 } } } { "-fnext-runtime" } { "" } } */

#include "../objc-obj-c++-shared/TestsuiteObject.m"

#include 

#define CHECK_IF(expr) if(!(expr)) abort()

@protocol Zone

+ allocFromZone:(void *)zone;

- copyFromZone:(void *)zone;

@end

@protocol Init 

+ initialize;

- init;

@end

@interface Foo: TestsuiteObject

{ @public int val; }

- init;

@end

template  struct X {

  T x; U y;

};

X xx;

template  struct Holder

{

  T *obj;

  static int counter;

  Holder(void) { obj = [[T alloc] init]; }

  ~Holder(void) { [obj free]; --counter; }

  id  getObjId(void) { return obj; }

  TestsuiteObject  *getObj(void) { return obj; }

};

typedef Holder  > FooHolder;

@implementation Foo

-(id) init {

  [super init];

  val = ++FooHolder::counter;

  return self;

}

@end

template 

int Holder::counter = 0;

int main (void) {

  CHECK_IF(FooHolder::counter == 0);

  {

    FooHolder holder;

    CHECK_IF(holder.obj->val == 1);

    CHECK_IF(FooHolder::counter == 1);

    FooHolder holder2;

    CHECK_IF(holder2.obj->val == 2);

    CHECK_IF(FooHolder::counter == 2);

  }

  CHECK_IF(FooHolder::counter == 0);

  return 0;

}