projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebe1a04) | patch
[Ada] Fix spurious ownership error in GNATprove
authorYannick Moy <moy@adacore.com>
Wed, 14 Aug 2019 09:51:16 +0000 (09:51 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 14 Aug 2019 09:51:16 +0000 (09:51 +0000)
commit9d7921310e5a265f0db62e45a881c266b8e4bec1
treed70887e24a90ce400637867de0b9364d3e734079tree
parentebe1a04f30e07c84264da571ac4da003e8c4bc05commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history