From a335e621aaa85a7f73b16c121261dbecf8e68340 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 16 Jul 2011 16:17:08 +0000
Subject: 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
---
 test/regression/Results/expr6 | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 test/regression/Results/expr6

(limited to 'test/regression/Results')

diff --git a/test/regression/Results/expr6 b/test/regression/Results/expr6
new file mode 100644
index 00000000..9b91e236
--- /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
-- 
cgit