[Ada] Use declared type for deciding on SPARK pointer rules

Programming / Compilers / GCC - pmderodat [138bc75d-0d04-0410-961f-82ee72b054a4] - 10 October 2019 15:22 EDT

2019-10-10 Piotr Trojanek

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.

e310ce27a09 [Ada] Use declared type for deciding on SPARK pointer rules
gcc/ada/ChangeLog | 5444 +-------------------------------------------------
gcc/ada/sem_prag.adb | 3 +-
2 files changed, 5 insertions(+), 5442 deletions(-)

Upstream: gcc.gnu.org


  • Share