Description of problem:
Compilation of Ahven (http://ahven.stronglytyped.org/) dies to assertion failure / internal error.

Version-Release number of selected component (if applicable):
gcc 4.5.1

$ gnatls -v

GNATLS 4.5.1 20100924 (Red Hat 4.5.1-4)
Copyright (C) 1997-2010, Free Software Foundation, Inc.
...
$

How reproducible:
Always.

Steps to Reproduce:
1. hg clone https://bitbucket.org/tkoskine/ahven
2. cd ahven
3. hg update -r 74620051c236
4. make
  
Actual results:
gcc -c -g -gnatf -gnatVa -gnato -gnatwe -gnatwa -gnatwl -gnatE -gnatwF -gnatyd3ibmhex -gnat95 -I- -gnatA /home/tkoskine/work/ahven/src/ahven-parameters.adb
Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
Message: namet.adb:616

gnatmake: INTERNAL ERROR. Please report.
make: *** [build_lib] Error 4


Expected results:
Compilation passes.

Additional info:
On Fedora 13 with gcc 4.4.4 and GNAT GPL 2010 the compilation works as expected. Only on Fedora 14 with gcc 4.5.1 the compilation fails.

The compilation also works on Debian 6.0 with gcc 4.4.5.