diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-08-12 11:33:20 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-06 09:14:22 +0200 |
| commit | 8a99a8e6bcfd8c2ce739baaaca0e34d46c3343f2 (patch) | |
| tree | a42a4a8154321d68c5cb8a2d84bd3b291e188cf2 /gcc/ada/gcc-interface/trans.cc | |
| parent | 51abc0cc8691daecd7cec8372e4988e9f3f1913c (diff) | |
| download | gcc-8a99a8e6bcfd8c2ce739baaaca0e34d46c3343f2.zip gcc-8a99a8e6bcfd8c2ce739baaaca0e34d46c3343f2.tar.gz gcc-8a99a8e6bcfd8c2ce739baaaca0e34d46c3343f2.tar.bz2 | |
[Ada] Retain Has_Private_View flag for actuals of inlined subprograms
When instantiating a body to inline (either because frontend inlining is
enabled with switch -gnatN or because of inlining-for-proof in GNATprove
mode) we rewrite occurrences of formal parameters into the corresponding
actual parameters. Then we switch type views, so that if the formal had
a full view in the body to inline then the corresponding actual will
have a full view in the particular inlined body.
However, when rewriting occurrences of the formal parameter we were
losing information about whether the formal had a private view.
gcc/ada/
* inline.adb (Process_Formals): Preserve Has_Private_View flag while
rewriting formal into actual parameters.
Diffstat (limited to 'gcc/ada/gcc-interface/trans.cc')
0 files changed, 0 insertions, 0 deletions