codeql/cpp/ql/test/library-tests/ir/sign-analysis/test.cpp

template<typename T> T sign(T value);

int f1(int x, int y) {
  if (x < 0) {
    return sign(x); // $ sign=-
  }
  if (x < y) {
    return sign(y); // $ sign=+
  }
  
  return 0;
}

void u(int x) {
  unsigned c = (unsigned)x;
  sign(c); // $ sign=+0
}

void constants() {
  int i_pos = 1234;
  sign(i_pos); // $ sign=+
  int i_neg = -1234;
  sign(i_neg); // $ sign=-
  int i_zero = 0;
  sign(i_zero);  // $ sign=0
  long l_pos = 1234;
  sign(l_pos);  // $ sign=+
  long l_neg = -1234;
  sign(l_neg);  // $ sign=-
  long l_zero = 0;
  sign(l_zero);  // $ sign=0
  long l_pos_big = 0x00000001baadf00d;
  sign(l_pos_big);  // $ sign=+
  float f_pos = 1.234f;
  sign(f_pos);  // $ sign=+
  float f_neg = -1.234f;
  sign(f_neg);  // $ sign=-
  float f_zero = 0.0f;
  sign(f_zero);  // $ sign=0
}

void arithmetic(int y) {
  int x = 0;
  sign(x + 1);  // $ sign=+
  x = -1;
  sign(x);  // $ sign=-
  sign(x + 1);  // $ sign=+-0 // Ideally 0 because it's constant
  if (y < 0) {
    sign(y);  // $ sign=-
    sign(y + 1);  // $ sign=+-0 // Ideally -0 because it's only adding one.
    int z = y;
    sign(++z);  // $ sign=+-0  // Ideally -0 because it's only adding one.
    z = y;
    sign(z++);  // $ sign=-
    sign(z);  // $ sign=+-0  // Ideally -0 because it's only adding one.
  }
}