[Bug ada/117861] pragma Suppress (Overflow_check) is ignored and overflow fails at compilation rather than throwing an exception

[00120260a at gmail dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117861

--- Comment #1 from Saada Mehdi <00120260a at gmail dot com> ---
On the other hand the following
> pragma suppress (Overflow_Check);
> pragma suppress (Range_Check);
> procedure Increment_integer is
>       A: Boolean := Boolean'Last; 
> begin
>       A := Boolean'Base'Succ (A);
> end Increment_integer;

does raise an exception but doesn't suppress anything. Is this the intended
behavior ?