Ben Sepanski
Results
3
issues of
Ben Sepanski
Hello! I just wanted to let you know there's a possible bug here that allows more `threadAlive.get()` to become greater than `threadNum`. For example, if `threadAlive.get() == threadNum - 1`...
This would allow nodes with no predecessors to have empty dominator sets
if originalPred does not fall through, but is not a gotoStmt, then dead code can be inserted. For example, if inserting on the edge (`point_src`, `point_tgt`) here: ``` if [some...