From 0f5343eaf219d8901375c1b92e9bdd35bb12947e Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 18 May 2020 17:40:57 +0200 Subject: synth-expr: synth_subtype_conversion: add more assertions. --- src/synth/synth-expr.adb | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index 953c6e0e9..a4dd36ea7 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -822,6 +822,7 @@ package body Synth.Expr is or else Vtype.Kind = Type_Slice); return Vt; when Type_Record => + pragma Assert (Vtype.Kind = Type_Record); -- TODO: handle elements. return Vt; when Type_Unbounded_Record => @@ -829,12 +830,12 @@ package body Synth.Expr is return Vt; when Type_Access => return Vt; - when Type_File => - pragma Assert (Vtype = Dtype); - return Vt; - when Type_Protected => - pragma Assert (Vtype = Dtype); - return Vt; + when Type_File + | Type_Protected => + -- No conversion expected. + -- As the subtype is identical, it is already handled by the + -- above check. + raise Internal_Error; end case; end Synth_Subtype_Conversion; -- cgit v1.2.3