projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a92db26) | patch
[Ada] Allow GNATprove to set overflow mode
authorYannick Moy <moy@adacore.com>
Thu, 12 Dec 2019 11:38:19 +0000 (12:38 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 2 Jun 2020 08:58:01 +0000 (04:58 -0400)
commit0b8eceff72120b5378423fbc2475a95f4730edad
tree1f896405e267df442df7d1bc947927bdf595f7fatree
parenta92db2624549f119a6f5c1e19c3013768b6bad3ecommit | diff
[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.
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/sem_prag.ads diff | blob | history