G ++: Можно ли использовать __attribute __ ((__ may_alias__)) для указателя на экземпляр класса, а не на само определение класса?

Я ищу ответ на следующий вопрос: may_alias подходит как атрибут для указателя на объект некоторого класса Foo? Или это должно использоваться только на уровне класса?

Рассмотрим следующий код (он основан на более сложном примере из реальной жизни):

#include <iostream>

using namespace std;

#define alias_hack __attribute__((__may_alias__))

template <typename T>
class Foo
{
private:
/*alias_hack*/ char Data[sizeof (T)];
public:
/*alias_hack*/ T& GetT()
{
return *((/*alias_hack*/ T*)Data);
}
};

struct Bar
{
int Baz;

Bar(int baz)
: Baz(baz)
{}
} /*alias_hack*/; // <- uncommeting this line apparently solves the problem, but does so on class-level(rather than pointer-level)
// uncommenting previous alias_hack's doesn't help

int main()
{
Foo<Bar> foo;
foo.GetT().Baz = 42;
cout << foo.GetT().Baz << endl;
}

Есть ли способ сказать gcc, что один указатель may_alias какой-то другой?

Кстати, обратите внимание, что механизм обнаружения gcc такой проблемы несовершенен, поэтому очень легко просто убрать это предупреждение, фактически не решая проблему.

Рассмотрим следующий фрагмент кода:

#include <iostream>

using namespace std;

int main()
{
long i = 42;
long* iptr = &i;
//(*(short*)&i) = 3; // with warning
//(*(short*)iptr) = 3; // without warning
cout << i << endl;
}

Раскомментируйте одну из строк, чтобы увидеть разницу в выводе компилятора.