@@ -1,5 +1,6 @@
2007-??-??: 1.17
fixed Int32.compare, added Int32.read and Int32.write
+ fixed type of unitialized registers in flash9
2007-10-31: 1.16
use _sans font for default flash traces (better Linux support)
@@ -414,6 +414,10 @@ let rec setvar ctx (acc : write access) retval =
let getvar ctx (acc : read access) =
match acc with
| VReg r ->
+ if not r.rinit then begin
+ r.rinit <- true;
+ r.rcond <- true;
+ end;
write ctx (A3Reg r.rid)
| VId id ->
write ctx (A3GetProp id)