This commit is contained in:
nora 2023-05-30 15:36:16 +02:00
commit 158ebfb3b4
5 changed files with 117 additions and 0 deletions

13
check.sh Executable file
View file

@ -0,0 +1,13 @@
#/usr/bin/env bash
rustc code.rs --crate-name bad -Zmir-enable-passes=-ConstProp
rustc code.rs --crate-name good -Zmir-enable-passes=+ConstProp
bad=$(./bad)
good=$(./good)
if [ good != bad ]; then
echo "MISCOMPILATION"
else
echo "no repro"
fi