Skip to content

Add flag to warn about unreachable branches and exprs#7050

Merged
JukkaL merged 7 commits intopython:masterfrom
Michael0x2a:unreachability-warnings
Jun 28, 2019
Merged

Add flag to warn about unreachable branches and exprs#7050
JukkaL merged 7 commits intopython:masterfrom
Michael0x2a:unreachability-warnings

Commits

Commits on Jun 24, 2019