use compiler defaults for gcc defines#2217

Merged

kroening merged 4 commits intodevelopfrom

c-preprocessing-cleanout

Jun 4, 2018

Commits on May 31, 2018

enable Travis to do -m32
Daniel Kroening
committed
enable AWS Codebuild to do -m32
Daniel Kroening
committed
remove need to do preprocessing on 16-bit test
Daniel Kroening
committed
use compiler defaults for gcc defines
Daniel Kroening
committed