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

void noerrno(void){
  /* errno is never set by noerrno() or any of its callees */
}

int test_ftell_errno(FILE *fp){
    (void) ftell(fp);
    if (errno !=0) {                                 /* ok: last function call was to ftell(), which can set errno */
        return 1;
    }
    return 0;
}

int test_noerrno_errno(void){
    noerrno();
    if (errno != 0) {   /* 'Inappropriate Test of Error Code' warning issued here
                         * - last function call was to noerrno(), which never sets errno
                         */
        return 1;
    }
    return 0;
}

int test_errno_path(FILE *fp, int i){
  if (i > 0){
    (void) ftell(fp);
  }
  else {
     noerrno();
  }
  if (errno != 0){      /* 'Inappropriate Test of Error Code' warning issued here
                         * - on paths where i<=0 the last function call was to noerrno(), which never sets errno
                         */
    return 1;
  }
  return 0;
}