Changeset 10d65d70 in mainline

Timestamp:

2018-09-29T14:39:54Z (6 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.

Files:

• abi/include/abi/bool.h (deleted)
• abi/include/abi/sysinfo.h (modified) (1 diff)
• boot/arch/riscv64/include/arch/asm.h (modified) (1 diff)
• boot/arch/riscv64/include/arch/ucb.h (modified) (1 diff)
• boot/genarch/include/genarch/ofw.h (modified) (1 diff)
• boot/generic/include/balloc.h (modified) (1 diff)
• boot/generic/include/stdarg.h (deleted)
• boot/generic/include/stdbool.h (deleted)
• boot/generic/include/stddef.h (deleted)
• boot/generic/src/inflate.c (modified) (1 diff)
• boot/generic/src/memstr.c (modified) (1 diff)
• boot/generic/src/printf_core.c (modified) (1 diff)
• boot/generic/src/str.c (modified) (1 diff)
• kernel/arch/riscv64/include/arch/mm/km.h (modified) (1 diff)
• kernel/generic/include/stdarg.h (deleted)
• kernel/generic/include/stdbool.h (deleted)
• kernel/generic/include/stddef.h (deleted)
• kernel/generic/src/cap/cap.c (modified) (1 diff)
• kernel/test/print/print2.c (modified) (1 diff)
• kernel/test/print/print4.c (modified) (1 diff)
• uspace/lib/c/include/float.h (deleted)
• uspace/lib/c/include/iso646.h (deleted)
• uspace/lib/c/include/stdarg.h (deleted)
• uspace/lib/c/include/stdbool.h (deleted)
• uspace/lib/c/include/stddef.h (deleted)
• uspace/lib/cpp/include/cstdlib (modified) (1 diff)
• uspace/lib/math/test/rounding.c (modified) (3 diffs)
• uspace/lib/posix/include/posix/float.h (deleted)

abi/include/abi/sysinfo.h

@@ -37 +37 @@
 #define ABI_SYSINFO_H_
 
-#include <abi/bool.h>
+#include <stdbool.h>
 #include <abi/proc/task.h>
 #include <abi/proc/thread.h>

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>
 

kernel/arch/riscv64/include/arch/mm/km.h

@@ -38 +38 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 
 #define KM_RISCV64_IDENTITY_START      UINT64_C(0xffff800000000000)

kernel/generic/src/cap/cap.c

@@ -81 +81 @@
 #include <adt/list.h>
 
+#include <limits.h>
 #include <stdint.h>
 

kernel/test/print/print2.c

@@ -30 +30 @@
 #include <stddef.h>
 #include <test.h>
+#include <typedefs.h>
 
 const char *test_print2(void)

kernel/test/print/print4.c

@@ -30 +30 @@
 #include <stddef.h>
 #include <test.h>
+#include <typedefs.h>
 
 const char *test_print4(void)

uspace/lib/cpp/include/cstdlib

@@ -36 +36 @@
     extern "C" {
         #include <stdlib.h>
+        #include <_bits/ssize_t.h>
     }
 }

uspace/lib/math/test/rounding.c

@@ -30 +30 @@
 #include <math.h>
 #include <inttypes.h>
+#include <float.h>
 
 PCUT_INIT;
@@ -278 +279 @@
 
         0.0,
-        FLT_DENORM_MIN,    /* smallest denormal > 0 */
+        FLT_TRUE_MIN,    /* smallest denormal > 0 */
         FLT_MIN,         /* smallest normal > 0 */
         0.5 - (FLT_EPSILON / 4.),
@@ -378 +379 @@
 
         -0.0,
-        -FLT_DENORM_MIN,    /* smallest denormal > 0 */
+        -FLT_TRUE_MIN,    /* smallest denormal > 0 */
         -FLT_MIN,         /* smallest normal > 0 */
         -(0.5 - (FLT_EPSILON / 4.)),