+ pragma Assert (Is_Class_Wide_Type (Etype (Entity (Name (N)))));
+
+ -- Report case where we know that the generated code is wrong; that
+ -- is a dispatching constructor call whose controlling type has tasks
+ -- but its root type does not have tasks. In such case the constructor
+ -- subprogram of the root type does not have extra formals but the
+ -- constructor of the derivation must have extra formals.
+
+ if not Global_No_Tasking
+ and then not No_Run_Time_Mode
+ and then Is_Build_In_Place_Function (Entity (Name (N)))
+ and then not Has_Task (Root_Type (Etype (Entity (Name (N)))))
+ and then not Has_Aspect (Root_Type (Etype (Entity (Name (N)))),
+ Aspect_No_Task_Parts)
+ then
+ -- Case 1: Explicit tag reference (which allows static check)
+
+ if Nkind (Tag_Arg) = N_Identifier
+ and then Present (Entity (Tag_Arg))
+ and then Is_Tag (Entity (Tag_Arg))
+ then
+ if Has_Task (Related_Type (Entity (Tag_Arg))) then
+ Error_Msg_N ("unsupported dispatching constructor call", N);
+ Error_Msg_NE
+ ("\work around this problem by defining task component "
+ & "type& using access-to-task-type",
+ N, Related_Type (Entity (Tag_Arg)));
+ end if;
+
+ -- Case 2: Dynamic tag which may fail at run time
+
+ else
+ Error_Msg_N
+ ("unsupported dispatching constructor call if the type "
+ & "of the built object has task components??", N);
+ Error_Msg_N
+ ("\work around this problem by replacing task components "
+ & "with access-to-task-type components??", N);
+ end if;
+ end if;
+