projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f466596) | patch
[Ada] Use declared type for deciding on SPARK pointer rules
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 10 Oct 2019 15:22:38 +0000 (15:22 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 10 Oct 2019 15:22:38 +0000 (15:22 +0000)
commitf4f50084ad13d00dc3c5e554ca6cbacafc34b758
tree76931bb9bb042ed1c4a8f18ca21a29f42c11fc9ftree | snapshot
parentf466596d31f5c1402787e6e32ae383ba369c8a95commit | diff
[Ada] Use declared type for deciding on SPARK pointer rules

2019-10-10  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* sem_prag.adb (Analyze_Global_In_Decl_Part): Simplify previous
test, just like in a recent commit we simplified a similar test
for Depends contract.

From-SVN: r276810
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;