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 ?