Fix pointer type#1390

Merged

kroening merged 3 commits intodevelopfrom

fix_pointer_type

Sep 29, 2017

Commits on Sep 26, 2017

preserve location of pointer types
Daniel Kroening
committed
revert bits of a9806c0; the width of these pointers is done during the conversion phase
Daniel Kroening
committed
introduced ID_frontend_pointer
Daniel Kroening
committed