projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98ceb79) | patch
[Ada] Fix incorrect placement of freeze node with predicate
authorEric Botcazou <ebotcazou@adacore.com>
Wed, 20 May 2020 22:58:06 +0000 (00:58 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 8 Jul 2020 14:55:54 +0000 (10:55 -0400)
commit1567ebf93abda477cf1d7e1f88d89cd0b875a1b6
treeb261a112c0e56dfeab8a1f52411366c4b4c65144tree
parent98ceb79632938c5dfa74dbf4c84854c0bba5e75acommit | diff
[Ada] Fix incorrect placement of freeze node with predicate

gcc/ada/

* freeze.adb (In_Expanded_Body): Return true for the body of a
generated predicate function.
gcc/ada/freeze.adb diff | blob | history