summaryrefslogtreecommitdiffstats
path: root/eval.tex
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2020-09-10 12:56:16 +0100
committerYann Herklotz <git@yannherklotz.com>2020-09-10 12:56:16 +0100
commitc8f7291d07269c279f414e185f685c2d5d6160f5 (patch)
tree997f7b3d7bf453b355bcd0747c052fd83a5b70a8 /eval.tex
parent796e4081cfb7a17ad5c3444729989ad640b7b4a5 (diff)
downloadfccm21_esrhls-c8f7291d07269c279f414e185f685c2d5d6160f5.tar.gz
fccm21_esrhls-c8f7291d07269c279f414e185f685c2d5d6160f5.zip
Add bugs to evaluation section
Diffstat (limited to 'eval.tex')
-rw-r--r--eval.tex14
1 files changed, 14 insertions, 0 deletions
diff --git a/eval.tex b/eval.tex
index 29e9a33..6330647 100644
--- a/eval.tex
+++ b/eval.tex
@@ -70,6 +70,20 @@ int main() { return un.a; }
\caption{This crashes in Legup 4.0.}\label{fig:legup_crash2}
\end{figure}
+\begin{figure}\centering
+\begin{minted}{c}
+volatile int a = 0;
+int b = 1;
+
+int main() {
+ int d = 1;
+ if (d + a) b || 1;
+ else b = 0;
+ return b;
+}
+\end{minted}
+\caption{This crashes in Legup 4.0.}\label{fig:legup_crash2}
+\end{figure}
\NR{
What we need for this section: