LLD QOI: Warn if an export name matches a non-exported symbol

[davidchisnall]

Export symbols are of the form _export{compartment name}_{mangled symbol name}. If we fail to resolve one of these, it would be nice to see if any of the input files has a private symbol that matches {mangled symbol name} and provide a diagnostic. This can happen if you have failed to mark a function with the __cher_compartment macro in the definition, but you did in a declaration that was visible to the caller.

[resistor]

Staged here: resistor@7725db0

[resistor]

#78

[davidchisnall]

If you comment out this include: https://github.com/CHERIoT-Platform/book/blob/b2dad56c0246be29d268b0fea28b8e218d12a455/text/examples/compartment_annotation/compartment.cc#L4

I would expect the warning.

[resistor]

If you comment out this include: https://github.com/CHERIoT-Platform/book/blob/b2dad56c0246be29d268b0fea28b8e218d12a455/text/examples/compartment_annotation/compartment.cc#L4

I would expect the warning.

I think I see the issue now. The diagnostic will warn in the case where you have a correctly annotated implementation and an incorrectly annotated caller. You're looking for the inverse case, with an incorrectly annotated implementation and a correctly annotated caller.