diff options
Diffstat (limited to 'tools/standalone_miri/module_tree.hpp')
| -rw-r--r-- | tools/standalone_miri/module_tree.hpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tools/standalone_miri/module_tree.hpp b/tools/standalone_miri/module_tree.hpp index dd302367..3489e77e 100644 --- a/tools/standalone_miri/module_tree.hpp +++ b/tools/standalone_miri/module_tree.hpp @@ -17,6 +17,12 @@ struct Function ::HIR::Path my_path; ::std::vector<::HIR::TypeRef> args; ::HIR::TypeRef ret_ty; + + // If `link_name` is non-empty, then the function is an external + struct { + ::std::string link_name; + ::std::string link_abi; + } external; ::MIR::Function m_mir; }; |