From 16397eff06ff427844ae00e28a448a2694cbec65 Mon Sep 17 00:00:00 2001 From: Thomas Quinot Date: Mon, 4 Jul 2005 15:30:10 +0200 Subject: [PATCH] sem_res.adb (Resolve_Actuals): Do not resolve the expression of an actual that is a view conversion of a bit... 2005-07-04 Thomas Quinot * sem_res.adb (Resolve_Actuals): Do not resolve the expression of an actual that is a view conversion of a bit packed array reference. From-SVN: r101590 --- gcc/ada/sem_res.adb | 20 ++++++++++++-------- 1 file changed, 12 insertions(+), 8 deletions(-) diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb index 25be7c94376..c8cbcf2379f 100644 --- a/gcc/ada/sem_res.adb +++ b/gcc/ada/sem_res.adb @@ -2582,12 +2582,15 @@ package body Sem_Res is -- If the formal is Out or In_Out, do not resolve and expand the -- conversion, because it is subsequently expanded into explicit -- temporaries and assignments. However, the object of the - -- conversion can be resolved. An exception is the case of - -- a tagged type conversion with a class-wide actual. In that - -- case we want the tag check to occur and no temporary will - -- will be needed (no representation change can occur) and - -- the parameter is passed by reference, so we go ahead and - -- resolve the type conversion. + -- conversion can be resolved. An exception is the case of a + -- tagged type conversion with a class-wide actual. In that case + -- we want the tag check to occur and no temporary will be needed + -- (no representation change can occur) and the parameter is + -- passed by reference, so we go ahead and resolve the type + -- conversion. Another excpetion is the case of reference to a + -- component or subcomponent of a bit-packed array, in which case + -- we want to defer expansion to the point the in and out + -- assignments are performed. if Ekind (F) /= E_In_Parameter and then Nkind (A) = N_Type_Conversion @@ -2628,8 +2631,9 @@ package body Sem_Res is end if; end if; - if Conversion_OK (A) - or else Valid_Conversion (A, Etype (A), Expression (A)) + if (Conversion_OK (A) + or else Valid_Conversion (A, Etype (A), Expression (A))) + and then not Is_Ref_To_Bit_Packed_Array (Expression (A)) then Resolve (Expression (A)); end if; -- 2.30.2