[gcc(refs/users/aldyh/heads/ranger-staging)] [Ada] Assert failure with -gnatwr
Aldy Hernandez
aldyh@gcc.gnu.org
Wed Aug 19 17:32:53 GMT 2020
https://gcc.gnu.org/g:d15dc6fb72720d3ff499e2da9ba43eceaf4a8b04
commit d15dc6fb72720d3ff499e2da9ba43eceaf4a8b04
Author: Arnaud Charlet <charlet@adacore.com>
Date: Wed Jun 3 12:27:43 2020 -0400
[Ada] Assert failure with -gnatwr
gcc/ada/
* sem_res.adb (Resolve_Type_Conversion): Protect against null
entity. Add proper tag for -gnatwr warning.
Diff:
---
gcc/ada/sem_res.adb | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/gcc/ada/sem_res.adb b/gcc/ada/sem_res.adb
index 8b2f23c6340..f1c01779b91 100644
--- a/gcc/ada/sem_res.adb
+++ b/gcc/ada/sem_res.adb
@@ -11679,6 +11679,7 @@ package body Sem_Res is
-- odd subtype coming from the bounds).
if (Is_Entity_Name (Orig_N)
+ and then Present (Entity (Orig_N))
and then
(Etype (Entity (Orig_N)) = Orig_T
or else
@@ -11733,17 +11734,15 @@ package body Sem_Res is
-- entity, give the name of the entity in the message. If not,
-- just mention the expression.
- -- Shoudn't we test Warn_On_Redundant_Constructs here ???
-
else
if Is_Entity_Name (Orig_N) then
Error_Msg_Node_2 := Orig_T;
Error_Msg_NE -- CODEFIX
- ("??redundant conversion, & is of type &!",
+ ("?r?redundant conversion, & is of type &!",
N, Entity (Orig_N));
else
Error_Msg_NE
- ("??redundant conversion, expression is of type&!",
+ ("?r?redundant conversion, expression is of type&!",
N, Orig_T);
end if;
end if;
More information about the Gcc-cvs
mailing list