C front-end: Record extern declarations in current scope#1868

Merged

kroening merged 2 commits intodiffblue:developfrom

tautschnig:fix-1867

Jun 1, 2018

Commits on May 21, 2018

C front-end: Record extern declarations in current scope
tautschnig
committed
Avoid extern/parameter name collisions in show-goto-functions/dump-c output
tautschnig
committed