diff options
author | Gabor Marton <gabor.marton@ericsson.com> | 2019-10-07 11:15:18 +0000 |
---|---|---|
committer | Gabor Marton <gabor.marton@ericsson.com> | 2019-10-07 11:15:18 +0000 |
commit | d263b49d0259c62caa93e2e6b82d04d87d1baae9 (patch) | |
tree | d933fe7dc65e7be2ad3cbc930df4824bbc7410c6 /docs | |
parent | bba9a63012caa3b4bd928a05593ea77f55a513ae (diff) | |
download | clang-d263b49d0259c62caa93e2e6b82d04d87d1baae9.tar.gz |
[ASTImporter][NFC] Update ASTImporter internals docs
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@373895 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
-rw-r--r-- | docs/InternalsManual.rst | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/docs/InternalsManual.rst b/docs/InternalsManual.rst index 59f3cba699..409432efcf 100644 --- a/docs/InternalsManual.rst +++ b/docs/InternalsManual.rst @@ -1519,11 +1519,11 @@ statements are true: - A and X are nodes from the same ASTContext. - B and Y are nodes from the same ASTContext. - A and B may or may not be from the same ASTContext. -- if A == X (pointer equivalency) then (there is a cycle during the traverse) +- if A == X and B == Y (pointer equivalency) then (there is a cycle during the + traverse) - A and B are structurally equivalent if and only if - - B and Y are part of the same redeclaration chain, - All dependent nodes on the path from <A,B> to <X,Y> are structurally equivalent. @@ -1563,15 +1563,6 @@ the whole redeclaration chain of the function. The most recent version of the declarations - regardless if they are definitions or prototypes - in the order as they appear in the "from" context. -.. Structural eq requires proper redecl chains - -Another reason why we must maintain and import redeclaration chains properly is -that the :ref:`Structural Equivalency <structural-eq>` check would report false -positive in-equivalencies otherwise. We must not allow having two (or more) -independent redeclaration chains of structurally equivalent declarations. -Structural equivalency identifies the chains with the canonical declaration, -that becomes different for independent chains. - .. One definition If we have an existing definition in the "to" context, then we cannot import |