Fix a problem with functions with the same name crashing the dependency graph.#1674

Merged

martin-cs merged 2 commits intodiffblue:goto-analyzer-developfrom

NlightNFotis:test_pb4_fix

Dec 20, 2017

Commits on Dec 19, 2017

Fix the problem where two static functions with the same name would cause the dependency graph to fail.
NlightNFotis
committed

Commits on Dec 20, 2017

Add a test for the same-named static functions crashing dependence graph in the goto-analyser
NlightNFotis
committed