/* APPLE LOCAL file radar 4842177 */
/* { dg-options "-fnext-runtime -m64 -mmacosx-version-min=10.5 -fconstant-cfstrings -framework Cocoa" } */
/* { dg-do run { target *-*-darwin* } } */
/* { dg-require-effective-target lp64 } */

#include <stdarg.h>
#include <stdlib.h>
#include <string.h>

#ifdef __NEXT_RUNTIME__
/* The following ain't pretty, but does allow us to have just one copy
   of next_mapping.h.  */
#include "../objc/execute/Object2.h"
#include "../objc/execute/next_mapping.h"
#else
#include <objc/NXConstStr.h>
#endif

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

template <class ARR, class TYPE> class TestT
{
public:
	TYPE k;
	int abc( ARR *array ) {
		return [array count] * k;
	}
	TestT(TYPE _k): k(_k) { }
};

template <class TYPE>
const char *getDesc(void) {
	return [TYPE name];
}

@class Array;

template <class TYPE>
int abc( TYPE *xyz, Array *array ) {
	return [xyz count] + [array count];
}

@interface Array: Object {
  id *arr;
  int count;
}
+ (id)arrayWithObjects:(id)first, ... ;
- (int)count;
@end

@implementation Array
+ (id)arrayWithObjects:(id)first, ... {
  Array *a = [Array new];
  a->count = 0;
  a->arr = (id *) calloc(8, sizeof(id));

  va_list args;
  va_start (args, first);
  
  a->arr[a->count++] = first;

  for (id el; el = va_arg(args, id); a->count++)
    a->arr[a->count] = el;

  return a;
}
- (int)count {
  return count;
}
@end

int main(void)
{
	CHECK_IF(!strcmp ([@"Object" cString], getDesc<Object>()));
	CHECK_IF(!strcmp ([@"Array" cString], getDesc<Array>()));

	Array* a1 = [Array arrayWithObjects:@"One", @"Two", @"Three", nil];
	Array* a2 = [Array arrayWithObjects:@"Four", @"Five", nil];

	TestT<Array, int> t(7);
	CHECK_IF(t.abc(a1) + t.abc(a2) == 35);
        CHECK_IF(abc(a1, a2) * t.k == 35);
	return 0;
}