diff --git a/fuzz/CMakeLists.txt b/fuzz/CMakeLists.txt
index 9c95ec6..d1ea5c5 100644
--- a/fuzz/CMakeLists.txt
+++ b/fuzz/CMakeLists.txt
@@ -161,6 +161,7 @@ set(CORPUS_OTHER
   433311400.fuzz
   440599107.fuzz
   440747125.fuzz
+  464655077.fuzz
   4720043549327360.fuzz
   4797504999981056.fuzz
   4876793183272960.fuzz
diff --git a/fuzz/qpdf_extra/464655077.fuzz b/fuzz/qpdf_extra/464655077.fuzz
new file mode 100644
index 0000000..42e9aa1
--- /dev/null
+++ b/fuzz/qpdf_extra/464655077.fuzz
diff --git a/fuzz/qtest/fuzz.test b/fuzz/qtest/fuzz.test
index 7004c6b..7502fb8 100644
--- a/fuzz/qtest/fuzz.test
+++ b/fuzz/qtest/fuzz.test
@@ -11,7 +11,7 @@ my $td = new TestDriver('fuzz');
 
 my $qpdf_corpus = $ENV{'QPDF_FUZZ_CORPUS'} || die "must set QPDF_FUZZ_CORPUS";
 
-my $n_qpdf_files = 107;       # increment when adding new files
+my $n_qpdf_files = 108;       # increment when adding new files
 
 my @fuzzers = (
     ['ascii85' => 1],
diff --git a/include/qpdf/QPDFAcroFormDocumentHelper.hh b/include/qpdf/QPDFAcroFormDocumentHelper.hh
index 7abdb1c..3694681 100644
--- a/include/qpdf/QPDFAcroFormDocumentHelper.hh
+++ b/include/qpdf/QPDFAcroFormDocumentHelper.hh
@@ -226,7 +226,7 @@ class QPDFAcroFormDocumentHelper: public QPDFDocumentHelper
 
   private:
     void analyze();
-    void traverseField(QPDFObjectHandle field, QPDFObjectHandle const& parent, int depth);
+    bool traverseField(QPDFObjectHandle field, QPDFObjectHandle const& parent, int depth);
     QPDFObjectHandle getOrCreateAcroForm();
     void adjustInheritedFields(
         QPDFObjectHandle obj,
diff --git a/libqpdf/QPDFAcroFormDocumentHelper.cc b/libqpdf/QPDFAcroFormDocumentHelper.cc
index 1dbc229..65f103c 100644
--- a/libqpdf/QPDFAcroFormDocumentHelper.cc
+++ b/libqpdf/QPDFAcroFormDocumentHelper.cc
@@ -31,6 +31,7 @@ class QPDFAcroFormDocumentHelper::Members
     std::map<QPDFObjGen, FieldData> field_to;
     std::map<QPDFObjGen, QPDFFormFieldObjectHelper> annotation_to_field;
     std::map<std::string, std::set<QPDFObjGen>> name_to_fields;
+    std::set<QPDFObjGen> bad_fields;
 };
 
 QPDFAcroFormDocumentHelper::QPDFAcroFormDocumentHelper(QPDF& qpdf) :
@@ -312,35 +313,36 @@ QPDFAcroFormDocumentHelper::analyze()
     }
 }
 
-void
+bool
 QPDFAcroFormDocumentHelper::traverseField(
     QPDFObjectHandle field, QPDFObjectHandle const& parent, int depth)
 {
     if (depth > 100) {
         // Arbitrarily cut off recursion at a fixed depth to avoid specially crafted files that
         // could cause stack overflow.
-        return;
+        return false;
     }
     if (!field.indirect()) {
         field.warn(
             "encountered a direct object as a field or annotation while traversing /AcroForm; "
             "ignoring field or annotation");
-        return;
+        return false;
     }
     if (field == parent) {
         field.warn("loop detected while traversing /AcroForm");
-        return;
+        return false;
     }
     if (!field.isDictionary()) {
         field.warn(
             "encountered a non-dictionary as a field or annotation while traversing /AcroForm; "
             "ignoring field or annotation");
-        return;
+        return false;
     }
     QPDFObjGen og(field.getObjGen());
-    if (m->field_to.contains(og) || m->annotation_to_field.contains(og)) {
+    if (m->field_to.contains(og) || m->annotation_to_field.contains(og) ||
+        m->bad_fields.contains(og)) {
         field.warn("loop detected while traversing /AcroForm");
-        return;
+        return false;
     }
 
     // A dictionary encountered while traversing the /AcroForm field may be a form field, an
@@ -357,6 +359,13 @@ QPDFAcroFormDocumentHelper::traverseField(
     QTC::TC("qpdf", "QPDFAcroFormDocumentHelper field found", (depth == 0) ? 0 : 1);
     QTC::TC("qpdf", "QPDFAcroFormDocumentHelper annotation found", (is_field ? 0 : 1));
 
+    if (!is_field && !is_annotation) {
+        field.warn(
+            "encountered an object that is neither field nor annotation while traversing "
+            "/AcroForm");
+        return false;
+    }
+
     if (is_annotation) {
         QPDFObjectHandle our_field = (is_field ? field : parent);
         m->field_to[our_field.getObjGen()].annotations.emplace_back(field);
@@ -365,9 +374,15 @@ QPDFAcroFormDocumentHelper::traverseField(
 
     if (is_field && depth != 0 && field["/Parent"] != parent) {
         for (auto const& kid: Array(field["/Parent"]["/Kids"])) {
+            if (kid == field) {
+                field.warn("while traversing /AcroForm found field with two parents");
+                return true;
+            }
+        }
+        for (auto const& kid: Array(field["/Parent"]["/Kids"])) {
             if (kid == parent) {
                 field.warn("loop detected while traversing /AcroForm");
-                return;
+                return false;
             }
         }
         field.warn("encountered invalid /Parent entry while traversing /AcroForm; correcting");
@@ -387,8 +402,15 @@ QPDFAcroFormDocumentHelper::traverseField(
     }
 
     for (auto const& kid: Kids) {
-        traverseField(kid, field, 1 + depth);
+        if (m->bad_fields.contains(kid)) {
+            continue;
+        }
+
+        if (!traverseField(kid, field, 1 + depth)) {
+            m->bad_fields.insert(kid);
+        }
     }
+    return true;
 }
 
 bool