Skip to content
Snippets Groups Projects
Commit 8890182d authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Libc] remove empty headers

parent e29a349e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 364 deletions
Makefile
+ 1
− 3
View file @ 8890182d
...@@ -188,7 +188,7 @@ THEME_ICONS_FLAT:= \ ...@@ -188,7 +188,7 @@ THEME_ICONS_FLAT:= \
$(addprefix share/theme/flat/,$(THEME_ICON_NAMES)) $(addprefix share/theme/flat/,$(THEME_ICON_NAMES))
ROOT_LIBC_DIR:= share/libc ROOT_LIBC_DIR:= share/libc
LIBC_SUBDIRS:= sys netinet linux net arpa LIBC_SUBDIRS:= sys netinet net arpa
LIBC_DIR:= $(ROOT_LIBC_DIR) $(addprefix $(ROOT_LIBC_DIR)/,$(LIBC_SUBDIRS)) LIBC_DIR:= $(ROOT_LIBC_DIR) $(addprefix $(ROOT_LIBC_DIR)/,$(LIBC_SUBDIRS))
LIBC_FILES:= \ LIBC_FILES:= \
$(wildcard share/*.h share/*.c) \ $(wildcard share/*.h share/*.c) \
...@@ -1874,7 +1874,6 @@ install:: install-lib ...@@ -1874,7 +1874,6 @@ install:: install-lib
$(MKDIR) $(FRAMAC_DATADIR)/theme/flat $(MKDIR) $(FRAMAC_DATADIR)/theme/flat
$(MKDIR) $(FRAMAC_DATADIR)/libc/sys $(MKDIR) $(FRAMAC_DATADIR)/libc/sys
$(MKDIR) $(FRAMAC_DATADIR)/libc/netinet $(MKDIR) $(FRAMAC_DATADIR)/libc/netinet
$(MKDIR) $(FRAMAC_DATADIR)/libc/linux
$(MKDIR) $(FRAMAC_DATADIR)/libc/net $(MKDIR) $(FRAMAC_DATADIR)/libc/net
$(MKDIR) $(FRAMAC_DATADIR)/libc/arpa $(MKDIR) $(FRAMAC_DATADIR)/libc/arpa
$(PRINT_INSTALL) shared files $(PRINT_INSTALL) shared files
...@@ -1917,7 +1916,6 @@ install:: install-lib ...@@ -1917,7 +1916,6 @@ install:: install-lib
$(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa $(CP) share/libc/arpa/*.[ch] $(FRAMAC_DATADIR)/libc/arpa
$(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net $(CP) share/libc/net/*.[ch] $(FRAMAC_DATADIR)/libc/net
$(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet $(CP) share/libc/netinet/*.[ch] $(FRAMAC_DATADIR)/libc/netinet
$(CP) share/libc/linux/*.[ch] $(FRAMAC_DATADIR)/libc/linux
$(PRINT_INSTALL) binaries $(PRINT_INSTALL) binaries
$(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE) $(CP) bin/toplevel.$(OCAMLBEST) $(BINDIR)/frama-c$(EXE)
$(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE) $(CP) bin/toplevel.byte$(EXE) $(BINDIR)/frama-c.byte$(EXE)
......
headers/header_spec.txt
+ 1
− 13
View file @ 8890182d
...@@ -224,13 +224,7 @@ share/libc/inttypes.c: CEA_LGPL ...@@ -224,13 +224,7 @@ share/libc/inttypes.c: CEA_LGPL
share/libc/inttypes.h: CEA_LGPL share/libc/inttypes.h: CEA_LGPL
share/libc/iso646.h: CEA_LGPL share/libc/iso646.h: CEA_LGPL
share/libc/libgen.h: CEA_LGPL share/libc/libgen.h: CEA_LGPL
share/libc/libintl.h: CEA_LGPL
share/libc/limits.h: CEA_LGPL share/libc/limits.h: CEA_LGPL
share/libc/linux/fs.h: CEA_LGPL
share/libc/linux/if_addr.h: CEA_LGPL
share/libc/linux/if_netlink.h: CEA_LGPL
share/libc/linux/netlink.h: CEA_LGPL
share/libc/linux/rtnetlink.h: CEA_LGPL
share/libc/locale.c: CEA_LGPL share/libc/locale.c: CEA_LGPL
share/libc/locale.h: CEA_LGPL share/libc/locale.h: CEA_LGPL
share/libc/malloc.h: CEA_LGPL share/libc/malloc.h: CEA_LGPL
...@@ -243,9 +237,6 @@ share/libc/net/if.h: CEA_LGPL ...@@ -243,9 +237,6 @@ share/libc/net/if.h: CEA_LGPL
share/libc/netdb.c: CEA_LGPL share/libc/netdb.c: CEA_LGPL
share/libc/netdb.h: CEA_LGPL share/libc/netdb.h: CEA_LGPL
share/libc/netinet/in.h: CEA_LGPL share/libc/netinet/in.h: CEA_LGPL
share/libc/netinet/in_systm.h: CEA_LGPL
share/libc/netinet/ip.h: CEA_LGPL
share/libc/netinet/ip_icmp.h: CEA_LGPL
share/libc/netinet/tcp.h: CEA_LGPL share/libc/netinet/tcp.h: CEA_LGPL
share/libc/nl_types.h: CEA_LGPL share/libc/nl_types.h: CEA_LGPL
share/libc/poll.h: CEA_LGPL share/libc/poll.h: CEA_LGPL
...@@ -273,7 +264,6 @@ share/libc/sys/file.h: CEA_LGPL ...@@ -273,7 +264,6 @@ share/libc/sys/file.h: CEA_LGPL
share/libc/sys/ioctl.h: CEA_LGPL share/libc/sys/ioctl.h: CEA_LGPL
share/libc/sys/ipc.h: CEA_LGPL share/libc/sys/ipc.h: CEA_LGPL
share/libc/sys/mman.h: CEA_LGPL share/libc/sys/mman.h: CEA_LGPL
share/libc/sys/param.h: CEA_LGPL
share/libc/sys/random.h: CEA_LGPL share/libc/sys/random.h: CEA_LGPL
share/libc/sys/resource.h: CEA_LGPL share/libc/sys/resource.h: CEA_LGPL
share/libc/sys/select.h: CEA_LGPL share/libc/sys/select.h: CEA_LGPL
...@@ -281,7 +271,6 @@ share/libc/sys/shm.h: CEA_LGPL ...@@ -281,7 +271,6 @@ share/libc/sys/shm.h: CEA_LGPL
share/libc/sys/signal.h: CEA_LGPL share/libc/sys/signal.h: CEA_LGPL
share/libc/sys/socket.h: CEA_LGPL share/libc/sys/socket.h: CEA_LGPL
share/libc/sys/stat.h: CEA_LGPL share/libc/sys/stat.h: CEA_LGPL
share/libc/sys/sysctl.h: CEA_LGPL
share/libc/sys/time.h: CEA_LGPL share/libc/sys/time.h: CEA_LGPL
share/libc/sys/times.h: CEA_LGPL share/libc/sys/times.h: CEA_LGPL
share/libc/sys/timex.h: CEA_LGPL share/libc/sys/timex.h: CEA_LGPL
...@@ -293,9 +282,8 @@ share/libc/sys/wait.h: CEA_LGPL ...@@ -293,9 +282,8 @@ share/libc/sys/wait.h: CEA_LGPL
share/libc/syslog.h: CEA_LGPL share/libc/syslog.h: CEA_LGPL
share/libc/termios.h: CEA_LGPL share/libc/termios.h: CEA_LGPL
share/libc/tgmath.h: CEA_LGPL share/libc/tgmath.h: CEA_LGPL
share/libc/time.h: CEA_LGPL
share/libc/time.c: CEA_LGPL share/libc/time.c: CEA_LGPL
share/libc/uchar.h: CEA_LGPL share/libc/time.h: CEA_LGPL
share/libc/unistd.h: CEA_LGPL share/libc/unistd.h: CEA_LGPL
share/libc/utime.h: CEA_LGPL share/libc/utime.h: CEA_LGPL
share/libc/utmpx.h: CEA_LGPL share/libc/utmpx.h: CEA_LGPL
......
share/libc/libintl.h deleted 100644 → 0
+ 0
− 26
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_LIBINTL_H
#define __FC_LIBINTL_H
#endif
share/libc/linux/fs.h deleted 100644 → 0
+ 0
− 28
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_LINUX_FS_H
#define __FC_LINUX_FS_H
/* TODO */
#endif
share/libc/linux/if_addr.h deleted 100644 → 0
+ 0
− 26
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_LINUX_IF_ADDR_H
#define __FC_LINUX_IF_ADDR_H
#endif
share/libc/linux/if_netlink.h deleted 100644 → 0
+ 0
− 27
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_IF_NETLINK_H
#define __FC_IF_NETLINK_H
#endif
share/libc/linux/netlink.h deleted 100644 → 0
+ 0
− 28
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_LINUX_NETLINK_H
#define __FC_LINUX_NETLINK_H
#endif
share/libc/linux/rtnetlink.h deleted 100644 → 0
+ 0
− 28
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_LINUX_RTNETLINK_H
#define __FC_LINUX_RTNETLINK_H
#endif
share/libc/netinet/in_systm.h deleted 100644 → 0
+ 0
− 26
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_NETINET_SYSTM_H
#define __FC_NETINET_SYSTM_H
#endif
share/libc/netinet/ip.h deleted 100644 → 0
+ 0
− 26
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_NETINET_IP_H
#define __FC_NETINET_IP_H
#endif
share/libc/netinet/ip_icmp.h deleted 100644 → 0
+ 0
− 27
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_NETINET_IP_ICMP_H
#define __FC_NETINET_IP_ICMP_H
#endif
share/libc/sys/param.h deleted 100644 → 0
+ 0
− 28
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
#ifndef __FC_SYS_PARAM_H__
#define __FC_SYS_PARAM_H__
/* Only deprecated programs use this header. Add whatever is needed
for this program to compile. */
#endif
share/libc/sys/sysctl.h deleted 100644 → 0
+ 0
− 22
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
share/libc/uchar.h deleted 100644 → 0
+ 0
− 27
View file @ e29a349e
/**************************************************************************/
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2019 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
/* you can redistribute it and/or modify it under the terms of the GNU */
/* Lesser General Public License as published by the Free Software */
/* Foundation, version 2.1. */
/* */
/* It is distributed in the hope that it will be useful, */
/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
/* GNU Lesser General Public License for more details. */
/* */
/* See the GNU Lesser General Public License version 2.1 */
/* for more details (enclosed in the file licenses/LGPLv2.1). */
/* */
/**************************************************************************/
/* ISO C: 7.24 */
#ifndef __FC_UCHAR
#define __FC_UCHAR
#endif
tests/libc/fc_libc.c
+ 0
− 12
View file @ 8890182d
...@@ -85,13 +85,7 @@ ...@@ -85,13 +85,7 @@
#include "inttypes.h" #include "inttypes.h"
#include "iso646.h" #include "iso646.h"
#include "libgen.h" #include "libgen.h"
#include "libintl.h"
#include "limits.h" #include "limits.h"
#include "linux/fs.h"
#include "linux/if_addr.h"
#include "linux/if_netlink.h"
#include "linux/netlink.h"
#include "linux/rtnetlink.h"
#include "locale.h" #include "locale.h"
#include "malloc.h" #include "malloc.h"
#include "math.h" #include "math.h"
...@@ -99,9 +93,6 @@ ...@@ -99,9 +93,6 @@
#include "netdb.h" #include "netdb.h"
#include "net/if.h" #include "net/if.h"
#include "netinet/in.h" #include "netinet/in.h"
#include "netinet/in_systm.h"
#include "netinet/ip.h"
#include "netinet/ip_icmp.h"
#include "netinet/tcp.h" #include "netinet/tcp.h"
#include "nl_types.h" #include "nl_types.h"
#include "poll.h" #include "poll.h"
...@@ -127,7 +118,6 @@ ...@@ -127,7 +118,6 @@
#include "sys/ipc.h" #include "sys/ipc.h"
#include "syslog.h" #include "syslog.h"
#include "sys/mman.h" #include "sys/mman.h"
#include "sys/param.h"
#include "sys/random.h" #include "sys/random.h"
#include "sys/resource.h" #include "sys/resource.h"
#include "sys/select.h" #include "sys/select.h"
...@@ -135,7 +125,6 @@ ...@@ -135,7 +125,6 @@
#include "sys/signal.h" #include "sys/signal.h"
#include "sys/socket.h" #include "sys/socket.h"
#include "sys/stat.h" #include "sys/stat.h"
#include "sys/sysctl.h"
#include "sys/time.h" #include "sys/time.h"
#include "sys/times.h" #include "sys/times.h"
#include "sys/timex.h" #include "sys/timex.h"
...@@ -147,7 +136,6 @@ ...@@ -147,7 +136,6 @@
#include "termios.h" #include "termios.h"
#include "tgmath.h" #include "tgmath.h"
#include "time.h" #include "time.h"
#include "uchar.h"
#include "unistd.h" #include "unistd.h"
#include "utime.h" #include "utime.h"
#include "utmpx.h" #include "utmpx.h"
......
tests/libc/oracle/fc_libc.0.res.oracle
+ 4
− 4
View file @ 8890182d
...@@ -4,10 +4,10 @@ ...@@ -4,10 +4,10 @@
[eva] Initial state computed [eva] Initial state computed
[eva:initial-state] Values of globals at initialization [eva:initial-state] Values of globals at initialization
[eva] tests/libc/fc_libc.c:160: assertion got status valid. [eva] tests/libc/fc_libc.c:148: assertion got status valid.
[eva] tests/libc/fc_libc.c:161: assertion got status valid. [eva] tests/libc/fc_libc.c:149: assertion got status valid.
[eva] tests/libc/fc_libc.c:162: assertion got status valid. [eva] tests/libc/fc_libc.c:150: assertion got status valid.
[eva] tests/libc/fc_libc.c:163: assertion got status valid. [eva] tests/libc/fc_libc.c:151: assertion got status valid.
[eva] Recording results for main [eva] Recording results for main
[eva] done for function main [eva] done for function main
[eva] ====== VALUES COMPUTED ====== [eva] ====== VALUES COMPUTED ======
......
tests/libc/oracle/fc_libc.2.res.oracle
+ 0
− 12
View file @ 8890182d
...@@ -63,13 +63,7 @@ skipping share/libc/complex.h ...@@ -63,13 +63,7 @@ skipping share/libc/complex.h
[kernel] Parsing share/libc/inttypes.h (with preprocessing) [kernel] Parsing share/libc/inttypes.h (with preprocessing)
[kernel] Parsing share/libc/iso646.h (with preprocessing) [kernel] Parsing share/libc/iso646.h (with preprocessing)
[kernel] Parsing share/libc/libgen.h (with preprocessing) [kernel] Parsing share/libc/libgen.h (with preprocessing)
[kernel] Parsing share/libc/libintl.h (with preprocessing)
[kernel] Parsing share/libc/limits.h (with preprocessing) [kernel] Parsing share/libc/limits.h (with preprocessing)
[kernel] Parsing share/libc/linux/fs.h (with preprocessing)
[kernel] Parsing share/libc/linux/if_addr.h (with preprocessing)
[kernel] Parsing share/libc/linux/if_netlink.h (with preprocessing)
[kernel] Parsing share/libc/linux/netlink.h (with preprocessing)
[kernel] Parsing share/libc/linux/rtnetlink.h (with preprocessing)
[kernel] Parsing share/libc/locale.h (with preprocessing) [kernel] Parsing share/libc/locale.h (with preprocessing)
[kernel] Parsing share/libc/malloc.h (with preprocessing) [kernel] Parsing share/libc/malloc.h (with preprocessing)
[kernel] Parsing share/libc/math.h (with preprocessing) [kernel] Parsing share/libc/math.h (with preprocessing)
...@@ -77,9 +71,6 @@ skipping share/libc/complex.h ...@@ -77,9 +71,6 @@ skipping share/libc/complex.h
[kernel] Parsing share/libc/net/if.h (with preprocessing) [kernel] Parsing share/libc/net/if.h (with preprocessing)
[kernel] Parsing share/libc/netdb.h (with preprocessing) [kernel] Parsing share/libc/netdb.h (with preprocessing)
[kernel] Parsing share/libc/netinet/in.h (with preprocessing) [kernel] Parsing share/libc/netinet/in.h (with preprocessing)
[kernel] Parsing share/libc/netinet/in_systm.h (with preprocessing)
[kernel] Parsing share/libc/netinet/ip.h (with preprocessing)
[kernel] Parsing share/libc/netinet/ip_icmp.h (with preprocessing)
[kernel] Parsing share/libc/netinet/tcp.h (with preprocessing) [kernel] Parsing share/libc/netinet/tcp.h (with preprocessing)
[kernel] Parsing share/libc/nl_types.h (with preprocessing) [kernel] Parsing share/libc/nl_types.h (with preprocessing)
[kernel] Parsing share/libc/poll.h (with preprocessing) [kernel] Parsing share/libc/poll.h (with preprocessing)
...@@ -104,7 +95,6 @@ skipping share/libc/complex.h ...@@ -104,7 +95,6 @@ skipping share/libc/complex.h
[kernel] Parsing share/libc/sys/ioctl.h (with preprocessing) [kernel] Parsing share/libc/sys/ioctl.h (with preprocessing)
[kernel] Parsing share/libc/sys/ipc.h (with preprocessing) [kernel] Parsing share/libc/sys/ipc.h (with preprocessing)
[kernel] Parsing share/libc/sys/mman.h (with preprocessing) [kernel] Parsing share/libc/sys/mman.h (with preprocessing)
[kernel] Parsing share/libc/sys/param.h (with preprocessing)
[kernel] Parsing share/libc/sys/random.h (with preprocessing) [kernel] Parsing share/libc/sys/random.h (with preprocessing)
[kernel] Parsing share/libc/sys/resource.h (with preprocessing) [kernel] Parsing share/libc/sys/resource.h (with preprocessing)
[kernel] Parsing share/libc/sys/select.h (with preprocessing) [kernel] Parsing share/libc/sys/select.h (with preprocessing)
...@@ -112,7 +102,6 @@ skipping share/libc/complex.h ...@@ -112,7 +102,6 @@ skipping share/libc/complex.h
[kernel] Parsing share/libc/sys/signal.h (with preprocessing) [kernel] Parsing share/libc/sys/signal.h (with preprocessing)
[kernel] Parsing share/libc/sys/socket.h (with preprocessing) [kernel] Parsing share/libc/sys/socket.h (with preprocessing)
[kernel] Parsing share/libc/sys/stat.h (with preprocessing) [kernel] Parsing share/libc/sys/stat.h (with preprocessing)
[kernel] Parsing share/libc/sys/sysctl.h (with preprocessing)
[kernel] Parsing share/libc/sys/time.h (with preprocessing) [kernel] Parsing share/libc/sys/time.h (with preprocessing)
[kernel] Parsing share/libc/sys/times.h (with preprocessing) [kernel] Parsing share/libc/sys/times.h (with preprocessing)
[kernel] Parsing share/libc/sys/timex.h (with preprocessing) [kernel] Parsing share/libc/sys/timex.h (with preprocessing)
...@@ -125,7 +114,6 @@ skipping share/libc/complex.h ...@@ -125,7 +114,6 @@ skipping share/libc/complex.h
[kernel] Parsing share/libc/termios.h (with preprocessing) [kernel] Parsing share/libc/termios.h (with preprocessing)
skipping share/libc/tgmath.h skipping share/libc/tgmath.h
[kernel] Parsing share/libc/time.h (with preprocessing) [kernel] Parsing share/libc/time.h (with preprocessing)
[kernel] Parsing share/libc/uchar.h (with preprocessing)
[kernel] Parsing share/libc/unistd.h (with preprocessing) [kernel] Parsing share/libc/unistd.h (with preprocessing)
[kernel] Parsing share/libc/utime.h (with preprocessing) [kernel] Parsing share/libc/utime.h (with preprocessing)
[kernel] Parsing share/libc/utmpx.h (with preprocessing) [kernel] Parsing share/libc/utmpx.h (with preprocessing)
......
tests/spec/clash_double_file_bts1598.c
+ 0
− 1
View file @ 8890182d
...@@ -28,6 +28,5 @@ OPT: @PTEST_FILE@ -cpp-extra-args " -Ishare/libc -nostdinc" -print -then -ocode ...@@ -28,6 +28,5 @@ OPT: @PTEST_FILE@ -cpp-extra-args " -Ishare/libc -nostdinc" -print -then -ocode
#include "string.h" #include "string.h"
//#include "tgmath.h" //#include "tgmath.h"
#include "time.h" #include "time.h"
#include "uchar.h"
#include "wchar.h" #include "wchar.h"
#include "wctype.h" #include "wctype.h"
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment