Skip to content

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

Closed
@andreast271

Description

@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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions