projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 91592d0) | patch
[Ada] Fix String_Literal aspect spec checking problem for scalars.
authorSteve Baird <baird@adacore.com>
Thu, 1 Oct 2020 23:56:50 +0000 (16:56 -0700)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 24 Nov 2020 10:16:01 +0000 (05:16 -0500)
commite269fedf8c150f26e7651c0093ce02bef11ed5d6
tree92ebab28c8a60f1cc5379800ebe3ecdedf4304d0tree
parent91592d05cd924351d99ca8dd8f01df77d74170d9commit | diff
[Ada] Fix String_Literal aspect spec checking problem for scalars.

gcc/ada/

* sem_ch13.adb (Validate_Literal_Aspect): Call to Base_Type
needed in order to correctly check result type of String_Literal
function when the first named subtype differs from the base
type (e.g.:
type T is range 1 .. 10 with String_Literal => ... ;
).
gcc/ada/sem_ch13.adb diff | blob | history