diff options
| author | Yannick Moy <moy@adacore.com> | 2019-12-12 12:38:19 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-02 04:58:01 -0400 |
| commit | 0b8eceff72120b5378423fbc2475a95f4730edad (patch) | |
| tree | 1f896405e267df442df7d1bc947927bdf595f7fa /gcc/ada/cstreams.c | |
| parent | a92db2624549f119a6f5c1e19c3013768b6bad3e (diff) | |
| download | gcc-0b8eceff72120b5378423fbc2475a95f4730edad.zip gcc-0b8eceff72120b5378423fbc2475a95f4730edad.tar.gz gcc-0b8eceff72120b5378423fbc2475a95f4730edad.tar.bz2 | |
[Ada] Allow GNATprove to set overflow mode
2020-06-02 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_prag.adb, sem_prag.ads (Set_Overflow_Mode): New procedure
to set overflow mode.
Diffstat (limited to 'gcc/ada/cstreams.c')
0 files changed, 0 insertions, 0 deletions