// RUN: %clang_cc1 -fsyntax-only -verify %s
// RUN: %clang_cc1 -fsyntax-only -fwrapv-pointer -verify=fwrapv %s

// fwrapv-no-diagnostics

int add_ptr_idx_ult_ptr(const char *ptr, unsigned index) {
  return ptr + index < ptr; // expected-warning {{pointer comparison always evaluates to false}}
}

int add_idx_ptr_ult_ptr(const char *ptr, unsigned index) {
  return index + ptr < ptr; // expected-warning {{pointer comparison always evaluates to false}}
}

int ptr_ugt_add_ptr_idx(const char *ptr, unsigned index) {
  return ptr > ptr + index; // expected-warning {{pointer comparison always evaluates to false}}
}

int ptr_ugt_add_idx_ptr(const char *ptr, unsigned index) {
  return ptr > index + ptr; // expected-warning {{pointer comparison always evaluates to false}}
}

int add_ptr_idx_uge_ptr(const char *ptr, unsigned index) {
  return ptr + index >= ptr; // expected-warning {{pointer comparison always evaluates to true}}
}

int add_idx_ptr_uge_ptr(const char *ptr, unsigned index) {
  return index + ptr >= ptr; // expected-warning {{pointer comparison always evaluates to true}}
}

int ptr_ule_add_ptr_idx(const char *ptr, unsigned index) {
  return ptr <= ptr + index; // expected-warning {{pointer comparison always evaluates to true}}
}

int ptr_ule_add_idx_ptr(const char *ptr, unsigned index) {
  return ptr <= index + ptr; // expected-warning {{pointer comparison always evaluates to true}}
}

int add_ptr_idx_ult_ptr_array(unsigned index) {
  char ptr[10];
  return ptr + index < ptr; // expected-warning {{pointer comparison always evaluates to false}}
}

// Negative tests with wrong predicate.

int add_ptr_idx_ule_ptr(const char *ptr, unsigned index) {
  return ptr + index <= ptr;
}

int add_ptr_idx_ugt_ptr(const char *ptr, unsigned index) {
  return ptr + index > ptr;
}

int ptr_uge_add_idx_ptr(const char *ptr, unsigned index) {
  return ptr >= index + ptr;
}

int ptr_ult_add_idx_ptr(const char *ptr, unsigned index) {
  return ptr < index + ptr;
}

// Negative test with signed index.

int add_ptr_idx_ult_ptr_signed(const char *ptr, int index) {
  return ptr + index < ptr;
}

// Negative test with unrelated pointers. 

int add_ptr_idx_ult_ptr2(const char *ptr, const char *ptr2, unsigned index) {
  return ptr + index < ptr2;
}

// Negative test with non-pointer operands.

int add_ptr_idx_ult_ptr_not_pointer(unsigned ptr, unsigned index) {
  return ptr + index < ptr;
}