projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05f799d) | patch
[Ada] ACATS 4.2Q - BDD2007
authorArnaud Charlet <charlet@adacore.com>
Sat, 21 Mar 2020 16:34:20 +0000 (12:34 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 12 Jun 2020 08:29:20 +0000 (04:29 -0400)
commite7148bc74f3bc306d28ce0ffee47f0876af99cc8
tree6fb57a31d2c128c16a7ecd66747b1dcf1dde21eftree
parent05f799de948ca5a5e51a2cc7a406cc93bea91735commit | diff
[Ada] ACATS 4.2Q - BDD2007

2020-06-12  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* aspects.ads (Is_Representation_Aspect): New array.
* sem_ch13.adb (Analyze_Aspect_Specifications): Check
13.1(9.2/5) for representation aspects.

gcc/testsuite/

* gnat.dg/rep_clause8.adb: Update error location.
gcc/ada/aspects.ads diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history
gcc/testsuite/gnat.dg/rep_clause8.adb diff | blob | history