llvm-project
8101d186 - [Support] Assert that DomTree nodes share parent (#101198)

Commit
1 year ago
[Support] Assert that DomTree nodes share parent (#101198) A dominance query of a block that is in a different function is ill-defined, so assert that getNode() is only called for blocks that are in the same function. There are two cases, where this behavior did occur. LoopFuse didn't explicitly do this, but didn't invalidate the SCEV block dispositions, leaving dangling pointers to free'ed basic blocks behind, causing use-after-free. We do, however, want to be able to dereference basic blocks inside the dominator tree, so that we can refer to them by a number stored inside the basic block.
Author
Parents
Loading