Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
notnot.adb
blob: 3d4181aaaaacae4b373f82396719fd0f507226d4 [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
--
{
dg
-
options
"-gnatwr"
}
procedure notnot
(
x
,
y
:
integer
)
is
begin
if
not
(
not
(
x
=
y
))
then
--
{
dg
-
warning
"redundant double negation"
}
return
;
end
if
;
end
;