summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/vhdl/sem_expr.adb1
-rw-r--r--src/vhdl/sem_names.adb1
2 files changed, 2 insertions, 0 deletions
diff --git a/src/vhdl/sem_expr.adb b/src/vhdl/sem_expr.adb
index 8a7239a..474980c 100644
--- a/src/vhdl/sem_expr.adb
+++ b/src/vhdl/sem_expr.adb
@@ -1588,6 +1588,7 @@ package body Sem_Expr is
-- If there are two functions, one primitive of a universal
-- type and the other not, return the primitive of the universal type.
-- This implements implicit type conversions rules.
+ -- Cf Sem_Names.Extract_Call_Without_Implicit_Conversion
function Get_Non_Implicit_Subprogram (List : Iir_List) return Iir
is
El : Iir;
diff --git a/src/vhdl/sem_names.adb b/src/vhdl/sem_names.adb
index 5f3854a..4ab2390 100644
--- a/src/vhdl/sem_names.adb
+++ b/src/vhdl/sem_names.adb
@@ -181,6 +181,7 @@ package body Sem_Names is
-- conversion. Return Null_Iir if there is no function call, or if there
-- is an expressions that isn't a function call, or if there is more than
-- one function call without implicit conversion.
+ -- Cf Sem_Expr.Get_Non_Implicit_Subprogram
function Extract_Call_Without_Implicit_Conversion (Res : Iir) return Iir
is
pragma Assert (Is_Overload_List (Res));