From 0b8eceff72120b5378423fbc2475a95f4730edad Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Thu, 12 Dec 2019 12:38:19 +0100 Subject: [Ada] Allow GNATprove to set overflow mode 2020-06-02 Yannick Moy gcc/ada/ * sem_prag.adb, sem_prag.ads (Set_Overflow_Mode): New procedure to set overflow mode. --- gcc/ada/sem_prag.ads | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'gcc/ada/sem_prag.ads') 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; -- cgit v1.1