diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-12-20 16:27:30 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-01-05 15:30:02 +0100 |
| commit | 6147feb54c7473033c5e9344fdd834c417820af4 (patch) | |
| tree | 9b8dc6d6646647c488142b195ca03cf8db3ebc42 /gcc/rust/backend/rust-compile-struct-field-expr.cc | |
| parent | 07facb98ed0db8771fd36e6c73921177c11b18ea (diff) | |
| download | gcc-6147feb54c7473033c5e9344fdd834c417820af4.zip gcc-6147feb54c7473033c5e9344fdd834c417820af4.tar.gz gcc-6147feb54c7473033c5e9344fdd834c417820af4.tar.bz2 | |
ada: Remove unhelpful special case for renamed bodies in GNATprove mode
This patch reverts a special-case related to inlining of renamed bodies
in GNATprove mode. Its idea was that inlining is decided in routine
Cannot_Inline, which is called much later. This didn't quite work,
because in the meantime the renamed body was prepared to inlining in
Build_Body_To_Inline, which was not designed to handle renamed bodies.
gcc/ada/
* freeze.adb (Build_Renamed_Body): Revert a special case for
GNATprove; remove unnecessary initialization of a local variable.
Diffstat (limited to 'gcc/rust/backend/rust-compile-struct-field-expr.cc')
0 files changed, 0 insertions, 0 deletions