Reason => PE_Accessibility_Check_Failed));
Set_Etype (N, Target_Type);
- Error_Msg_N ("<<accessibility check failure", N);
- Error_Msg_NE ("\<<& [", N, Standard_Program_Error);
+ Error_Msg_N ("accessibility check failure<<", N);
+ Error_Msg_N ("\Program_Error [<<", N);
end Raise_Accessibility_Error;
----------------------
if (TREE_CODE (TYPE_SIZE_UNIT (gnu_alloc_type)) == INTEGER_CST
&& !valid_constant_size_p (TYPE_SIZE_UNIT (gnu_alloc_type)))
- post_error ("??`Storage_Error` will be raised at run time!",
+ post_error ("??Storage_Error will be raised at run time!",
gnat_entity);
gnu_expr
/* If the result is a constant that overflowed, raise Constraint_Error. */
if (TREE_CODE (gnu_result) == INTEGER_CST && TREE_OVERFLOW (gnu_result))
{
- post_error ("??`Constraint_Error` will be raised at run time", gnat_node);
+ post_error ("??Constraint_Error will be raised at run time", gnat_node);
gnu_result
= build1 (NULL_EXPR, gnu_result_type,
build_call_raise (CE_Overflow_Check_Failed, gnat_node,
Error_Msg_Warn := SPARK_Mode /= On;
Error_Msg_N ("cannot return a local value by reference<<", N);
- Error_Msg_NE ("\& [<<", N, Standard_Program_Error);
+ Error_Msg_N ("\Program_Error [<<", N);
end if;
end if;
if Present (Conc_Typ)
and then not Comes_From_Source (Conc_Typ)
then
- Error_Msg_NEL
- ("\& [<<", N, Standard_Constraint_Error, Eloc);
+ Error_Msg ("\& [<<", Eloc, N);
else
if GNATprove_Mode then
- Error_Msg_NEL
- ("\& would have been raised for objects of this "
- & "type", N, Standard_Constraint_Error, Eloc);
+ Error_Msg
+ ("\Constraint_Error would have been raised"
+ & " for objects of this type", Eloc, N);
else
- Error_Msg_NEL
- ("\& will be raised for objects of this type??",
- N, Standard_Constraint_Error, Eloc);
+ Error_Msg
+ ("\Constraint_Error will be raised"
+ & " for objects of this type??", Eloc, N);
end if;
end if;
end;
else
- Error_Msg_NEL ("\& [<<", N, Standard_Constraint_Error, Eloc);
+ Error_Msg ("\Constraint_Error [<<", Eloc, N);
end if;
else
procedure Aggr26 is
type Row is array (Positive) of Integer;
- H : array (Positive) of Row := (others => (others => 0)); -- { dg-warning "\"Storage_Error\" will be raised at run time" }
+ H : array (Positive) of Row := (others => (others => 0)); -- { dg-warning "Storage_Error will be raised at run time" }
begin
null;