Changeset 380


Ignore:
Timestamp:
Jan 8, 2015, 3:29:32 AM (6 years ago)
Author:
Maxim Reznik
Message:

Fix regressions

Enable all validation checks.

Location:
trunk/ada-2012
Files:
6 edited

Legend:

Unmodified
Added
Removed
  • trunk/ada-2012/gnat/gela_build.gpr

    r272 r380  
    11with "matreshka/league";
    22with "gela_grammars";
     3with "gela_common";
    34
    45project Gela_Build is
    56
    6    Build := external ("GELA_BUILD", "../build");
    7 
    8    Default_Ada_Switches :=  ("-gnat12", "-gnatW8", "-g");
    9 
    10    Check_Ada_Switches := Default_Ada_Switches & ("-gnatwea", "-gnaty");
     7   Build := Gela_Common.Build;
     8   Check_Ada_Switches := Gela_Common.Check_Ada_Switches;
    119
    1210   for Source_Dirs use ("../src/api", "../src/context",
  • trunk/ada-2012/gnat/gela_common.gpr

    r213 r380  
    1010     ("-gnat12", "-gnatW8", "-g");
    1111
    12    Check_Ada_Switches := Default_Ada_Switches & ("-gnatwea", "-gnaty");
     12   Check_Ada_Switches := Default_Ada_Switches &
     13     ("-gnatVa", "-gnatwea", "-gnaty");
    1314
    1415   package Compiler is
  • trunk/ada-2012/src/ag/errors.ag

    r367 r380  
    226226Rules for parameter_specification. :
    227227(.
    228       ${parameter_specification.Errors} := ${Initialization_Expression.Errors};
     228      ${parameter_specification.Errors} := ${Initialization_Expression.Errors:0};
    229229      --  ${Object_Declaration_Subtype.Errors};
    230230.)
  • trunk/ada-2012/src/semantic/gela-plain_type_managers.adb

    r346 r380  
    163163      V    : Visiters.Visiter;
    164164   begin
     165      V.Result := 0;
    165166      Node.Visit (V);
    166167
  • trunk/ada-2012/tests/grammars/ts_00021/ts_00021.adb

    r161 r380  
    4343         Ada.Text_IO.Put (Gela.Grammars.LR.State_Count'Image (S));
    4444
    45          if S in 1 .. 9 then
    46             Ada.Text_IO.Put (' ');
    47          end if;
     45         Ada.Text_IO.Put (' ');
    4846      elsif not Is_Empty (R) then
    4947         Ada.Text_IO.Put ("REDUCE");
     
    5250           (Gela.Grammars.Production_Index'Image (Production (R)));
    5351
    54          if Production (R) in 1 .. 9 then
    55             Ada.Text_IO.Put (' ');
    56          end if;
     52         Ada.Text_IO.Put (' ');
    5753      else
    5854         Ada.Text_IO.Put ("Error    ");
  • trunk/ada-2012/tests/grammars/ts_00023/ts_00023.adb

    r161 r380  
    4343         Ada.Text_IO.Put (Gela.Grammars.LR.State_Count'Image (S));
    4444
    45          if S in 1 .. 9 then
    46             Ada.Text_IO.Put (' ');
    47          end if;
     45         Ada.Text_IO.Put (' ');
    4846      elsif not Is_Empty (R) then
    4947         Ada.Text_IO.Put ("REDUCE");
     
    5250           (Gela.Grammars.Production_Index'Image (Production (R)));
    5351
    54          if Production (R) in 1 .. 9 then
    55             Ada.Text_IO.Put (' ');
    56          end if;
     52         Ada.Text_IO.Put (' ');
    5753      else
    5854         Ada.Text_IO.Put ("Error    ");
Note: See TracChangeset for help on using the changeset viewer.