blob: 82600fc2f9a6f3b6673639190118baedc4932155 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
# { dg-options "-fstropping=upper" } #
BEGIN BOOL t := TRUE;
BOOL f := FALSE;
ASSERT (NOT t = FALSE);
ASSERT (~t = FALSE);
ASSERT ((t AND t) = TRUE);
ASSERT ((t AND f) = FALSE);
ASSERT ((f AND f) = FALSE);
ASSERT ((f AND t) = FALSE);
ASSERT ((t OR t) = TRUE);
ASSERT ((t OR f) = TRUE);
ASSERT ((f OR f) = FALSE);
ASSERT ((f OR t) = TRUE);
ASSERT ((t XOR t) = FALSE);
ASSERT ((t XOR f) = TRUE);
ASSERT ((f XOR f) = FALSE);
ASSERT ((f XOR t) = TRUE)
END
|
