projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ab5d8c) | patch
[Ada] Fix harmless assertion failure in GNATprove mode
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 18 Sep 2020 12:45:51 +0000 (14:45 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 26 Oct 2020 08:59:11 +0000 (04:59 -0400)
commitacd4ef9df257ce400c5eabfa9ab92a1b3196e090
tree6cb386d8a244eb7a2d762a4b15c1d3ba5ce71359tree
parent4ab5d8c17b7b8ca792979997fb3a13b2c9eeba8bcommit | diff
[Ada] Fix harmless assertion failure in GNATprove mode

gcc/ada/

* inline.adb (Establish_Actual_Mapping_For_Inlined_Call): Add
guard for a call to Set_Last_Assignment with the same condition
as the assertion in that routine and explain why this guard
fails in GNATprove mode.
gcc/ada/inline.adb diff | blob | history