diff options
author | Duncan Sands <baldrick@free.fr> | 2008-02-04 09:29:17 +0000 |
---|---|---|
committer | Duncan Sands <baldrick@free.fr> | 2008-02-04 09:29:17 +0000 |
commit | 6cb7e6d36bf7d5b3687ae19217fef6dd24448285 (patch) | |
tree | 139f7d18190e757d2a195d7cf6fa0926ee46da07 /lib/Support/FoldingSet.cpp | |
parent | 204e84e138b973491039c1a37cf93a6fa85bb1e1 (diff) |
I don't see how NodeUpdated can be called with a
ReadyToProcess node - add an assertion to check
this. Add an assertion to NodeDeleted that checks
that processed/ready nodes are indeed not deleted.
It is because they are never deleted that none of
the maps can have a deleted node as the source of
a mapping. It does however seem to be possible in
theory to have a deleted value as the target of a
mapping, however this has not yet been spotted in
the wild. Still mulling on what to do about this.
[The theoretical situation is this: a node A is
expanded/promoted/whatever to a newly created node
B. Thus A->B is added to a map. When the subtree
rooted at B is legalized it is conceivable that B
is deleted due to RAUW on a node somewhere above
it].
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46705 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Support/FoldingSet.cpp')
0 files changed, 0 insertions, 0 deletions