Fixed a bug in all caps functions without function bodies#408

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

thk123:bug/lint-crash-on-non-standard-functionthk123/cbmc:bug/lint-crash-on-non-standard-functionCopy head branch name to clipboard