Fix warnings on test/infcover.c.
1 file changed