]> git.lizzy.rs Git - rust.git/commit
Revert "Revert "Handle conditionals on _|_ - typed values correctly""
authorTim Chevalier <chevalier@alum.wellesley.edu>
Wed, 3 Aug 2011 20:05:46 +0000 (13:05 -0700)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Wed, 3 Aug 2011 20:07:41 +0000 (13:07 -0700)
commit001df3f0ca19018f1681e6f3e08c3a8838fb5812
tree1189f25688441640a67b952d4d769975c1f87282
parent513276e595f8a8e988ec824a36b34cebe2aeaab4
Revert "Revert "Handle conditionals on _|_ - typed values correctly""

This reverts commit ea81c03960264bf590cd99ed2b662243e3db7a7c.

Changed the case in trans_if where the conditional is _|_ - typed
but the block is terminated to return the result of the cond,
instead of nil.

This passes "make check" with optimization disabled as well as
enabled.
src/comp/middle/trans.rs
src/test/run-fail/if-cond-bot.rs [new file with mode: 0644]