Repository navigation
The compiler's line number propagation algorithm is not quite correct #114265
Description
Bug report
The compiler's algorithm for line propagation has some heuristics which are not quite correct (particularly the guarantee_lineno_for_exits, which tidies up loose ends by assigning a possible incorrect line number). Also, line numbers are propagated after optimisation, and this prevents optimisation in a few cases (like when it's not clear whether two jumps have the same line number or not).
Activity
gh-114265: move line number propagation before cfg optimization, remo…
pythongh-114265: move line number propagation before cfg optimization…
pythongh-114265: remove i_loc_propagated, jump threading does not con…
gh-114265: remove i_loc_propagated, jump threading does not consider …
pythongh-114265: move line number propagation before cfg optimization…
pythongh-114265: remove i_loc_propagated, jump threading does not con…
pythongh-114265: move line number propagation before cfg optimization…
pythongh-114265: remove i_loc_propagated, jump threading does not con…