|
@@ -372,11 +372,11 @@ class AnalysisState(object):
|
|
|
("RD", [instruction_id, "then"]),
|
|
|
("RD", [instruction_id, "else"])]
|
|
|
|
|
|
- gen = self.analyze_all(
|
|
|
- [cond, true]
|
|
|
- if false is None
|
|
|
- else [cond, true, false])
|
|
|
try:
|
|
|
+ gen = self.analyze_all(
|
|
|
+ [cond, true]
|
|
|
+ if false is None
|
|
|
+ else [cond, true, false])
|
|
|
inp = None
|
|
|
while True:
|
|
|
inp = yield gen.send(inp)
|
|
@@ -398,8 +398,8 @@ class AnalysisState(object):
|
|
|
("RD", [instruction_id, "cond"]),
|
|
|
("RD", [instruction_id, "body"])]
|
|
|
|
|
|
- gen = self.analyze_all([cond, body])
|
|
|
try:
|
|
|
+ gen = self.analyze_all([cond, body])
|
|
|
inp = None
|
|
|
while True:
|
|
|
inp = yield gen.send(inp)
|
|
@@ -439,8 +439,8 @@ class AnalysisState(object):
|
|
|
# yield None
|
|
|
|
|
|
value_id, = yield [("RD", [instruction_id, "value"])]
|
|
|
- gen = self.analyze(value_id)
|
|
|
try:
|
|
|
+ gen = self.analyze(value_id)
|
|
|
inp = None
|
|
|
while True:
|
|
|
inp = yield gen.send(inp)
|