Подскажите, должно ли это компилироваться:

static void funcA(void *p) {}

template<class T>
void funcT(T &t)
{
  funcA(&t);
}

void test()
{
  int t;
  funcT(t);
}

Визуал С 2005 и GCC 3.4.5 компилят. IAR — нет:
Error[Pe304]: no instance of function "funcA" matches the argument list
argument types are: (int *)
detected during instantiation of "void funcT(T &) [with T=int]"

Его разрабы говорят, что это правильно.

Если можно — ткните в стандарт...