[Ada] Spurious accessibility error on allocator in generic instance

2021-09-20 Thread Pierre-Marie de Rodat
This patch fixes an error in the compiler whereby an allocator for a limited type within a generic instance may cause spurious compile-time warnings and run-time errors. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch4.adb (Expand_N_Type_Conversion): Add guard to prot

[Ada] Spurious accessibility error on allocator in generic instance

2020-07-16 Thread Pierre-Marie de Rodat
This patch fixes an error in the compiler whereby an allocator for a limited type may cause spurious accessibility errors due to a miscalculation of access levels on internally generated temporaries within the instance. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch4

[Ada] Spurious accessibility error on allocator

2020-07-15 Thread Pierre-Marie de Rodat
This patch fixes an error in the compiler whereby an allocator for a limited type may cause spurious accessibility errors due to a miscalculation of access levels on interally generated temporaries. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * exp_ch6.adb (Make_Build_In_P