Skip to content

cbmc 5.7 musketeer build failure with glpk #778

Closed
@jamesjer

Description

@jamesjer

On a Fedora 26 (prerelease) x86_64 machine with gcc 7.0.1:

fence_inserter.cpp: In member function 'void fence_insertert::mip_fill_matrix(ilpt&, unsigned int&, unsigned int, unsigned int)':
fence_inserter.cpp:499:68: error: no matching function for call to 'const_graph_visitort::PT(event_grapht::critical_cyclet::delayt&, std::set&)'
const_graph_visitor.PT(map_to_e.find(*e_c_it)->second, pt_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:29:8: note: candidate: void const_graph_visitort::PT(const edget&, std::set&)
void PT(const edget &e, std::set &edges);
^~
graph_visitor.h:29:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'
fence_inserter.cpp:543:69: error: no matching function for call to 'const_graph_visitort::PT(event_grapht::critical_cyclet::delayt&, std::set&)'
const_graph_visitor.PT(map_to_e.find(*e_nc_it)->second, pt_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:29:8: note: candidate: void const_graph_visitort::PT(const edget&, std::set&)
void PT(const edget &e, std::set &edges);
^~
graph_visitor.h:29:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'
fence_inserter.cpp:587:69: error: no matching function for call to 'const_graph_visitort::PT(event_grapht::critical_cyclet::delayt&, std::set&)'
const_graph_visitor.PT(map_to_e.find(*e_nc_it)->second, pt_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:29:8: note: candidate: void const_graph_visitort::PT(const edget&, std::set&)
void PT(const edget &e, std::set &edges);
^~
graph_visitor.h:29:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'
fence_inserter.cpp:654:69: error: no matching function for call to 'const_graph_visitort::PT(event_grapht::critical_cyclet::delayt&, std::set&)'
const_graph_visitor.PT(map_to_e.find(*e_nc_it)->second, pt_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:29:8: note: candidate: void const_graph_visitort::PT(const edget&, std::set&)
void PT(const edget &e, std::set &edges);
^~
graph_visitor.h:29:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'
fence_inserter.cpp:729:17: error: no matching function for call to 'const_graph_visitort::CT(event_grapht::critical_cyclet::delayt&, std::set&)'
ct_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:30:8: note: candidate: void const_graph_visitort::CT(const edget&, std::set&)
void CT(const edget &e, std::set &edges);
^~
graph_visitor.h:30:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'
fence_inserter.cpp:733:44: error: no matching function for call to 'const_graph_visitort::CT_not_powr(event_grapht::critical_cyclet::delayt&, std::set&)'
*e_c_it)->second, ct_not_powr_set);
^
In file included from fence_inserter.h:21:0,
from fence_inserter.cpp:19:
graph_visitor.h:31:8: note: candidate: void const_graph_visitort::CT_not_powr(const edget&, std::set&)
void CT_not_powr(const edget &e, std::set &edges);
^~~~~~~~~~~
graph_visitor.h:31:8: note: no known conversion for argument 2 from 'std::set' to 'std::set&'

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions