[llvm-commits] Debug-check in SSAUpdater detecting PHI/CFG missmatches

[Ludwig Meier]

This patch adds a debug-check to SSAUpdater, that verifies that the
predecessor list (as derived from the CFG) matches the predecessor list
in the PHI-nodes.

For performance reasons the SSAUpdater uses the incoming-edges of a
PHI-Node (if one exists) to determine the predecessors of a basic-block.
When the PHI-nodes incoming edges differ from the CFG, subsequent calls
to SSAUpdater::GetValue...() may crash.
This occurs only when the IR is currently invalid, of course.
-- 
Ludwig Meier
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SSAUpdaterCheckPredecessors.patch
Type: text/x-patch
Size: 1270 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20110716/55f9a781/attachment.bin>