Fix incorrect linearization of "x && y && z"
commitc93fb998917a3ebce5ec39213a279743f8b2d747
authorDaniel De Graaf <danieldegraaf@gmail.com>
Tue, 27 Oct 2009 23:02:30 +0000 (27 23:02 +0000)
committerChristopher <sparse@chrisli.org>
Mon, 29 Mar 2010 00:51:36 +0000 (28 17:51 -0700)
tree12ddceaa9a1130a6cf0ffe2b295b70014dd36eae
parentfb73c74b5c4ac1b3abc55e232ce8ac72685dd981
Fix incorrect linearization of "x && y && z"

This fixes an incorrect assumption that results in && using shortcut
logic on the true branch instead of the false branch.

Signed-off-by: Daniel De Graaf <danieldegraaf@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
linearize.c