> Please excuse my ignorance as this is my first (and hopefully not last) > patch submission.. But I don't see any testcases in the Ada testsuite except > for the (outdated) ACATS tests, which doesn't cover this assertion. So I'm > honestly not sure how I should go about that..
See testsuite/gnat.dg, there are around 3000 regressions tests. > Shall I add the Is_Public check to the Alias and resubmit the patch? Yes, please, but it can only be approved with an associated testcase. -- Eric Botcazou
