> - ada/gcc-interface/utils.c:rest_of_subprog_body_compilation calls > dump_function which in turns calls dump_function_to_file which calls > push_cfun. But Ada front end has its idea of the > current_function_decl and there is no cfun which is an inconsistency > which makes push_cfun assert fail. I "solved" it by temporarily > setting current_function_decl to NULL_TREE. It's just dumping and I > thought that dump_function should be considered middle-end and thus > middle-end invariants should apply.
If you think that calling dump_function from rest_of_subprog_body_compilation is a layering violation, I don't have a problem with replacing it with a more "manual" scheme like the one in c-family/c-gimplify.c:c_genericize, provided that this yields roughly the same output. -- Eric Botcazou
