maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[mlir] Fix bug in ForwardDataFlowAnalysis solver 

Explicitly check for uninitialized to prevent crashes in edge cases where the derived analysis creates a lattice element for a value that hasn't been visited yet.
This commit is contained in:
River Riddle 2021-04-27 14:27:08 -07:00
parent cbce28f07e
commit 82bcd98586
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mlir/lib/Analysis/DataFlowAnalysis.cpp
View File

@ -317,7 +317,7 @@ void ForwardDataFlowSolver::visitOperation(Operation *op) {
for (Value operand : op->getOperands()) { for (Value operand : op->getOperands()) {
AbstractLatticeElement *operandLattice = AbstractLatticeElement *operandLattice =
analysis.lookupLatticeElement(operand); analysis.lookupLatticeElement(operand);
if (!operandLattice) if (!operandLattice || operandLattice->isUninitialized())
return; return;
operandLattices.push_back(operandLattice); operandLattices.push_back(operandLattice);
} }