test/monniaux/send_through/send_through_gcc.c


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

#include <stdio.h>
#include "send_through.h"

double sum_int_double(int x, double y) {
  return x + y;
}

int main() {
  double x = send_through(sum_int_double, 2, 3, 4.5);
  printf("x[gcc] = %f\n", x);
  print_from_ccomp(x);
}