diff options
| author | Javier Miranda <miranda@adacore.com> | 2025-01-10 19:08:39 +0000 |
|---|---|---|
| committer | Marc Poulhiès <dkm@gcc.gnu.org> | 2025-01-13 11:52:59 +0100 |
| commit | 5fd925bf732c889d020f2a575591648f990adb4f (patch) | |
| tree | 4c2062b426a0fb90ab13722d0c3eccd7df73d4e2 /gcc/expr.cc | |
| parent | 686bd4e0bc484f9612038d51d07708ff8a4ff75b (diff) | |
| download | gcc-5fd925bf732c889d020f2a575591648f990adb4f.zip gcc-5fd925bf732c889d020f2a575591648f990adb4f.tar.gz gcc-5fd925bf732c889d020f2a575591648f990adb4f.tar.bz2 | |
ada: Cleanup preanalysis of static expressions (part 4)
Fix regression in the SPARK 2014 testsuite.
gcc/ada/ChangeLog:
* sem_util.adb (Build_Actual_Subtype_Of_Component): No action
under preanalysis.
* sem_ch5.adb (Set_Assignment_Type): If the right-hand side contains
target names, expansion has been disabled to prevent expansion that
might move target names out of the context of the assignment statement.
Restore temporarily the current compilation mode so that the actual
subtype can be built.
Diffstat (limited to 'gcc/expr.cc')
0 files changed, 0 insertions, 0 deletions