diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-04 08:05:36 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:05:36 +0000 |
| commit | b04fe972e31570bfb09ae398576c1c79847a9f28 (patch) | |
| tree | 3c006f8ab5f75e8cae48cfa092228d32de5f529f /gcc/tree-ssa-alias.c | |
| parent | 4ff5aa0c05b3a42a454d76275cf7e1f17cbb7412 (diff) | |
| download | gcc-b04fe972e31570bfb09ae398576c1c79847a9f28.zip gcc-b04fe972e31570bfb09ae398576c1c79847a9f28.tar.gz gcc-b04fe972e31570bfb09ae398576c1c79847a9f28.tar.bz2 | |
[Ada] Better error messages for ownership errors in SPARK
When SPARK code does not follow the ownership rules of SPARK RM 3.10,
the error message now points to a location explaining why the object has
a more restricted permission than the expected one.
There is no impact on compilation.
2019-07-04 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Explanation, Get_Expl): New functions to get
the explanation for a permission mismatch.
(Perm_Error, Perm_Mismatch, Perm_Error_Loop_Exit): Take
explanation into account for issuing a more precise error
message.
(Set_Perm_Prefixes, Set_Perm_Extensions,
Set_Perm_Extensions_Move): Pass suitable argument for the
explanation node.
From-SVN: r273050
Diffstat (limited to 'gcc/tree-ssa-alias.c')
0 files changed, 0 insertions, 0 deletions