mirror of
https://github.com/Noratrieb/rlo-issue-112061.git
synced 2026-01-14 16:35:04 +01:00
more
This commit is contained in:
parent
b0c723f2c2
commit
6c17c4cf53
1 changed files with 3 additions and 2 deletions
|
|
@ -9,8 +9,9 @@ d=$(mktemp -d)
|
||||||
clang $1 helper.c -O1 -o "$d/good"
|
clang $1 helper.c -O1 -o "$d/good"
|
||||||
clang $1 helper.c -O2 -o "$d/bad"
|
clang $1 helper.c -O2 -o "$d/bad"
|
||||||
|
|
||||||
bad=$("$d/bad")
|
# Thanks to set -e, we abort if it times out.
|
||||||
good=$("$d/good")
|
bad=$(timeout 1 "$d/bad")
|
||||||
|
good=$(timeout 1 "$d/good")
|
||||||
|
|
||||||
if [ "$good" != "$bad" ]; then
|
if [ "$good" != "$bad" ]; then
|
||||||
echo "MISCOMPILATION"
|
echo "MISCOMPILATION"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue