Page History

/* In another source file */
#include <string.h>
void copy(char *dst, const char *src) {
  if (strcpy(dst, src) == 0) {
    /* Report error */
  }
}
 
/* Copy prototype in scope in this source file  */
void copy(char *dst, const char *src);
 
void g(const char *s) {
  char buf[20];
  copy(buf, s); 
  /* ... */
}

/* In another source file */
void buginf(const char *fmt, ...) {
   /* ... */
}

/* In this source file --, no buginf prototype in scope */
void buginf();
 
void h(void) {
  buginf("bug in function %s, line %d\n", __func__, __LINE__);  /* Violation */
  /* ... */
}

/* In another source file */
 
long f(long x) {
  return x < 0 ? -x : x;
}

/* In this source file, -- no f prototype in scope */
 
int g(int x) {
  return f(x);  /* Violation */
}