diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-09-18 14:45:51 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-26 04:59:11 -0400 |
| commit | acd4ef9df257ce400c5eabfa9ab92a1b3196e090 (patch) | |
| tree | 6cb386d8a244eb7a2d762a4b15c1d3ba5ce71359 /gcc/tree-vect-loop-manip.c | |
| parent | 4ab5d8c17b7b8ca792979997fb3a13b2c9eeba8b (diff) | |
| download | gcc-acd4ef9df257ce400c5eabfa9ab92a1b3196e090.zip gcc-acd4ef9df257ce400c5eabfa9ab92a1b3196e090.tar.gz gcc-acd4ef9df257ce400c5eabfa9ab92a1b3196e090.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/tree-vect-loop-manip.c')
0 files changed, 0 insertions, 0 deletions