[Ada] Simplify prevention of cascaded errors for Refined_State
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 18 Nov 2020 14:52:55 +0000 (15:52 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:50 +0000 (10:51 -0500)
commitc2dc9fb66147830f1ca83206543bbef7f3966a40
tree1d7b1dc7d76bc312d6230eeea0d44bf7fda47e32
parent2c40c60ecb32a2200c3a4087521b9f35cc08763e
[Ada] Simplify prevention of cascaded errors for Refined_State

gcc/ada/

* sem_prag.adb (Analyze_Refinement_Clause): Simplify recently
added code for preventing cascaded errors.
gcc/ada/sem_prag.adb