Re: SRA and inconsistencies in bit-field types

[Eric Botcazou <ebotcazou at adacore dot com>]

> Aha, it fails to initialize properly.
>
>    widechr.adb
> **** Failed to compile widechr

Rather annoying.  What's the error and what bootstrap compiler do you use?

> Or, even better, could you perhaps provide me with a testcase and
> instructions to trigger the problem on a uninstalled toolchain?

Attached.  In the build directory: gcc/xgcc -Bgcc -O -S p.adb -Igcc/ada/rts 

+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070216 (experimental) (i586-suse-linux-gnu) GCC error:           |
| in sra_build_assignment, at tree-sra.c:1733                              |
| Error detected at p.adb:11:4              

-- 
Eric Botcazou

procedure P is

  subtype Int is Integer range 1 .. 5;
  type Array_Type is array (Int range <>) of Integer;
  type Acc_Arr_1 is access Array_Type;
  subtype Acc_Arr_2 is Acc_Arr_1 (1 .. 2);
  A : Acc_Arr_2;

begin
  A := new Array_Type'(1, 2);
end;