diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2019-10-10 15:22:38 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-10-10 15:22:38 +0000 |
| commit | f4f50084ad13d00dc3c5e554ca6cbacafc34b758 (patch) | |
| tree | 76931bb9bb042ed1c4a8f18ca21a29f42c11fc9f /libitm | |
| parent | f466596d31f5c1402787e6e32ae383ba369c8a95 (diff) | |
| download | gcc-f4f50084ad13d00dc3c5e554ca6cbacafc34b758.zip gcc-f4f50084ad13d00dc3c5e554ca6cbacafc34b758.tar.gz gcc-f4f50084ad13d00dc3c5e554ca6cbacafc34b758.tar.bz2 | |
[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
Diffstat (limited to 'libitm')
0 files changed, 0 insertions, 0 deletions