const u32 *cie = cie_for_fde(fde, table);
                signed ptrType;
 
-               if (cie == ¬_fde)
+               if (cie == ¬_fde)    /* only process FDE here */
                        continue;
                if (cie == NULL || cie == &bad_cie)
-                       return;
+                       continue;       /* say FDE->CIE.version != 1 */
                ptrType = fde_pointer_type(cie);
                if (ptrType < 0)
-                       return;
+                       continue;
 
                ptr = (const u8 *)(fde + 2);
                if (!read_pointer(&ptr, (const u8 *)(fde + 1) + *fde,
 
                if (fde[1] == 0xffffffff)
                        continue;       /* this is a CIE */
+
+               if (*(u8 *)(cie + 2) != 1)
+                       continue;       /* FDE->CIE.version not supported */
+
                ptr = (const u8 *)(fde + 2);
                header->table[n].start = read_pointer(&ptr,
                                                      (const u8 *)(fde + 1) +
 
        if (*cie <= sizeof(*cie) + 4 || *cie >= fde[1] - sizeof(*fde)
            || (*cie & (sizeof(*cie) - 1))
-           || (cie[1] != 0xffffffff))
+           || (cie[1] != 0xffffffff)
+           || ( *(u8 *)(cie + 2) != 1))   /* version 1 supported */
                return NULL;    /* this is not a (valid) CIE */
        return cie;
 }