sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching constraint expres...
authorSamuel Tardieu <sam@gcc.gnu.org>
Mon, 12 May 2008 20:34:31 +0000 (20:34 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Mon, 12 May 2008 20:34:31 +0000 (20:34 +0000)
commitea0a7f390a26152d2a7986e78fdf476cabc6630e
treebca3e051348964537c82c2b16cc149370071262d
parentfcc9fe1e6a3ce2e0af318fc3988456673dfa0239
sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching constraint expressions.

    gcc/ada/
* sem_ch3.adb (Build_Derived_Record_Type): Accept statically matching
constraint expressions.

    gcc/testsuite/
* gnat.dg/specs/statically_matching.ads: New.

From-SVN: r135230
gcc/ada/ChangeLog
gcc/ada/sem_ch3.adb
gcc/testsuite/ChangeLog
gcc/testsuite/gnat.dg/statically_matching.ads [new file with mode: 0644]