llvm dev - Dec 2016 - cross-checking external declarations / debug info for declarations

I am interested in putting together a tool which can verify that an external
declaration conforms with the actual definition.

A.c:
extern int32_t foo();
Int bar() { return foo(); }

B.c:
int64_t foo() {  ... }

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.

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?

Perhaps a different approach?

Thanks
-david



-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20161208/ae2ade01/attachment.html>