summaryrefslogtreecommitdiff
path: root/gcc/ada/comperr.ads
diff options
context:
space:
mode:
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2007-04-06 09:41:46 +0000
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>2007-04-06 09:41:46 +0000
commitd92885db43bc83b3ab33ade861813c88e0d786ca (patch)
treec6f6dd10e9c3e6978354a61ce48fdb5c9e6a3be9 /gcc/ada/comperr.ads
parent887413106eb05d49c4a5155cc529c021a3f93145 (diff)
downloadgcc-d92885db43bc83b3ab33ade861813c88e0d786ca.tar.gz
2007-04-06 Arnaud Charlet <charlet@adacore.com>
Eric Botcazou <botcazou@adacore.com> * gnatvsn.ads, comperr.adb (Get_Gnat_build_Type): Renamed Build_Type and made constant. * comperr.ads, comperr.adb (Compiler_Abort): Add third parameter Fallback_Loc. Use it as the sloc info when Current_Error_Node doesn't carry any. * fe.h (Compiler_Abort): Add third parameter. * misc.c (internal_error_function): Build third argument from current input location and pass it to Compiler_Abort. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123610 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/comperr.ads')
-rw-r--r--gcc/ada/comperr.ads32
1 files changed, 18 insertions, 14 deletions
diff --git a/gcc/ada/comperr.ads b/gcc/ada/comperr.ads
index b41cc9ad4a5..04917f2ffef 100644
--- a/gcc/ada/comperr.ads
+++ b/gcc/ada/comperr.ads
@@ -6,7 +6,7 @@
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2003 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
@@ -31,14 +31,18 @@
package Comperr is
procedure Compiler_Abort
- (X : String;
- Code : Integer := 0);
- -- Signals an internal compiler error. Never returns control. Depending
- -- on processing may end up raising Unrecoverable_Error, or exiting
- -- directly. The message output is a "bug box" containing the
- -- string passed as an argument. The node in Current_Error_Node is used
- -- to provide the location where the error should be signalled. The
- -- message includes the node id, and the code parameter if it is positive.
+ (X : String;
+ Code : Integer := 0;
+ Fallback_Loc : String := "");
+ -- Signals an internal compiler error. Never returns control. Depending on
+ -- processing may end up raising Unrecoverable_Error, or exiting directly.
+ -- The message output is a "bug box" containing the first string passed as
+ -- an argument. The Sloc field of the node in Current_Error_Node is used to
+ -- provide the location where the error should be signalled. If this Sloc
+ -- value is set to No_Location or any of the other special location values,
+ -- then the Fallback_Loc argument string is used instead. The message text
+ -- includes the node id, and the code parameter if it is positive.
+ --
-- Note that this is only used at the outer level (to handle constraint
-- errors or assert errors etc.) In the normal logic of the compiler we
-- always use pragma Assert to check for errors, and if necessary an
@@ -64,10 +68,10 @@ package Comperr is
-- Most typically this file, if present, will be in the directory
-- containing the run-time sources.
- -- If this file is present, then it is a plain ASCII file, whose
- -- contents replace the remaining text. The lines in this file should be
- -- 72 characters or less to avoid misformatting the right boundary of the
- -- box. Note that the file does not contain the vertical bar characters or
- -- any leading spaces in lines.
+ -- If this file is present, then it is a plain ASCII file, whose contents
+ -- replace the remaining text. The lines in this file should be seventy-two
+ -- characters or less to avoid misformatting the right boundary of the box.
+ -- Note that the file does not contain the vertical bar characters or any
+ -- leading spaces in lines.
end Comperr;