#!/bin/sh
# DF-5580: UBSan census (recover mode) over edge + exhaustive + sr-boundary batteries
cd /root/df5580 || exit 1
cc -O1 -g -fsanitize=shift -c df5580_diff.c || exit 1
cc -o df5580_ubsan_rec df5580_diff.o ubsan_stub.o || exit 1
./df5580_ubsan_rec x 0 > ub_rec.log 2>&1
echo "EXIT=$?"
echo "--- census (occurrences by site) ---"
grep 'UBSAN-FIRED' ub_rec.log | sed 's/.*at //; s/ .*//' | sort | uniq -c | sort -rn
echo "--- total lines in log ---"
wc -l ub_rec.log
echo "--- tail ---"
tail -2 ub_rec.log