> I'll have to look into this.. Any pointers? This assertion is not a language > rule assertion.
Of course, neither of the 117 assertions in gcc-interface is, instead they are assertions meant to prevent wrong-code generation from occuring. > As you see, the assertion being modified already tests for "Is_Public". So > the issue is precisely that this assertion wrongly fails for cases where the > entity is not Public. We cannot let anything go through if there is not Is_Public set somewhere, possibly on the Alias (gnat_entity) since it is present in your case. -- Eric Botcazou
