// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_CORRECT
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_1
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_2
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_3
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_4
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_5
// RUN: %clang_analyze_cc1 -analyzer-checker=core,unix -verify %s -DTEST_GETLINE_GH144884

// emulator of "system-header-simulator.h" because of redefinition of 'getline' function
typedef struct _FILE FILE;
typedef __typeof(sizeof(int)) size_t;
typedef long ssize_t;
#define NULL 0

int fclose(FILE *fp);
FILE *tmpfile(void);

#ifdef TEST_CORRECT
ssize_t getline(char **lineptr, size_t *n, FILE *stream);
ssize_t getdelim(char **lineptr, size_t *n, int delimiter, FILE *stream);

void test_correct() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getline(&buffer, NULL, F1); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}

void test_delim_correct() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getdelim(&buffer, NULL, ',', F1); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_1
// expected-no-diagnostics
ssize_t getline(int lineptr);

void test() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  int buffer = 0;
  getline(buffer);
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_2
ssize_t getline(char **lineptr, size_t *n);

void test() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getline(&buffer, NULL); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_3
// expected-no-diagnostics
ssize_t getline(char **lineptr, size_t n, FILE *stream);

void test() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getline(&buffer, 0, F1);
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_4
ssize_t getline(char **lineptr, size_t *n, int stream);
ssize_t getdelim(char **lineptr, size_t *n, int delimiter, int stream);

void test() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getline(&buffer, NULL, 1); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}

void test_delim() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getdelim(&buffer, NULL, ',', 1); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_5
ssize_t getdelim(char **lineptr, size_t *n, const char* delimiter, FILE *stream);

void test_delim() {
  FILE *F1 = tmpfile();
  if (!F1)
    return;
  char *buffer = NULL;
  getdelim(&buffer, NULL, ",", F1); // expected-warning {{Size pointer might be NULL}}
  fclose(F1);
}
#endif

#ifdef TEST_GETLINE_GH144884
// expected-no-diagnostics
struct AW_string {};
void getline(int *, struct AW_string);
void top() {
  struct AW_string line;
  int getline_file_info;
  getline(&getline_file_info, line);
}
#endif