In cparser/SimplExpr.ml:

- wrong simplification of && and || in the Set case
- generated nicer code for && and || in the Eval case


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1308 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 13 insertions, 0 deletions

diff --git a/test/regression/expr5.c b/test/regression/expr5.c
new file mode 100644
index 0000000..b41aeb8
--- /dev/null
+++ b/test/regression/expr5.c
@@ -0,0 +1,13 @@
+#include <stdio.h>
+
+int foo(void)
+{
+   return 2;
+}
+
+int main(void)
+{
+   int g_46 = 0 || foo();
+   printf ("%d\n", g_46);
+   return 0;
+}