1#!/bin/bash
2#
3# SPDX-License-Identifier: BSD-3-Clause
4#
5# Copyright © 2024 Keith Packard
6#
7# Redistribution and use in source and binary forms, with or without
8# modification, are permitted provided that the following conditions
9# are met:
10#
11# 1. Redistributions of source code must retain the above copyright
12#    notice, this list of conditions and the following disclaimer.
13#
14# 2. Redistributions in binary form must reproduce the above
15#    copyright notice, this list of conditions and the following
16#    disclaimer in the documentation and/or other materials provided
17#    with the distribution.
18#
19# 3. Neither the name of the copyright holder nor the names of its
20#    contributors may be used to endorse or promote products derived
21#    from this software without specific prior written permission.
22#
23# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
24# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
25# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
26# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
27# COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT,
28# INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
29# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
30# SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
31# HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
32# STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
33# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
34# OF THE POSSIBILITY OF SUCH DAMAGE.
35#
36
37input="$1"
38shift
39echo '#include "'$input'"' | ("$@" -E - || exit 0) |
40    awk 'BEGIN {
41		contents = 0;
42		cdefs = 0;
43		 filename = "";
44	}
45	{
46		print $0
47		if ($1 == "#") {
48			name = $3;
49			gsub(/"/, "", name);
50			if (name ~ "^.*/newlib/libc/include/sys/cdefs.h$") {
51				if (contents && !cdefs) {
52					printf("%s: contents before cdefs: \"%s\"\n", filename, first_contents);
53					exit(1);
54				}
55				cdefs = 1;
56			}
57		} else {
58			if (NF != 0) {
59				contents = 1;
60				first_contents=$0
61			}
62		}
63	}
64	END {
65		if (!cdefs) {
66			printf("%s: cdefs never included\n", filename);
67			exit 1;
68		}
69	}' || exit 1
70