gcc/testsuite/gcc.dg/analyzer/fileno-1.c

#include <stdio.h>

int test_pass_through (FILE *stream)
{
  return fileno (stream);
}