c - TCC は double を返す関数を呼び出します

Question

doubleTCCのlibtccでaを返す関数を正常に呼び出した人はいますか?

doubleコードでa を返す関数を定義し、tcc_add_symbolそれを libtcc に追加しました。tcc スクリプトでこの関数を呼び出して戻り値を取得したとき、値は0.000でした。これは私が期待していたものではありませんでした。

コード：

#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include "libtcc.h"

double get_double()
{
return 80.333;
}

int get_int()
{
return 333;
}

char my_program[] =
"int foo()\n"
"{\n"
"    printf(\"Hello World!\\n\");\n"
"    printf(\"double: %.4f\\n\", get_double()); \n"
"    printf(\"int: %d\\n\", get_int()); \n"
"    return 0;\n"
"}\n";

int main(int argc, char **argv)
{
TCCState *s;
typedef int (*func_type)();
func_type func;

s = tcc_new();
if (!s) {
    fprintf(stderr, "Could not create tcc state\n");
    exit(1);
}

tcc_set_lib_path(s, "TCC");

tcc_set_output_type(s, TCC_OUTPUT_MEMORY);

if (tcc_compile_string(s, my_program) == -1)
    return 1;
tcc_add_symbol(s, "get_double", get_double);
tcc_add_symbol(s, "get_int", get_int);

if (tcc_relocate(s, TCC_RELOCATE_AUTO) < 0)
    return 1;

func = (func_type)tcc_get_symbol(s, "foo");
if (!func)
    return 1;

func();
tcc_delete(s);
getchar();
return 0;
}

コードを実行した結果:

Hello World!

double: 0.0000

int: 333

関数が0.0000をget_double()返すのに成功するのはなぜですか?get_int()