Package: gnat-3.3
Version: 1:3.3.3-0pre1
Severity: normal

This is where I gave up on narrowing it down.

--*---*---*-
-*-*-*-*-*-*
------------
------------
------------
------------
-*-*-*-*-*-*
--*---*---*-

is what it should look like,

------*---*-
-*-*-*-*-*-*
------------
------------
------------
------------
-*-*-*-*-*-*
--*---*---*-

is what it looks like with -O3 -fprofile-arcs. As you can see from the
initalizer below, a gold basilisk is missing from the board. If I remove
the upper two layers that aren't being printed out, it stops
miscompiling.

*** Makefile
GM=gnatmake
AOPTS=-O3 -fprofile-arcs
#AOPTS=-O3 #Works
#AOPTS=-fprofile-arcs #Works

all: drgnchss

dep:

undep:
        rm dep

drgnchss: drgnchss.adb board_types.ads print_board.adb
        $(GM) $(AOPTS) drgnchss

clean:
        rm *.ali *.o *.s *~ drgnchss b~* *.bb *.bbg *.da dep gmon.out *.gcov

*** board_types.ads
--  Board_Types contains all the fundamental types representing the game.

package Board_Types is

   --  Board_Types is and should continue to be conceptually pure. No
   --  global data or state.
   pragma Pure (Board_Types);

   type Board_Layer_Type is (Upper, Middle, Lower);

   type Piece_Type is
     (Sylph, Griffon, Dragon, King, Mage, Paladin, Thief,
      Cleric, Hero, Unicorn, Oliphant, Warrior, Dwarf, Basilisk,
      Elemental);
   type Player_Type is (Scarlet, Gold);
   type Board_Piece (Exists : Boolean := False) is record
      case Exists is
         when True =>
            Piece : Piece_Type;
            Player : Player_Type;
         when False =>
            null;
      end case;
   end record;
   type Row_Type is range 1 .. 8;
   type Column_Type is range 1 .. 12;
   type Board_Layer is array (Row_Type, Column_Type) of Board_Piece;
   type Board is array (Board_Layer_Type) of Board_Layer;
   type Board_Location is record
      Layer : Board_Layer_Type;
      Row : Row_Type;
      Column : Column_Type;
   end record;

   Initial_Board : constant Board;

private

   Initial_Board : constant Board :=
     (
      ((
        (Exists => False),
        (Exists => False),
        (True, Griffon, Gold ),
        (Exists => False),
        (Exists => False),
        (Exists => False),
        (True, Dragon, Gold ),
        (Exists => False),
        (Exists => False),
        (Exists => False),
        (True, Griffon, Gold ),
        (Exists => False)
       ),(
          (True, Sylph, Gold ),
          (Exists => False),
          (True, Sylph, Gold ),
          (Exists => False),
          (True, Sylph, Gold ),
          (Exists => False),
          (True, Sylph, Gold ),
          (Exists => False),
          (True, Sylph, Gold ),
          (Exists => False),
          (True, Sylph, Gold ),
          (Exists => False)
         ),(
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False)
           ),(
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False)
             ),(
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False)
               ),(
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False)
                 ),(
                    (True, Sylph, Scarlet ),
                    (Exists => False),
                    (True, Sylph, Scarlet ),
                    (Exists => False),
                    (True, Sylph, Scarlet ),
                    (Exists => False),
                    (True, Sylph, Scarlet ),
                    (Exists => False),
                    (True, Sylph, Scarlet ),
                    (Exists => False),
                    (True, Sylph, Scarlet ),
                    (Exists => False)
                   ),(
                      (Exists => False),
                      (Exists => False),
                      (True, Griffon, Scarlet ),
                      (Exists => False),
                      (Exists => False),
                      (Exists => False),
                      (True, Dragon, Scarlet ),
                      (Exists => False),
                      (Exists => False),
                      (Exists => False),
                      (True, Griffon, Scarlet ),
                      (Exists => False)
                     )),
      ((
        (True, Oliphant, Gold ),
        (True, Unicorn, Gold ),
        (True, Hero, Gold ),
        (True, Thief, Gold ),
        (True, Cleric, Gold ),
        (True, Mage, Gold ),
        (True, King, Gold ),
        (True, Paladin, Gold ),
        (True, Thief, Gold ),
        (True, Hero, Gold ),
        (True, Unicorn, Gold ),
        (True, Oliphant, Gold )
       ),(
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold ),
          (True, Warrior, Gold )
         ),(
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False)
           ),(
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False)
             ),(
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False)
               ),(
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False)
                 ),(
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet ),
                    (True, Warrior, Scarlet )
                   ),(
                      (True, Oliphant, Scarlet ),
                      (True, Unicorn, Scarlet ),
                      (True, Hero, Scarlet ),
                      (True, Thief, Scarlet ),
                      (True, Cleric, Scarlet ),
                      (True, Mage, Scarlet ),
                      (True, King, Scarlet ),
                      (True, Paladin, Scarlet ),
                      (True, Thief, Scarlet ),
                      (True, Hero, Scarlet ),
                      (True, Unicorn, Scarlet ),
                      (True, Oliphant, Scarlet )
                     )),
      ((
        (Exists => False),
        (Exists => False),
        (True, Basilisk, Gold ),
        (Exists => False),
        (Exists => False),
        (Exists => False),
        (True, Elemental, Gold ),
        (Exists => False),
        (Exists => False),
        (Exists => False),
        (True, Basilisk, Gold ),
        (Exists => False)
       ),(
          (Exists => False),
          (True, Dwarf, Gold ),
          (Exists => False),
          (True, Dwarf, Gold ),
          (Exists => False),
          (True, Dwarf, Gold ),
          (Exists => False),
          (True, Dwarf, Gold ),
          (Exists => False),
          (True, Dwarf, Gold ),
          (Exists => False),
          (True, Dwarf, Gold )
         ),(
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False),
            (Exists => False)
           ),(
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False),
              (Exists => False)
             ),(
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False),
                (Exists => False)
               ),(
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False),
                  (Exists => False)
                 ),(
                    (Exists => False),
                    (True, Dwarf, Scarlet ),
                    (Exists => False),
                    (True, Dwarf, Scarlet ),
                    (Exists => False),
                    (True, Dwarf, Scarlet ),
                    (Exists => False),
                    (True, Dwarf, Scarlet ),
                    (Exists => False),
                    (True, Dwarf, Scarlet ),
                    (Exists => False),
                    (True, Dwarf, Scarlet )
                   ),(
                      (Exists => False),
                      (Exists => False),
                      (True, Basilisk, Scarlet ),
                      (Exists => False),
                      (Exists => False),
                      (Exists => False),
                      (True, Elemental, Scarlet ),
                      (Exists => False),
                      (Exists => False),
                      (Exists => False),
                      (True, Basilisk, Scarlet ),
                      (Exists => False)
                     ))
     );
end Board_Types;

*** drgnchss.adb
with Board_Types; use Board_Types;
with Print_Board;

procedure Drgnchss is
   B: Board := Initial_Board;

begin
   Print_Board (B);
   return;
end Drgnchss;


*** print_board.adb
with Board_Types; use Board_Types;
with Ada.Text_Io; use Ada.Text_IO;

procedure Print_Board (B : Board) is

   function Piece_Char (Bp : Board_Piece) return Character is
   begin
      if Bp.Exists then
         return ('*');
      else
         return ('-');
      end if;
   end Piece_Char;

begin

      for J in Row_Type loop
         for K in Column_Type loop 
            Put (Piece_Char (B (Lower) (J, K)));
         end loop; -- Columns
         New_Line;
      end loop; -- Rows
   
end Print_Board;


-- System Information:
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux dvdeug 2.4.21dvdeug2 #1 Sat Jun 28 22:56:58 PDT 2003 i686
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (ignored: LC_ALL set)

Versions of packages gnat-3.3 depends on:
hi  gcc-3.3                    1:3.3.3-0pre1 The GNU C compiler
hi  gcc-3.3-base               1:3.3.3-0pre1 The GNU Compiler Collection (base 
ii  libc6                      2.3.2.ds1-10  GNU C Library: Shared libraries an

-- no debconf information



Reply via email to