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/sem_prag.ads | |
| 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/sem_prag.ads')
| -rw-r--r-- | gcc/ada/sem_prag.ads | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 88c103a..5709b3d 100644 --- a/gcc/ada/sem_prag.ads +++ b/gcc/ada/sem_prag.ads @@ -530,6 +530,11 @@ package Sem_Prag is -- the value of the Interface_Name. Otherwise it is encoded as needed by -- particular operating systems. See the body for details of the encoding. + procedure Set_Overflow_Mode (N : Node_Id); + -- Sets Sem.Scope_Suppress according to the overflow modes specified in + -- the pragma Overflow_Mode passed in argument. This should only be called + -- after N has been successfully analyzed. + function Test_Case_Arg (Prag : Node_Id; Arg_Nam : Name_Id; |