This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |
Other format: | [Raw text] |
Hi, this issue should be easy to fix. Broken code like: void foo () { decltype (auto) a = foo; } triggers the gcc_assert in digest_init_r:/* Come here only for aggregates: records, arrays, unions, complex numbers
and vectors. */ gcc_assert (TREE_CODE (type) == ARRAY_TYPE || VECTOR_TYPE_P (type) || TREE_CODE (type) == RECORD_TYPE || TREE_CODE (type) == UNION_TYPE || TREE_CODE (type) == COMPLEX_TYPE);because of course TREE_CODE (type) == FUNCTION_TYPE, none of the above. I said should be easy to fix because in fact convert_for_initialization is perfectly able to handle these cases and emit proper diagnostic, if called. What shall we do then? The patchlet below passes testing but we could also relax the gcc_assert itself, include FUNCTION_TYPE with/without checking cxx_dialect >= cxx14. We could drop the latter check in my patchlet. Or something else entirely.
Thanks! Paolo. ////////////////////////
Attachment:
patch_70572
Description: Text document
Index Nav: | [Date Index] [Subject Index] [Author Index] [Thread Index] | |
---|---|---|
Message Nav: | [Date Prev] [Date Next] | [Thread Prev] [Thread Next] |