This should set y=4'b1111 but Verilator d7e4bc1 sets y=4'b0001 instead.
module issue_046(a, y); input signed [3:0] a; output [3:0] y; assign y = $signed(5'd1 > a-a); endmodule
Only slight modifications in the expression make the problem disappear.
Self-contained test case: test015.v, test015.cc, test015.sh
History:
2014-05-15 Reported as Issue #768
2014-05-16 Fixed in GIT commit 06744b6