projects
/
platform
/
upstream
/
gcc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0964be0
)
[Ada] Use error marker for messages in GNATprove mode
author
Yannick Moy
<moy@adacore.com>
Wed, 6 Jan 2021 10:31:28 +0000
(11:31 +0100)
committer
Pierre-Marie de Rodat
<derodat@adacore.com>
Tue, 4 May 2021 09:17:32 +0000
(
05:17
-0400)
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): Force error marker in
GNATprove mode.
gcc/ada/gnat1drv.adb
patch
|
blob
|
history
diff --git
a/gcc/ada/gnat1drv.adb
b/gcc/ada/gnat1drv.adb
index
3afe801
..
40f9228
100644
(file)
--- a/
gcc/ada/gnat1drv.adb
+++ b/
gcc/ada/gnat1drv.adb
@@
-565,6
+565,10
@@
procedure Gnat1drv is
Tagged_Type_Expansion := False;
+ -- Force the use of "error:" prefix for error messages
+
+ Unique_Error_Tag := True;
+
-- Detect that the runtime library support for floating-point numbers
-- may not be compatible with SPARK analysis of IEEE-754 floats.