kit

run_errors.sh (2748B)

---

 #!/usr/bin/env bash
 # test/pp/run_errors.sh — data-driven preprocessor must-fail runner, on the
 # shared corpus harness (test/lib/kit_corpus.sh). Single negative lane.
 #
 # For each test/pp/cases_err/*.c, runs `kit cc -E` and expects a nonzero exit
 # (constraint violations from C11 §6.10 must be diagnosed). The oracle checks
 # exit status only; stderr is captured under $KIT_WORK but not pattern-matched
 # (these cases ship no diagnostic sidecar). Kept as a separate runner from the
 # positive pp golden-diff runner (test-pp vs test-pp-err).
 #
 # Like run.sh, exports SOURCE_DATE_EPOCH=0 and cd's into the cases dir so
 # __DATE__/__TIME__/__FILE__ are deterministic.
 #
 # No opt axis. Honors $KIT for the binary path; defaults to build/kit.
 #
 # Filtering: ./run_errors.sh [name_filter]  (or KIT_TEST_FILTER); substring
 # match against case basename.
 #
 # Parallelism: parallel by default; KIT_TEST_JOBS=N caps concurrency;
 # KIT_PP_PARALLEL=0 forces serial. The lane hook keeps all output under
 # $KIT_WORK, so the summary is identical serial or parallel.
 
 set -u
 
 script_dir=$(cd "$(dirname "$0")" && pwd)
 repo_root=$(cd "$script_dir/../.." && pwd)
 cases_dir="$script_dir/cases_err"
 
 export KIT_LIB_DIR="$repo_root/test/lib"
 # shellcheck source=../lib/kit_corpus.sh
 . "$repo_root/test/lib/kit_corpus.sh"
 
 KIT="${KIT:-$repo_root/build/kit}"
 
 if [ ! -x "$KIT" ]; then
     echo "pp-err: kit binary not found at $KIT" >&2
     exit 2
 fi
 
 # Match run.sh so __DATE__/__TIME__/__FILE__ are deterministic.
 export SOURCE_DATE_EPOCH=0
 
 # cd into the cases dir so the corpus glob yields bare basenames (deterministic
 # __FILE__) and -I . resolves sibling headers.
 cd "$cases_dir" || exit 2
 
 BUILD_DIR="$repo_root/build/test/pp"
 mkdir -p "$BUILD_DIR"
 
 FILTER="${1:-${KIT_TEST_FILTER:-}}"
 export KIT_TEST_FILTER="$FILTER"
 
 # ----- negative lane P: cc -E must fail (exit status only) -------------------
 # KIT_SRC is a bare basename (cwd == cases dir). Output goes to /dev/null per the
 # original (the preprocessed text is irrelevant); stderr/stdout logs stay under
 # $KIT_WORK for parallel safety.
 kit_lane_P() {
     local name="$KIT_BASE"
     if "$KIT" cc -E -I . "$KIT_SRC" -o /dev/null \
             >"$KIT_WORK/pp.out" 2>"$KIT_WORK/pp.err"; then
         kit_fail "$name" "expected nonzero exit, got success"
     else
         kit_pass "$name"
     fi
 }
 
 # ----- drive the corpus -----------------------------------------------------
 
 PAR="${KIT_PP_PARALLEL:-1}"
 
 KIT_LABEL=test-pp-err KIT_BUILD_DIR="$BUILD_DIR/cases_err" \
     KIT_CORPUS_GLOBS="*.c" KIT_CORPUS_EXT=c KIT_SIDECAR_DIR="$cases_dir" \
     KIT_LANES="P" KIT_OPT_LEVELS="" KIT_TUPLES="none-none" KIT_TARGETS_EXT="" \
     KIT_PARALLELIZABLE="$PAR" kit_corpus_run
 
 kit_summary test-pp-err
 kit_exit