diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-14 09:51:16 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-14 09:51:16 +0000 |
| commit | 9d7921310e5a265f0db62e45a881c266b8e4bec1 (patch) | |
| tree | d70887e24a90ce400637867de0b9364d3e734079 /gcc/ada/table.adb | |
| parent | ebe1a04f30e07c84264da571ac4da003e8c4bc05 (diff) | |
| download | gcc-9d7921310e5a265f0db62e45a881c266b8e4bec1.zip gcc-9d7921310e5a265f0db62e45a881c266b8e4bec1.tar.gz gcc-9d7921310e5a265f0db62e45a881c266b8e4bec1.tar.bz2 | |
[Ada] Fix spurious ownership error in GNATprove
Like Is_Path_Expression, function Is_Subpath_Expression should consider
the possibility that the subpath is a type conversion or type
qualification over the actual subpath node. This avoids spurious
ownership errors in GNATprove.
There is no impact on compilation.
2019-08-14 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_spark.adb (Is_Subpath_Expression): Take into account
conversion and qualification.
From-SVN: r274452
Diffstat (limited to 'gcc/ada/table.adb')
0 files changed, 0 insertions, 0 deletions