projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d43123e) | patch
[Ada] AI12-0385 Predefined shifts and rotates should be static
authorArnaud Charlet <charlet@adacore.com>
Wed, 17 Jun 2020 11:41:34 +0000 (07:41 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:06 +0000 (05:39 -0400)
commit40486f926ce9f5c09d6211244c2d8dc46b94f03f
tree3fd37c5ab0fe12c67918b192044194ef75222704tree
parentd43123ee06f0cef47ffcacad8f6c9f9d753c1841commit | diff
[Ada] AI12-0385 Predefined shifts and rotates should be static

gcc/ada/

* Makefile.rtl: Add target pair for interfac.ads.
* libgnat/interfac.ads: Add a comment.
* libgnat/interfac__2020.ads: New, used for bootstrap purposes.
* sem_util.adb (Is_Static_Function): Always return False for pre
Ada 2020 to e.g. ignore the Static aspect in Interfaces for
Ada < 2020.
gcc/ada/Makefile.rtl diff | blob | history
gcc/ada/libgnat/interfac.ads diff | blob | history
gcc/ada/libgnat/interfac__2020.ads [new file with mode: 0644] blob
gcc/ada/sem_util.adb diff | blob | history