| Egor Pasko | 167ac2b | 2010-05-18 12:26:51 | [diff] [blame^] | 1 | -- { dg-do compile } |
| 2 | -- { dg-options "-gnatws" } | ||||
| 3 | |||||
| 4 | procedure Bit_Packed_Array2 is | ||||
| 5 | |||||
| 6 | type Bit_Array is array (integer range <>) of Boolean; | ||||
| 7 | pragma Pack(Bit_Array); | ||||
| 8 | |||||
| 9 | b1 : Bit_Array(1..64); | ||||
| 10 | b2 : Bit_array(1..64); | ||||
| 11 | res : Bit_array(1..64); | ||||
| 12 | |||||
| 13 | begin | ||||
| 14 | |||||
| 15 | if (not((not b1) or (not b2))) /= res then | ||||
| 16 | null; | ||||
| 17 | end if; | ||||
| 18 | |||||
| 19 | end; | ||||