diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-15 09:10:42 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-03-15 09:10:42 +0000 |
| commit | fc8590044d3442496ec655277aec2b666e2ded03 (patch) | |
| tree | 323b3cf2f1e0e20616283cb0da61e9a49d2e3ce5 /gcc/ada/sem_ch4.adb | |
| parent | ef3d7c7d36c68b73f8fcd94ed14bdf4ec7a2ebb1 (diff) | |
| download | gcc-fc8590044d3442496ec655277aec2b666e2ded03.tar.gz | |
2012-03-15 Robert Dewar <dewar@adacore.com>
* sem_ch4.adb (Analyze_Quantified_Expression): Add comment.
* sem_prag.adb: Minor comment additions.
* sem_attr.adb (Check_First_Last_Valid): Make sure prefix type
is frozen.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@185420 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_ch4.adb')
| -rw-r--r-- | gcc/ada/sem_ch4.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch4.adb b/gcc/ada/sem_ch4.adb index 55674855ab3..5ab5d3fe475 100644 --- a/gcc/ada/sem_ch4.adb +++ b/gcc/ada/sem_ch4.adb @@ -3449,6 +3449,12 @@ package body Sem_Ch4 is -- quantified expression, only a preanalysis of the condition needs -- to be done. + -- This is weird and irregular code for several reasons. First, doing + -- an Analyze with no Resolve is very suspicious, how can this be + -- right for the overloaded case ??? Second, doing two calls to + -- analyze on the same node is peculiar ??? Why can't we use the + -- normal Preanalyze calls here ??? + Expander_Mode_Save_And_Set (False); Analyze (Condition (N)); Expander_Mode_Restore; |