In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to the type of the whole conditional expression.

Replaced predicates "cast", "is_true" and "is_false" by functions "sem_cast" and "bool_val".


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

1 files changed, 11 insertions, 0 deletions

diff --git a/test/regression/Results/expr6 b/test/regression/Results/expr6
new file mode 100644
index 0000000..9b91e23
--- /dev/null
+++ b/test/regression/Results/expr6
@@ -0,0 +1,11 @@
+f(42) = 42
+f(-1) = 1
+g(1,2,3.14) = 2.00
+g(0,2,3.14) = 3.14
+h(1,2) = true
+h(0,2) = false
+h(1,0) = false
+k(1,2,3.14) = true
+k(0,2,3.14) = true
+k(1,0,3.14) = false
+k(0,2,0.00) = false