]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 87f152b) | patch
[Ada] Deconstruct a VMS utility routine which is only used by GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 5 Jan 2022 10:53:32 +0000 (11:53 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 11 Jan 2022 13:24:48 +0000 (13:24 +0000)
commit58a9ed1187e5ba190828dff6c5d1e88ebe7dbb3a
treee1da6c6414302b261b615fa51e82794791a1af97tree
parent87f152ba31e41df9225ff08682eca7b8fb66234bcommit | diff
[Ada] Deconstruct a VMS utility routine which is only used by GNATprove

gcc/ada/

* sem_eval.ads (Compile_Time_Known_Value_Or_Aggr): Remove spec.
* sem_eval.adb (Compile_Time_Known_Value_Or_Aggr): Remove body.
gcc/ada/sem_eval.adb diff | blob | blame | history
gcc/ada/sem_eval.ads diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git