Re: [patch] Use precision and sign to compare types for ranges

[Eric Botcazou]

> Just as a heads up ...
> 
> This regresses ACATs  C35507N on at least all X86 Darwin I’ve tried.
> Both 32 and 64Bit hosts fail (not had the chance to test on power darwin
> yet, because that’s got bootstrap issues).

I have attached a reproducer, compile it with

  gnatmake p -O2

and

  gnatmake p -O2 -fno-tree-vrp

to see the regression.

-- 
Eric Botcazou
with Text_IO; use Text_IO;

procedure P is

  type Enum is (A, B);
  for Enum use (A => 4, B => 5);
  Pos : Natural := 0;

begin
  for E in Enum loop
    IF Enum'Pos (E) /= Pos THEN
      Put_Line ("There is something wrong");
    end if;
    Pos := Pos + 1;
  end loop;
end;