Message ID | 20170425082959.GA75862@adacore.com |
---|---|
State | New |
Headers | show |
Index: sem_res.adb =================================================================== --- sem_res.adb (revision 247135) +++ sem_res.adb (working copy) @@ -5353,6 +5353,16 @@ Resolve (Op2, T2); end; + -- A universal real conditional expression can appear in a fixed-type + -- context and must be resolved with that context to facilitate the + -- code generation to the backend. + + elsif Nkind_In (N, N_Case_Expression, N_If_Expression) + and then Etype (N) = Universal_Real + and then Is_Fixed_Point_Type (B_Typ) + then + Resolve (N, B_Typ); + else Resolve (N); end if;