diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2024-04-05 14:22:34 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2024-06-10 11:03:58 +0200 |
| commit | b849df9a981065fd119d0e4c4d0b6ec1d67bea73 (patch) | |
| tree | 14a5338b9256e976e1ffcef4063df6e13cdc7fec /gcc/tree-vect-loop.cc | |
| parent | ba1b04fb59f555b1a641aa6e6a77cd0b902780dd (diff) | |
| download | gcc-b849df9a981065fd119d0e4c4d0b6ec1d67bea73.zip gcc-b849df9a981065fd119d0e4c4d0b6ec1d67bea73.tar.gz gcc-b849df9a981065fd119d0e4c4d0b6ec1d67bea73.tar.bz2 | |
ada: Enable inlining for subprograms with multiple return statements
With the support for forward GOTO statements in the GNATprove backend,
we can now inline subprograms with multiple return statements in the
frontend.
Also, fix inconsistent source locations in the inlined code, which were
now triggering assertion violations in the code for GNATprove
counterexamples.
gcc/ada/
* inline.adb (Has_Single_Return_In_GNATprove_Mode): Remove.
(Process_Formals): When rewriting an occurrence of a formal
parameter, use location of the occurrence, not of the inlined
call.
Diffstat (limited to 'gcc/tree-vect-loop.cc')
0 files changed, 0 insertions, 0 deletions