[Bug ada/26306] New: Use of volatile array with bounds determined at run time.

["ben dot midgley at ultra-datel dot com" <gcc-bugzilla at gcc dot gnu dot org>]

I have included the configure, and build command below. 

This seems really easy to reproduce, 
create and array of integer values (I am unsure if integer is significant)  
the upper bound of which is determined by a function call
declare the array as volatile

+===========================GNAT BUG DETECTED==============================+
| 4.0.2 (i686-pc-cygwin) in tree_low_cst, at tree.c:3850                   |
| Error detected at mfd_transmitter.2.ada:540:9                            |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| (concatenated together with no headers between files).                   |
+==========================================================================+ 

This error can be avoided by using a fixed size array or removing the volatile
from the array. 


gcc -c -g -fstack-check -gnata -gnato -gnatE -gnatf -I- -gnatA -x ada
project_top.adb

$ gcc -v
Using built-in specs.
Target: i686-pc-cygwin
Configured with: ../gcc-4.0.2/configure --enable-languages=ada
--disable-win32-registry
Thread model: single
gcc version 4.0.2


-- 
           Summary: Use of volatile array with bounds determined at run
                    time.
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ben dot midgley at ultra-datel dot com
 GCC build triplet: included in description
  GCC host triplet: included in description
GCC target triplet: included in description


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26306