u64 from C lost high part

[kbkpbot]

OS: linux, Ubuntu 22.04 LTS (WSL 2)
Processor: 4 cpus, 64bit, little endian, Intel(R) Core(TM) i7-6500U CPU @ 2.50GHz
CC version: cc (Ubuntu 11.2.0-19ubuntu1) 11.2.0

getwd: /home/lastgod/test/v
vmodules: /home/lastgod/.vmodules
vroot: /home/lastgod/github/lang/v
vexe: /home/lastgod/github/lang/v/v
vexe mtime: 2022-06-19 00:09:12
is vroot writable: true
is vmodules writable: true
V full version: V 0.2.4 e031096

Git version: git version 2.34.1
Git vroot status: weekly.2022.24-27-ge0310964
.git/config present: true
thirdparty/tcc status: thirdparty-linux-amd64 827f7452

What did you do?
Call C function which return unsigned long long, will return a signed extend 64 bit value

bug_u64.c

unsigned long long BugReturnU64()
{
	return 0xA5A5A5A5A5A5A5A5;
}

bug.v

#flag @VMODROOT/bug_u64.o

fn C.BugReturnU64() u64

fn main() {
	bugval := C.BugReturnU64()
	println('bugval = ${bugval : 016X}')
}

What did you expect to see?

bugval = A5A5A5A5A5A5A5A5

What did you see instead?

bugval = FFFFFFFFA5A5A5A5

[kbkpbot]

It seems missing translation in the generated C file, as declared in v file

fn C.BugReturnU64() u64

By insert a statement in the generated C file,

extern u64 BugReturnU64();

The bug can be workaround.

Another method:

1. make a include file named "bug_u64.h"

unsigned long long BugReturnU64();

2. then fix the v file:

#flag @VMODROOT/bug_u64.o
#include "bug_u64.h"

fn C.BugReturnU64() u64

fn main() {
	bugval := C.BugReturnU64()
	println('bugval = ${bugval : 016X}')
}

I suggest do not suppress the gcc/tcc generated warning message, it can help locate bugs.

[tankf33der]

confirmed.

[kbkpbot]

I suggest adding -Werror=implicit-function-declaration to compile flags.