Hi Roberto,

> Should I report this as a bug?
> If so, which kind of bug is it?

Isn't this c++/19989?

Paolo.

Reply via email to