Changeset 10d65d70 in mainline for boot

Timestamp:

2018-09-29T14:39:54Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

99170e0c

Parents:

dc68f72

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:11:34)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:39:54)

Message:

Use compiler-provided freestanding headers

Standard-compliant C compiler must provide these, so there is no point
in us trying to guess or repeat the correct contents.
This includes <float.h>, <iso646.h>, <limits.h>, <stdalign.h>, <stdarg.h>,
<stdbool.h>, <stddef.h>, <stdint.h>, and <stdnoreturn.h>.

<stdint.h> and <limits.h> need more work.

Location:

boot

Files:

• arch/riscv64/include/arch/asm.h (modified) (1 diff)
• arch/riscv64/include/arch/ucb.h (modified) (1 diff)
• genarch/include/genarch/ofw.h (modified) (1 diff)
• generic/include/balloc.h (modified) (1 diff)
• generic/include/stdarg.h (deleted)
• generic/include/stdbool.h (deleted)
• generic/include/stddef.h (deleted)
• generic/src/inflate.c (modified) (1 diff)
• generic/src/memstr.c (modified) (1 diff)
• generic/src/printf_core.c (modified) (1 diff)
• generic/src/str.c (modified) (1 diff)

boot/arch/riscv64/include/arch/asm.h

@@ -31 +31 @@
 
 #include <stddef.h>
+#include <stdint.h>
 
 extern char htif_page[];
 extern char pt_page[];
 
-extern void jump_to_kernel(uintptr_t)
-    __attribute__((noreturn));
+extern _Noreturn void jump_to_kernel(uintptr_t);
 
 #endif

boot/arch/riscv64/include/arch/ucb.h

@@ -37 +37 @@
 
 #include <stddef.h>
+#include <stdint.h>
 
 extern volatile uint64_t tohost;

boot/genarch/include/genarch/ofw.h

@@ -30 +30 @@
 #define BOOT_OFW_H_
 
+#include <stdarg.h>
 #include <stddef.h>
-#include <stdarg.h>
+#include <stdint.h>
 
 #define MEMMAP_MAX_RECORDS  32

boot/generic/include/balloc.h

@@ -31 +31 @@
 
 #include <stddef.h>
+#include <stdint.h>
 
 typedef struct {

boot/generic/src/inflate.c

@@ -67 +67 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 #include <errno.h>
 #include <memstr.h>

boot/generic/src/memstr.c

@@ -29 +29 @@
 #include <memstr.h>
 #include <stddef.h>
+#include <stdint.h>
 
 /** Move memory block without overlapping.

boot/generic/src/printf_core.c

@@ -39 +39 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 #include <macros.h>
 #include <str.h>

boot/generic/src/str.c

@@ -101 +101 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 #include <str.h>