[llvm-objdump] - Rewrite malformed-archives.test to use YAML descriptions.

[grimar]

Summary

Currently the test uses 14 precompiled binaries. With the functionality
implemented in D89949, it is possible to remove them and use YAMLs instead.

Depends on D89949.

[grimar]

• Minor simplification.

[jhenderson]

llvm/test/tools/llvm-objdump/malformed-archives.test

1–3

2

5–7

I'd add comments before each test case to make it clear what it is testing.

6–7

Optional nit, here and below.

10–14

Looking at the original libbogus1.a and libbogus2.a, I think the test was testing one or both of two possible things:

1. That the first bad member is reported, if there are multiple bad members.
2. That errors in second and subsequent members are picked up, and appropriate offsets reported, even if the first member size is valid.

I think the second point, in particular the bit about the offset being correct, is probably somewhat useful.

55

A comment showing the structure here might be good. Alternatively, what happens if you change the Terminator to be something shorter? Would that be sufficient to produce the same failure?

63

The order earlier in the file is RUN/YAML/message, but it's switched here. I don't really mind which way around it is, but it should at least be consistent.

81–105

Aside: Not really sure this should be an error.

263–266

Aside: This test has nothing to do with llvm-objdump. Probably wants moving into the Object or tools/llvm-ar testing.

[grimar]

• Addressed review comments.
• Rebased after update of D89949.

llvm/test/tools/llvm-objdump/malformed-archives.test

10–14

I've restored that case.

55

Alternatively, what happens if you change the Terminator to be something shorter? Would that be sufficient to produce the same failure?

All fields, including the "Terminator" are filled to their expected length with the 0x20 (space) character.
So, no, it will not work here. We need to truncate the header of a member somehow.

I've made the sequence a bit shorter though.

81–105

I don't know either. But note that this only happens for BSD and DARWIN64:

  if (Kind == Archive::K_BSD || Kind == Archive::K_DARWIN64) {
    if (ArMemHdr->Name[0] == ' ') {
      uint64_t Offset = reinterpret_cast<const char *>(ArMemHdr) -
                        Parent->getData().data();
      return malformedError("name contains a leading space for archive member "
                            "header at offset " + Twine(Offset));
...

263–266

True.

[jhenderson]

llvm/test/tools/llvm-objdump/malformed-archives.test

6

"and vice versa" implies the second case is valid (whilst the first isn't), which isn't actually true.

11

Nit. Same below.

13–15

Here and throughout, we should probably check the name in the error, message, right?

78–79

I had trouble understanding the original comment, so I've suggested an alternative.

81–105

107

121–123

169

209

227

238

[grimar]

• Addressed review comments.

llvm/test/tools/llvm-objdump/malformed-archives.test

78–79

Thanks.

[jhenderson]

LGTM!

llvm/test/tools/llvm-objdump/malformed-archives.test

-// These test checks that llvm-objdump will not crash with malformed Archive
-// files.  So the check line is not all that important but the bug fixes to
-// make sure llvm-objdump is robust is what matters.
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus1.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus1 %s 
-
-# bogus1: libbogus1.a': truncated or malformed archive (characters in size field in archive header are not all decimal numbers: '10%' for archive member header at offset 8)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus2.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus2 %s 
-
-# bogus2: libbogus2.a': truncated or malformed archive (characters in size field in archive header are not all decimal numbers: '1%' for archive member header at offset 170)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus3.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus3 %s 
-
-# bogus3: libbogus3.a': truncated or malformed archive (offset to next archive member past the end of the archive after member foo.c)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus4.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus4 %s 
-
-# bogus4: libbogus4.a': truncated or malformed archive (remaining size of archive too small for next archive member header for foo.c)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus5.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus5 %s 
-
-# bogus5: libbogus5.a': truncated or malformed archive (terminator characters in archive member "@\n" not the correct "`\n" values for the archive member header for hello.c)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus6.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus6 %s 
-
-# bogus6: libbogus6.a': truncated or malformed archive (name contains a leading space for archive member header at offset 96)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus7.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus7 %s 
-
-# bogus7: libbogus7.a': truncated or malformed archive (long name length characters after the #1/ are not all decimal numbers: '@123$' for archive member header at offset 8)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus8.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus8 %s 
-
-# bogus8: libbogus8.a(<file index: 1>): truncated or malformed archive (long name length: 1234 extends past the end of the member or archive for archive member header at offset 86)
-
-# RUN: not llvm-objdump -s %p/Inputs/libbogus9.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus9 %s 
-
-# bogus9: libbogus9.a(<file index: 0>): truncated or malformed archive (long name offset characters after the '/' are not all decimal numbers: '&a25*' for archive member header at offset 94)
-
-# RUN: not llvm-objdump -s %p/Inputs/libbogus10.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus10 %s 
-
-# bogus10: libbogus10.a(<file index: 0>): truncated or malformed archive (long name offset 507 past the end of the string table for archive member header at offset 94)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus11.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus11 %s 
-
-# bogus11: libbogus11.a(hello.c): truncated or malformed archive (characters in UID field in archive header are not all decimal numbers: '~97&' for the archive member header at offset 8)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus12.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus12 %s 
-
-# bogus12: libbogus12.a(hello.c): truncated or malformed archive (characters in GID field in archive header are not all decimal numbers: '#55!' for the archive member header at offset 8)
-
-# RUN: not llvm-objdump --macho --archive-headers \
-# RUN:   %p/Inputs/libbogus13.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus13 %s 
-
-# bogus13: libbogus13.a(hello.c): truncated or malformed archive (characters in AccessMode field in archive header are not all decimal numbers: 'Feed' for the archive member header at offset 8)
-
-# RUN: llvm-objdump --macho --archive-headers %p/Inputs/libbogus14.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus14 %s 
-
-# bogus14: -rw-r--r--124/0     102 (date: "1foobar273" contains non-decimal chars) hello.c
+## These test checks that llvm-objdump will not crash with malformed Archive
+## files. So the check line is not all that important but the bug fixes to
+## make sure llvm-objdump is robust is what matters.
+
+# RUN: yaml2obj --docnum=1 %s -o %t.libbogus1.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus1.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS1 %s
+
+# BOGUS1: libbogus1.a': truncated or malformed archive (characters in size field in archive header are not all decimal numbers: '10%' for archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         ''
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '10%'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=2 %s -o %t.libbogus2.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus2.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS2 %s
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         'bar.c'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+  - Name:         'foo.c'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   '0'
+    Size:         '1'
+    Terminator:   "`\n"
+    Content:      ""
+
+# BOGUS2: libbogus2.a': truncated or malformed archive (offset to next archive member past the end of the archive after member foo.c)
+
+# RUN: yaml2obj --docnum=3 %s -o %t.libbogus3.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus3.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS3 %s
+
+--- !Arch
+Magic: "!<arch>\n"
+Content: "666f6f2e63202020202020202020202020202020202020202020202020202020202020202020202030202020202020203020202020202020202060"
+
+# BOGUS3: libbogus3.a': truncated or malformed archive (remaining size of archive too small for next archive member header for foo.c)
+
+# RUN: yaml2obj --docnum=4 %s -o %t.libbogus4.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus4.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS4 %s
+
+# BOGUS4: libbogus4.a': truncated or malformed archive (terminator characters in archive member "@\n" not the correct "`\n" values for the archive member header for hello.c)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         'hello.c/'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "@\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=5 %s -o %t.libbogus5.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus5.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS5 %s
+
+# BOGUS5: libbogus5.a': truncated or malformed archive (name contains a leading space for archive member header at offset 68)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         '#1/0'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+  - Name:         ' '
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=6 %s -o %t.libbogus6.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus6.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS6 %s
+
+# BOGUS6: libbogus6.a': truncated or malformed archive (long name length characters after the #1/ are not all decimal numbers: '@123$' for archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         '#1/@123$'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=7 %s -o %t.libbogus7.a
+# RUN: not llvm-objdump --macho --archive-headers %t.libbogus7.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS7 %s
+
+# BOGUS7: libbogus7.a': truncated or malformed archive (long name length: 1234 extends past the end of the member or archive for archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         '#1/1234'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=8 %s -o %t.libbogus8.a
+# RUN: not llvm-objdump -s %t.libbogus8.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS8 %s
+
+# BOGUS8: truncated or malformed archive (long name offset characters after the '/' are not all decimal numbers: '&a25*' for archive member header at offset 68)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         'hello.c/'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+  - Name:         "/&a25*"
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=9 %s -o %t.libbogus9.a
+# RUN: not llvm-objdump -s %t.libbogus9.a 2>&1 \
+# RUN:  | FileCheck -check-prefix=BOGUS9 %s
+
+# BOGUS9: libbogus9.a(<file index: 0>): truncated or malformed archive (long name offset 1 past the end of the string table for archive member header at offset 68)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         '//'
+    LastModified: ''
+    UID:          ''
+    GID:          ''
+    AccessMode:   ''
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+  - Name:         '/1'
+    LastModified: '0'
+    UID:          '0'
+    GID:          '0'
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=10 %s -o %t.libbogus10.a
+# RUN: not llvm-objdump --macho --archive-headers \
+# RUN:   %t.libbogus10.a 2>&1 | FileCheck -check-prefix=BOGUS10 %s 
+
+# BOGUS10: libbogus10.a(hello.c): truncated or malformed archive (characters in UID field in archive header are not all decimal numbers: '~97&' for the archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         hello.c
+    LastModified: '0'
+    UID:          '~97&'
+    GID:          '0'
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=11 %s -o %t.libbogus11.a
+# RUN: not llvm-objdump --macho --archive-headers \
+# RUN:   %t.libbogus11.a 2>&1 | FileCheck -check-prefix=BOGUS11 %s 
+
+# BOGUS11: libbogus11.a(hello.c): truncated or malformed archive (characters in GID field in archive header are not all decimal numbers: '#55!' for the archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         hello.c
+    LastModified: '0'
+    UID:          '0'
+    GID:          '#55!'
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=12 %s -o %t.libbogus12.a
+# RUN: not llvm-objdump --macho --archive-headers \
+# RUN:   %t.libbogus12.a 2>&1 | FileCheck -check-prefix=BOGUS12 %s 
+
+# BOGUS12: libbogus12.a(hello.c): truncated or malformed archive (characters in AccessMode field in archive header are not all decimal numbers: 'Feed' for the archive member header at offset 8)
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         hello.c
+    LastModified: '0'
+    UID:          '0'
+    GID:          '0'
+    AccessMode:   'Feed'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
+
+# RUN: yaml2obj --docnum=13 %s -o %t.libbogus13.a
+# RUN: llvm-objdump --macho --archive-headers %t.libbogus13.a 2>&1 | \
+# RUN:   FileCheck -check-prefix=BOGUS13A %s 
+
+# BOGUS13A: ----------  0/0 0 (date: "1foobar273" contains non-decimal chars) hello.c
+
+--- !Arch
+Magic: "!<arch>\n"
+Entries:
+  - Name:         hello.c
+    LastModified: '1foobar273'
+    UID:          '0'
+    GID:          '0'
+    AccessMode:   '0'
+    Size:         '0'
+    Terminator:   "`\n"
+    Content:      ""
 
-# RUN: not llvm-ar tv %p/Inputs/libbogus14.a \
-# RUN:   2>&1 | FileCheck -check-prefix=bogus14a %s 
+# RUN: not llvm-ar tv %t.libbogus13.a \
+# RUN:   2>&1 | FileCheck -check-prefix=BOGUS13B %s 
 
-# bogus14a: truncated or malformed archive (characters in LastModified field in archive header are not all decimal numbers: '1foobar273' for the archive member header at offset 8)
+# BOGUS13B: error: truncated or malformed archive (characters in LastModified field in archive header are not all decimal numbers: '1foobar273' for the archive member header at offset 8)