On 10/14/2011 05:58 PM, Paolo Carlini wrote:
On 10/14/2011 09:08 PM, Jason Merrill wrote:
How about using complete_type_or_else?
The CPTK_IS_BASE_OF case becomes much simpler indeed, thanks. For the
unary traits, though, I don't see an advantage in using it, because in
some cases in check_trait_type we don't want to error out even when
complete_type_or_else would. Unless we can check whether we are dealing
with an array of unknown bound *before* completing the type? That is:
if (TREE_CODE (type) == ARRAY_TYPE && !TYPE_DOMAIN (type)
&& COMPLETE_TYPE_P (TREE_TYPE (type)))
is the outcome always the same before and after trying to complete (type)?
That should work.
Jason
