diff options
| author | Marc Poulhiès <poulhies@adacore.com> | 2023-02-28 11:01:47 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-25 09:44:15 +0200 |
| commit | f6156f454f2d88166cdc18e4281e084c31066f8f (patch) | |
| tree | ccab0eaf4702af641f3a52d21db89129d0ecaaff /gcc/tree-vectorizer.h | |
| parent | 7b67bfab289d7f50beed51ca72717be5a8154f3b (diff) | |
| download | gcc-f6156f454f2d88166cdc18e4281e084c31066f8f.zip gcc-f6156f454f2d88166cdc18e4281e084c31066f8f.tar.gz gcc-f6156f454f2d88166cdc18e4281e084c31066f8f.tar.bz2 | |
ada: Fix SPARK context not restored when Load_Unit is failing
When Load_Unit fails to find the unit or encounters an error, the
Load_Fail procedure is called and an exception is raised, skipping the
restoration of the SPARK/Ghost context stored on procedure entry.
gcc/ada/
* rtsfind.adb (Load_RTU.Restore_SPARK_Context): New.
(Load_RTU): Use Restore_SPARK_Context on all exit paths.
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Initialize local
variable to Empty.
Diffstat (limited to 'gcc/tree-vectorizer.h')
0 files changed, 0 insertions, 0 deletions