goto-cc fails to load any goto library created from c++ files

[andreast271]

To reproduce the problem, do:

> echo "int main () { return 0; }" > x.cpp
> goto-cc -c -o x.goto x.cpp
> goto-cc/goto-cc x.goto

Error message:

--- begin invariant violation report ---
Invariant check failed
File link_goto_model.cpp function link_functions line 121
Reason: must have symbol

The problem was introduce a long time ago, by the following commit:

commit 7038c0a56b19550cb0b779eedbf4c1653d08a7fa
Author: Michael Tautschnig <[email protected]>
Date:   Fri Apr 1 00:19:09 2016 +0000

    Macros need to be applied across all functions after linking

[gnakibli]

I have encountered the same issue on Windows. I understand that goto-cc (or in my case goto-cl) can not be used with c++ source files? Is there a work-around?