diff options
| author | Yannick Moy <moy@adacore.com> | 2020-11-16 21:50:17 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-14 10:51:49 -0500 |
| commit | 758daef51b03aeda7afd338fc1954d0c012a4a98 (patch) | |
| tree | f769c5c746c5e6a407553a320758a0439748a64a /gcc/gcov.c | |
| parent | 2a1a3fc67f4ce399992ff83d97f76c2682dcb38f (diff) | |
| download | gcc-758daef51b03aeda7afd338fc1954d0c012a4a98.zip gcc-758daef51b03aeda7afd338fc1954d0c012a4a98.tar.gz gcc-758daef51b03aeda7afd338fc1954d0c012a4a98.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions