Three-coloured flow graphs
Add
control arcs
to nodes where order of evaluation is important:
let
r
:ref =
ref
(
0
);
let
r
:ref =
ref
(
0
);
r
:=
1
;
let
x
:int =
!
(
r
);
let
x
:int =
!
(
r
);
r
:=
1
;
return
x
;
return
x
;
Now the graphs are not isomorphic.