<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div>I am interested in putting together a tool which can verify that an external declaration conforms with the actual definition.</div>
<div><br>
</div>
<div>A.c:</div>
<div><span class="Apple-tab-span" style="white-space:pre"></span>extern int32_t foo();</div>
<div><span class="Apple-tab-span" style="white-space:pre"></span>Int bar() { return foo(); }</div>
<div><br>
</div>
<div>B.c:</div>
<div><span class="Apple-tab-span" style="white-space:pre"></span>int64_t foo() { … } </div>
<div><br>
</div>
<div>I had thought that I could use the debug information but the debug information in A.o does not include the type of the declaration “foo”, just the type of bar.</div>
<div><br>
</div>
<div>Is there a way to include declarations as well as definitions such as a above? It appears there is a notion of “retained” types, perhaps I add a flag to retain declarations? </div>
<div><br>
</div>
<div>Perhaps a different approach?</div>
<div><br>
</div>
<div>Thanks</div>
<div>—david</div>
<div><br>
</div>
<div><br>
</div>
<div><span class="Apple-tab-span" style="white-space:pre"></span></div>
<br>
</body>
</html>