diff --git a/gcc/ada/sem_warn.adb b/gcc/ada/sem_warn.adb
index 7a5414fe879..7fc0804fcf3 100644
--- a/gcc/ada/sem_warn.adb
+++ b/gcc/ada/sem_warn.adb
@@ -3507,16 +3507,26 @@ package body Sem_Warn is
         and then Is_Known_Branch
       then
          declare
+            Start : Source_Ptr;
+            Dummy : Source_Ptr;
+            Typ   : Character;
             Atrue : Boolean;
 
          begin
+            Sloc_Range (Orig, Start, Dummy);
             Atrue := Test_Result;
 
             if Present (Parent (C)) and then Nkind (Parent (C)) = N_Op_Not then
                Atrue := not Atrue;
             end if;
 
-            Set_SCO_Condition (Orig, Atrue);
+            if Atrue then
+               Typ := 't';
+            else
+               Typ := 'f';
+            end if;
+
+            Set_SCO_Condition (Start, Typ);
          end;
       end if;