Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | In conditional expressions e1 ? e2 : e3, cast the results of e2 and e3 to ↵ | xleroy | 2011-07-16 | 1 | -0/+50 |
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 |