tests/core/test_i64_i16.in


1
2
3
4
5
6
7
8
9
10

#include <stdint.h>
#include <stdio.h>
int main(int argc, char** argv) {
  int y = -133;
  int64_t x = ((int64_t)((short)(y))) * (100 + argc);
  if (x > 0)
    printf(">0\n");
  else
    printf("<=0\n");
}