<div dir="ltr"><div dir="ltr">On Mon, May 13, 2019 at 12:26 AM Viktor Was BSc <<a href="mailto:gs15m015@technikum-wien.at">gs15m015@technikum-wien.at</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div><div dir="auto">Hi Russell. <br></div>
<div dir="auto">Disclaimer: I haven't created IR from scratch nor have I used IRBuilder or Verifier before. <br><br></div>
<div dir="auto">There is a second parameter in verifyFunction which is the output stream it should write error messages to in case errors occur. <br><br></div></div></blockquote><div><br></div><div>Ah, that led to a solution, thanks! Now the verifier reports the specific problem: functions may not have common linkage. When I change it to external linkage, the verifier is happy. </div></div></div>