]> gcc.gnu.org Git - gcc.git/commit
git://gcc.gnu.org / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 640ba4c) | patch
[Ada] Decouple analysis of static expression functions from GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 28 May 2021 13:11:03 +0000 (15:11 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 9 Jul 2021 12:35:25 +0000 (12:35 +0000)
commite40f4ab46364c3e16c35c4d96c89187e8cae5a65
tree8358ea4ca141bdb046c598a309060a36ef6c95d2tree
parent640ba4c1a33cb7e4ad854985f7d95882f8ed2260commit | diff
[Ada] Decouple analysis of static expression functions from GNATprove

gcc/ada/

* sem_ch6.adb (Analyze_Expression_Function): Reorder code.
gcc/ada/sem_ch6.adb diff | blob | blame | history
GNU Compiler Collection
This page took 0.059743 seconds and 5 git commands to generate.