tests/core/test_zero_multiplication.in


1
2
3
4
5
6
7
8
9
10
11
12

#include <stdio.h>
int main(int argc, char* argv[]) {
  int one = argc;

  printf("%d ", 0 * one);
  printf("%d ", 0 * -one);
  printf("%d ", -one * 0);
  printf("%g ", 0.0 * one);
  printf("%g ", 0.0 * -one);
  printf("%g", -one * 0.0);
  return 0;
}