From 79112aed19bd050f9a3e7f43aecfd9a04f040438 Mon Sep 17 00:00:00 2001 From: Sam Clegg Date: Mon, 19 Jun 2017 11:37:47 -0700 Subject: Clarify function names subsection (#1096) Fixes #1094, #1076 --- BinaryEncoding.md | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'BinaryEncoding.md') diff --git a/BinaryEncoding.md b/BinaryEncoding.md index ae566da..bfbef22 100644 --- a/BinaryEncoding.md +++ b/BinaryEncoding.md @@ -496,6 +496,13 @@ The function names subsection is a `name_map` which assigns names to a subset of the [function index space](Modules.md#function-index-space) (both imports and module-defined). +Each function may be named at most once. Naming a function more than once +results in the section being malformed. + +However, names need not be unique. The same name may be given for multiple +functions. This is common for C++ programs where the multiple compilation units +that comprise a binary can contain local functions with the same name. + #### Local names The local names subsection assigns `name_map`s to a subset of functions in the -- cgit v1.2.3