| commit | 48a5910dde566180a0a0878651a78ccece89be45 | [log] [tgz] |
|---|---|---|
| author | Steve Baird <baird@adacore.com> | Thu Jan 30 13:28:50 2025 -0800 |
| committer | Eric Botcazou <ebotcazou@adacore.com> | Thu Jun 05 15:39:45 2025 +0200 |
| tree | 5e83729db45ac6625d8881da539b525fb3a1e058 | |
| parent | 257a8dc92efbc5f523d388da10d63bf126af2aa3 [diff] |
ada: Exception-raising loop incorrectly eliminated If the body of a loop includes a raise statement then the loop should not be considered to be free of side-effects and therefore eligible for elimination by the compiler. gcc/ada/ChangeLog: * sem_util.adb (Side_Effect_Free_Statements): Return False if the statement list includes an explicit (i.e. Comes_From_Source) raise statement.