Move "is hidden" attribute of goto functions out of type#5575

Merged

tautschnig merged 2 commits intodiffblue:developfrom

tautschnig:goto_functiont-is_hidden

Nov 13, 2020

Commits on Nov 13, 2020

Revert "Store "is hidden" attribute of goto functions in the symbol table"
tautschnig
committed
Move "is hidden" attribute of goto functions out of type
tautschnig
committed