Fixes use of wrong identifier when pretty printing bitfield types#1676

Merged

chrisr-diffblue merged 3 commits intodiffblue:goto-analyzer-developfrom

hannes-steffenhagen-diffblue:goto-analyzer-develop_fix-bitfield

Jan 3, 2018

Commits on Dec 20, 2017

Fixes use of wrong identifier when pretty printing bitfield types
hannes-steffenhagen-diffblue
committed

Commits on Jan 3, 2018

Adds regression test for bitfield naming bug
hannes-steffenhagen-diffblue
committed
Uses alternatives to get_string in type2name when possible
hannes-steffenhagen-diffblue
committed