diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-12-22 10:02:29 -0500 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-05-03 05:28:21 -0400 |
| commit | 56adf813f4e23d95d92385dee9b31e5e0d476abd (patch) | |
| tree | 4b9c81db20e9e147a709e1f5dfe948d431112bd8 /gcc/ada/gcc-interface/decl.c | |
| parent | e36ee1b4df7197b6e7542bb67004b1fcf09714ce (diff) | |
| download | gcc-56adf813f4e23d95d92385dee9b31e5e0d476abd.zip gcc-56adf813f4e23d95d92385dee9b31e5e0d476abd.tar.gz gcc-56adf813f4e23d95d92385dee9b31e5e0d476abd.tar.bz2 | |
[Ada] No_Implicit_Loops restriction and pragma Assert
gcc/ada/
* tbuild.adb (Make_Implicit_Loop_Statement): Disable restriction
checking on dead paths.
Diffstat (limited to 'gcc/ada/gcc-interface/decl.c')
0 files changed, 0 insertions, 0 deletions