From af1ed5a0b7aecc893e352abacb80619a660be9e1 Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sat, 22 Jun 2019 20:04:29 +0000
Subject: [PATCH] CC: Make Native::link() virtual.
---
divine/cc/native.hpp | 2 +-
divine/rt/dios-cc.hpp | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/divine/cc/native.hpp b/divine/cc/native.hpp
index 34a7e62f0..79fdc36be 100644
--- a/divine/cc/native.hpp
+++ b/divine/cc/native.hpp
@@ -36,7 +36,7 @@ namespace divine::cc
int compile_files();
void init_ld_args();
- void link();
+ virtual void link();
void preprocess_only();
int run();
virtual std::unique_ptr< llvm::Module > link_bitcode();
diff --git a/divine/rt/dios-cc.hpp b/divine/rt/dios-cc.hpp
index 05618b481..a88efc6bd 100644
--- a/divine/rt/dios-cc.hpp
+++ b/divine/rt/dios-cc.hpp
@@ -38,7 +38,7 @@ struct NativeDiosCC : cc::Native
auto link_dios_native( bool cxx );
std::unique_ptr< llvm::Module > link_bitcode() override;
- void link();
+ void link() override;
bool _cxx;
};
--
GitLab