[Ada] Ada 2012 accessibility checking

In addition to fixing some bugs, the major effect of this set of changes is to temporarily disable support for AI05-0234's rules about how the accessibility level of a function result object may be determined by the point of call. Tested on x86_64-pc-linux-gnu, committed on trunk 2011-09-06 Stev

[Ada] Ada 2012 accessibility checking

This set of changes improves support for AI05-0234's rules about how the accessibility level of a function result object may be determined by the point of call. The following test is intended to test this support. The test should execute without producing output. Because this is an Ada2012 test, it

[Ada] Ada 2012 accessibility checking

This set of changes implements support for AI05-0234's rules about how the accessibility level of a function result object may be determined by the point of call. The implementation involves passing in an additional accessibility-level parameter to some functions, similar in some ways to the Extra_