vasilito
f31522130f
Build system (5 gaps hardened): - COOKBOOK_OFFLINE defaults to true (fork-mode) - normalize_patch handles diff -ruN format - New 'repo validate-patches' command (25/25 relibc patches) - 14 patched Qt/Wayland/display recipes added to protected list - relibc archive regenerated with current patch chain Boot fixes (fixable): - Full ISO EFI partition: 16 MiB → 1 MiB (matches mini, BIOS hardcoded 2 MiB offset) - D-Bus system bus: absolute /usr/bin/dbus-daemon path (was skipped) - redbear-sessiond: absolute /usr/bin/redbear-sessiond path (was skipped) - daemon framework: silenced spurious INIT_NOTIFY warnings for oneshot_async services (P0-daemon-silence-init-notify.patch) - udev-shim: demoted INIT_NOTIFY warning to INFO (expected for oneshot_async) - relibc: comprehensive named semaphores (sem_open/close/unlink) replacing upstream todo!() stubs - greeterd: Wayland socket timeout 15s → 30s (compositor DRM wait) - greeter-ui: built and linked (header guard unification, sem_compat stubs removed) - mc: un-ignored in both configs, fixed glib/libiconv/pcre2 transitive deps - greeter config: removed stale keymapd dependency from display/greeter services - prefix toolchain: relibc headers synced, _RELIBC_STDLIB_H guard unified Unfixable (diagnosed, upstream): - i2c-hidd: abort on no-I2C-hardware (QEMU) — process::exit → relibc abort - kded6/greeter-ui: page fault 0x8 — Qt library null deref - Thread panics fd != -1 — Rust std library on Redox - DHCP timeout / eth0 MAC — QEMU user-mode networking - hwrngd/thermald — no hardware RNG/thermal in VM - live preload allocation — BIOS memory fragmentation, continues on demand
41 lines
1.0 KiB
Bash
Executable File
41 lines
1.0 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
set -e
|
|
|
|
if [[ $# -lt 2 ]]; then
|
|
echo "Usage: ./generate-gcov-report.sh <rel-target-dir> <srcdir> [<srcdir> ... ]"
|
|
exit 1
|
|
fi
|
|
|
|
target_dir=$1
|
|
shift
|
|
source_dirs=$*
|
|
|
|
if [[ "${target_dir:0:1}" != '/' ]]; then
|
|
target_dir="$PWD/$target_dir"
|
|
fi
|
|
summary_file="$target_dir/summary.txt"
|
|
|
|
mkdir -p "$target_dir"
|
|
rm -f "$target_dir"/*.gcov
|
|
|
|
for dir in $source_dirs; do
|
|
pushd "$dir" > /dev/null
|
|
for file in *.c; do
|
|
find ./ -name "*${file/\.c/.gcda}" -exec gcov {} \; > /dev/null
|
|
done
|
|
find ./ -name "*.gcov" \! -path "*/`basename "$target_dir"`/*" -exec mv {} "$target_dir" \;
|
|
popd > /dev/null
|
|
done
|
|
|
|
echo "========== coverage report ========" > "$summary_file"
|
|
for file in "$target_dir"/*.gcov; do
|
|
total=`grep -v " -:" "$file" | wc -l`
|
|
missing=`grep "#####" "$file" | wc -l`
|
|
hit=$((total - missing));
|
|
percent=$((($hit * 100)/$total))
|
|
fname=`basename "$file"`
|
|
printf "%-32s total lines: %4s not tested: %4s (%3s%%)\n" "$fname" "$total" "$missing" "$percent">> "$summary_file"
|
|
done
|
|
echo "========== =============== ========" >> "$summary_file"
|