File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1561,6 +1561,7 @@ void TranslateToFuzzReader::modFunction(Function* func) {
15611561 // still want to run them some of the time, at least, so that we
15621562 // check variations on initial testcases even at the risk of OOB.
15631563 recombine (func);
1564+ fixAfterChanges (func);
15641565 mutate (func);
15651566 fixAfterChanges (func);
15661567}
@@ -1752,20 +1753,12 @@ void TranslateToFuzzReader::mutate(Function* func) {
17521753 // The expression must be a supertype of a fixed type. Nothing to do.
17531754 }
17541755 void noteSubtype (Expression* sub, Type super) {
1755- // |sub| may not exist if it is a break target, and that break target has
1756- // not yet been fixed up, which happens after mutate().
1757- if (!sub) {
1758- return ;
1759- }
17601756 if (super.isRef () && sub->type != super) {
17611757 // This is a nontrivial opportunity to replace sub with a given type.
17621758 childTypes[sub] = super;
17631759 }
17641760 }
17651761 void noteSubtype (Expression* sub, Expression* super) {
1766- if (!super) {
1767- return ;
1768- }
17691762 noteSubtype (sub, super->type );
17701763 }
17711764 void noteNonFlowSubtype (Expression* sub, Type super) {
You can’t perform that action at this time.
0 commit comments