Add comment

corona10 · corona10 · commit f41922195a9e · 2023-07-10T13:03:07.000+09:00
diff --git a/Python/flowgraph.c b/Python/flowgraph.c
@@ -1312,6 +1312,7 @@ remove_redundant_deadstore(basicblock *bb)
             for (int j = i - 1; j >= 0; j--) {
                 cfg_instr *prev = &bb->b_instr[j];
                 if (prev->i_loc.lineno != inst->i_loc.lineno) {
+                    // Invariant condition: lineno is always monotonically increasing.
                     break;
                 }
                 if (prev->i_opcode == STORE_FAST && prev->i_oparg == inst->i_oparg) {

Original file line number	Diff line number	Diff line change
`@@ -1312,6 +1312,7 @@ remove_redundant_deadstore(basicblock *bb)`
`1312`	`1312`	`for (int j = i - 1; j >= 0; j--) {`
`1313`	`1313`	`cfg_instr *prev = &bb->b_instr[j];`
`1314`	`1314`	`if (prev->i_loc.lineno != inst->i_loc.lineno) {`
	`1315`	`+ // Invariant condition: lineno is always monotonically increasing.`
`1315`	`1316`	`break;`
`1316`	`1317`	`}`
`1317`	`1318`	`if (prev->i_opcode == STORE_FAST && prev->i_oparg == inst->i_oparg) {`