diff options
| author | Marc Poulhiès <poulhies@adacore.com> | 2022-09-22 10:59:42 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2022-11-04 14:47:28 +0100 |
| commit | 12cfb2949754facc3624d70f6267a10b8b57df88 (patch) | |
| tree | 628af522162df0c6e43a274128be9df1cb096592 /gcc/expr.cc | |
| parent | 73d04a073b7288fcf6fc2e1f25d8b1f3a2c6fb81 (diff) | |
| download | gcc-12cfb2949754facc3624d70f6267a10b8b57df88.zip gcc-12cfb2949754facc3624d70f6267a10b8b57df88.tar.gz gcc-12cfb2949754facc3624d70f6267a10b8b57df88.tar.bz2 | |
ada: Fix loop unnesting issue.
During loop unnesting, when the loop statements are wrapped in a code
block, the newly created block's scope must be set to the loop
scope (instead of the previous 'Current_Scope' that would point to an
upper scope).
gcc/ada/
* sem_util.ads (Add_Block_Identifier): Add new extra Scope
argument.
* sem_util.adb (Add_Block_Identifier): Likewise and use this scope
variable instead of Current_Scope.
* exp_util.adb (Wrap_Statements_In_Block): Add new scope argument
to Add_Block_Identifier call.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions