Commit 96826438 authored by yb9976's avatar yb9976
Browse files

Fixed wrong verify warning.

Dominance is reflexive.
parent ab46af9b
...@@ -931,7 +931,7 @@ static bool check_dominance_for_node(const ir_node *use) ...@@ -931,7 +931,7 @@ static bool check_dominance_for_node(const ir_node *use)
continue; continue;
if (!block_dominates(def_bl, use_bl)) { if (!block_dominates(def_bl, use_bl)) {
warn(use, "not dominated by operand %+F", use, def); warn(use, "not dominated by operand %+F", def);
fine = false; fine = false;
} }
} }
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment