This patch corrects an issue in the compiler whereby the level for allocated objects of anonymous access types was calculated incorrectly. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * sem_util.adb (Function_Or_Allocator_Level): Properly handle direct function calls in the default alternative accessibility checking mode.