#include <errno.h>
#include <stdio.h>

void f ( void )
{
  FILE   *fp;
  fpos_t *pos;

  fp = fopen ( "file.txt", "w+" );

  fgetpos ( fp, pos );              /* Non-compliant          */

  if ( 0 == errno )
  {
    fsetpos ( fp, pos );            /* Compliant by exception */

    if ( 0 == errno )
    {
    }
  }

  else
  {
    errno = 0;

    ftell ( fp );                   /* Compliant              */

    if ( 0 == errno )
    {
    }
  }
}