gcc/testsuite/gcc.dg/analyzer/torture/conftest-1.c

#include <stdio.h>
int
main ()
{
  FILE *f = fopen ("conftest.out", "w");
  return ferror (f) || fclose (f) != 0;

  ;
  return 0;
}