diff options
author | Paolo Bonzini <pbonzini@redhat.com> | 2022-06-22 11:06:27 +0200 |
---|---|---|
committer | Paolo Bonzini <pbonzini@redhat.com> | 2022-07-06 09:31:16 +0200 |
commit | bb52a8a278782f4e0f009d3568e60a9689b64da7 (patch) | |
tree | 941f7fd748e177720e47a74f25bd380c7cee219a /tests/tcg/aarch64 | |
parent | e81785abba296ee6b54b6ae833cac45020b5ba6a (diff) |
tests/tcg: compile system emulation tests as freestanding
System emulation tests do not run in a hosted environment, since they
do not link with libc. They should only use freestanding headers
(float.h, limits.h, stdarg.h, stddef.h, stdbool.h, stdint.h,
stdalign.h, stdnoreturn.h) and should be compiled with -ffreestanding
in order to use the compiler implementation of those headers
rather than the one in libc.
Some tests are using inttypes.h instead of stdint.h, so fix that.
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to 'tests/tcg/aarch64')
-rw-r--r-- | tests/tcg/aarch64/system/pauth-3.c | 2 | ||||
-rw-r--r-- | tests/tcg/aarch64/system/semiconsole.c | 2 | ||||
-rw-r--r-- | tests/tcg/aarch64/system/semiheap.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/tests/tcg/aarch64/system/pauth-3.c b/tests/tcg/aarch64/system/pauth-3.c index 42eff4d5ea..77a467277b 100644 --- a/tests/tcg/aarch64/system/pauth-3.c +++ b/tests/tcg/aarch64/system/pauth-3.c @@ -1,4 +1,4 @@ -#include <inttypes.h> +#include <stdint.h> #include <minilib.h> int main() diff --git a/tests/tcg/aarch64/system/semiconsole.c b/tests/tcg/aarch64/system/semiconsole.c index bfe7c9e26b..81324c639f 100644 --- a/tests/tcg/aarch64/system/semiconsole.c +++ b/tests/tcg/aarch64/system/semiconsole.c @@ -6,7 +6,7 @@ * SPDX-License-Identifier: GPL-2.0-or-later */ -#include <inttypes.h> +#include <stdint.h> #include <minilib.h> #define SYS_READC 0x7 diff --git a/tests/tcg/aarch64/system/semiheap.c b/tests/tcg/aarch64/system/semiheap.c index 4ed258476d..a254bd8982 100644 --- a/tests/tcg/aarch64/system/semiheap.c +++ b/tests/tcg/aarch64/system/semiheap.c @@ -6,7 +6,7 @@ * SPDX-License-Identifier: GPL-2.0-or-later */ -#include <inttypes.h> +#include <stdint.h> #include <stddef.h> #include <minilib.h> |