From 13e79fc484c41aa3d0c883d66b968fb3bf414aa7 Mon Sep 17 00:00:00 2001 From: John Regehr Date: Thu, 1 Dec 2011 10:41:06 -0700 Subject: [PATCH] Notes. --- utah/scripts/reduce/c_delta.pl | 2 ++ 1 file changed, 2 insertions(+) diff --git a/utah/scripts/reduce/c_delta.pl b/utah/scripts/reduce/c_delta.pl index 4fc8b73df..296c131eb 100755 --- a/utah/scripts/reduce/c_delta.pl +++ b/utah/scripts/reduce/c_delta.pl @@ -30,6 +30,8 @@ # turn a union type into a struct # add more things like while (x) { y } -> if (x) { y } # format string reduction +# move same-type declarations into a compound declaration +# shorten variable and function names # get speedup by adding fast bailouts from test scripts # super-fast: just runs one compiler at -O0 look for syntactical correctness