Reimplement the structural-equality checks used to determine whether

two types in different AST contexts are equivalent. Rather than
transforming the type from one context into the other context, we
perform a deep structural comparison of the types. This change
addresses a serious problem with recursive data types like

  struct ListNode {
    int value;
    struct ListNode *Next;
  } xList;



git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@96278 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 7 insertions, 3 deletions

diff --git a/test/ASTMerge/Inputs/struct1.c b/test/ASTMerge/Inputs/struct1.c
index 10c8fce42a..e6d71ac1b4 100644
--- a/test/ASTMerge/Inputs/struct1.c
+++ b/test/ASTMerge/Inputs/struct1.c
@@ -44,10 +44,14 @@ struct S9 { int i; float f; } *x9;
 // Incomplete type
 struct S10 *x10;
 
-// FIXME: Matches, but crashes the importer
-#if 0
+// Matches
 struct ListNode {
   int value;
   struct ListNode *Next;
 } xList;
-#endif
+
+// Mismatch due to struct used internally
+struct DeepError {
+  int value;
+  struct DeeperError { int i; int f; } *Deeper;
+} xDeep;