[Ada] Implementation of AI12-0127 : delta aggregate

2017-11-08 Thread Pierre-Marie de Rodat
This patch updates the implementation of Ada2020 delta aggregatesa to conform to the latest version of AI12-0127. this patch adds checks to reject statically delta aggregates that specify values for components that appear in different variants of a record type. Compiling test2.adb in Ada2020 mode

[Ada] Implementation of AI12-0127 : delta aggregate

2017-11-08 Thread Pierre-Marie de Rodat
This patch updates the implementation of Ada2020 delta aggregates, so they can be used in the context of a private extension of a record type. Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ 2017-11-08 Ed Schonberg * sem_ch4.adb (Analyze_Aggregate): For Ada2020 delta aggre