[Ada] AI12-0373 Additional check on Integer_Literal function
authorArnaud Charlet <charlet@adacore.com>
Mon, 8 Jun 2020 18:28:52 +0000 (14:28 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:07 +0000 (05:18 -0400)
commitc6801105e167376e8839007a1539a8167fb09306
tree0447df56247bcc32af52b7f46e0b19db876945e5
parent0e35dea645d5303b433061df1a27e3f205129de7
[Ada] AI12-0373 Additional check on Integer_Literal function

gcc/ada/

* sem_ch13.adb (Validate_Literal_Aspect): Ensure that the
parameter is not aliased. Minor reformatting.
* sem_util.adb (Statically_Names_Object): Update comment.
gcc/ada/sem_ch13.adb
gcc/ada/sem_util.adb