sail - Formal specification language for ISAs

Age	Commit message (Collapse)	Author
2018-09-13	C: Fix an issue with assigning to unitialized variables at end of blocks	Alasdair Armstrong
	Assigning to an uninitialized variable as the last statement in a block is almost certainly a type, and if that occurs then the lift_assign re-write will introduce empty blocks causing this error to occur. Now when we see such an empty block when converting to A-normal form we turn it into unit, and emit a warning stating that an empty block has been found as well as the probable cause (uninitialized variable).