1*9be38598SEduardo Habkost// replace 'R = X; return R;' with 'return R;'
2*9be38598SEduardo Habkost@@
3*9be38598SEduardo Habkostidentifier VAR;
4*9be38598SEduardo Habkostexpression E;
5*9be38598SEduardo Habkosttype T;
6*9be38598SEduardo Habkostidentifier F;
7*9be38598SEduardo Habkost@@
8*9be38598SEduardo Habkost T F(...)
9*9be38598SEduardo Habkost {
10*9be38598SEduardo Habkost     ...
11*9be38598SEduardo Habkost-    T VAR;
12*9be38598SEduardo Habkost     ... when != VAR
13*9be38598SEduardo Habkost
14*9be38598SEduardo Habkost-    VAR =
15*9be38598SEduardo Habkost+    return
16*9be38598SEduardo Habkost     E;
17*9be38598SEduardo Habkost-    return VAR;
18*9be38598SEduardo Habkost     ... when != VAR
19*9be38598SEduardo Habkost }
20