1--  { dg-do compile }
2
3with Text_IO; use Text_IO;
4
5procedure Object_Size1 is
6  type Zero_Size_Type is (Solo);
7
8  for Zero_Size_Type'Size use 0;
9  for Zero_Size_Type'Object_Size use 0;  --  { dg-error "Object_Size must be positive" }
10begin
11  Put_Line (Zero_Size_Type'Size'Image);
12  Put_Line (Zero_Size_Type'Object_Size'Image);
13end Object_Size1;
14