69 lines
3.2 KiB
Bash
Executable file
69 lines
3.2 KiB
Bash
Executable file
#!/bin/bash
|
|
# Check-diagnostic fixtures that must equal rustc's: `relax check` of each *.rs here (a library when
|
|
# the name ends in _lib, else a binary) gives exactly rustc's errors (by code) and warnings (by
|
|
# message), at rustc's positions. The expected lines below are rustc 1.97's
|
|
# (`rustc --edition 2021 --error-format=short --emit=metadata`); with RUSTC_CMP=1 rustc is run too
|
|
# and must still print them.
|
|
# run.sh <path to relax or makepad binary>
|
|
set -eu
|
|
H=$(cd "$(dirname "$0")" && pwd)
|
|
BIN=$(cd "$(dirname "$1")" && pwd)/$(basename "$1")
|
|
T=$(mktemp -d)
|
|
export MAKEPAD_RUN_CACHE=off
|
|
export MAKEPAD_RUN_STD="$H/../../std"
|
|
export MAKEPAD_RUN_CACHE_DIR="$T/target"
|
|
# file:line:col: E<code> | file:line:col: warning: <message> (relax's ` -- help` and ` [lint]` tails dropped)
|
|
norm() {
|
|
python3 -c '
|
|
import re, sys
|
|
h = sys.argv[1]
|
|
for line in sys.stdin:
|
|
line = line.rstrip("\n").replace(h + "/", "")
|
|
m = re.match(r"^([\w.]+\.rs:\d+:\d+): (.*)$", line)
|
|
if not m: continue
|
|
pos, rest = m.groups()
|
|
c = re.match(r"^(?:error\[)?(E\d{4})\]?:", rest)
|
|
if c: print(pos, c.group(1)); continue
|
|
w = re.match(r"^(warning|error): (.*?)(?: -- .*)?(?: \[[a-z_]+\])?$", rest)
|
|
if w: print(pos, w.group(1) + ":", w.group(2))
|
|
' "$H"
|
|
}
|
|
: > "$T/actual"; : > "$T/rustc"
|
|
for f in gh1327_borrow_key gh1327_borrow_key_reject gh1328_errors gh1328_live_bin gh1328_live_lib; do
|
|
kind=bin; case $f in *_lib) kind=lib;; esac
|
|
python3 - "$H" "$f" "$kind" "$T/units.json" <<'PY'
|
|
import json, sys
|
|
h, name, kind, out = sys.argv[1:]
|
|
json.dump({'version':1,'roots':[0],'units':[{'pkg_id':'path+file://'+h+'#'+name+'@0.1.0','target':{'kind':[kind],'name':name,'src_path':h+'/'+name+'.rs','edition':'2021'},'mode':'build','features':[],'dependencies':[]}]},open(out,'w'))
|
|
PY
|
|
echo "== $f" >> "$T/actual"
|
|
set +e
|
|
"$BIN" check --units "$T/units.json" "$f" > "$T/out" 2>&1
|
|
set -e
|
|
norm < "$T/out" | sort -t: -k2,2n -k3,3n >> "$T/actual"
|
|
if [ "${RUSTC_CMP:-0}" = 1 ]; then
|
|
echo "== $f" >> "$T/rustc"
|
|
(cd "$H" && rustc --edition 2021 --crate-type "$kind" --crate-name "$f" --error-format=short --emit=metadata -o "$T/$f.rmeta" "$f.rs" > "$T/rout" 2>&1) || true
|
|
norm < "$T/rout" | sort -t: -k2,2n -k3,3n >> "$T/rustc"
|
|
fi
|
|
done
|
|
cat > "$T/expected" <<'EXPECTED'
|
|
== gh1327_borrow_key
|
|
== gh1327_borrow_key_reject
|
|
gh1327_borrow_key_reject.rs:8:30 E0308
|
|
== gh1328_errors
|
|
gh1328_errors.rs:9:18 E0308
|
|
== gh1328_live_bin
|
|
== gh1328_live_lib
|
|
gh1328_live_lib.rs:98:12 warning: function `not_reachable` is never used
|
|
gh1328_live_lib.rs:99:16 warning: struct `NotReach` is never constructed
|
|
gh1328_live_lib.rs:104:4 warning: function `truly_dead` is never used
|
|
gh1328_live_lib.rs:105:7 warning: constant `TRULY_DEAD` is never used
|
|
gh1328_live_lib.rs:106:8 warning: struct `DeadStruct` is never constructed
|
|
gh1328_live_lib.rs:108:24 warning: field `read_by_debug_only` is never read
|
|
EXPECTED
|
|
fail=0
|
|
if ! diff -u "$T/expected" "$T/actual"; then echo "check_rustc: relax differs from the expected rustc diagnostics"; fail=1; fi
|
|
if [ "${RUSTC_CMP:-0}" = 1 ] && ! diff -u "$T/expected" "$T/rustc"; then echo "check_rustc: rustc no longer prints the expected lines"; fail=1; fi
|
|
if [ $fail = 1 ]; then echo "check_rustc: FAILED (artifacts: $T)"; exit 1; fi
|
|
echo "check_rustc: ok"
|