projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a1a3fc) | patch
[Ada] Refine error messages on illegal Refined_State in SPARK
authorYannick Moy <moy@adacore.com>
Mon, 16 Nov 2020 20:50:17 +0000 (21:50 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 14 Dec 2020 15:51:49 +0000 (10:51 -0500)
commit758daef51b03aeda7afd338fc1954d0c012a4a98
treef769c5c746c5e6a407553a320758a0439748a64atree
parent2a1a3fc67f4ce399992ff83d97f76c2682dcb38fcommit | diff
[Ada] Refine error messages on illegal Refined_State in SPARK

gcc/ada/

* sem_prag.adb (Analyze_Refined_State_In_Decl_Part): Refine the
error message for missing Part_Of on constituent. Avoid
cascading error.
gcc/ada/sem_prag.adb diff | blob | history