test for signature conflict with undeclared function#1363

Merged

kroening merged 2 commits intodevelopfrom

undeclared-return-conflict

Mar 4, 2018

Commits on Mar 2, 2018

test for signature conflict with undeclared function

Daniel Kroening
authored and
tautschnig
committed
Type conflicts on the return value of implicitly declared functions are errors
tautschnig
committed